W. H. J. Feijen

Publication Activity (10 Years)

Years Active: 1981-2002
Publications (10 Years): 0

Publications

Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards
In memoriam: Edsger W. Dijkstra 1930-2002. Commun. ACM 45 (10) (2002)
R. W. Bulterman, F. W. van der Sommen, Gerard Zwaan, Tom Verhoeff, A. J. M. van Gasteren, W. H. J. Feijen
On computing a longest path in a tree. Inf. Process. Lett. 81 (2) (2002)
W. H. J. Feijen
The joy of formula manipulation. Inf. Process. Lett. 77 (2-4) (2001)
W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder
An Elementary Derivation of the Alternating Bit Protocol. MPC (1998)
F. W. van der Sommen, W. H. J. Feijen, A. J. M. van Gasteren
Peterson's Mutual Exclusion Algorithm Revisited. Sci. Comput. Program. 29 (3) (1997)
D. S. Buhaceanu, W. H. J. Feijen
Formal Derivation of an Algorithm for Distributed Phase Synchronization. Inf. Process. Lett. 60 (4) (1996)
Edsger W. Dijkstra, W. H. J. Feijen
The Linear Search Revisited. Struct. Program. 10 (1) (1989)
W. H. J. Feijen, A. J. M. van Gasteren, David Gries
In-situ Inversion of a Cyclic Permutation. Inf. Process. Lett. 24 (1) (1987)
Edsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren
Derivation of a Termination Detection Algorithm for Distributed Computations. Inf. Process. Lett. 16 (5) (1983)
W. H. J. Feijen
Bulterman's Reshuffling Problem. Sci. Comput. Program. 1 (1-2) (1981)