 | 2002 |
|---|
| 10 |       | 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): 21-22 (2002) |
| 9 | | 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): 93-96 (2002) |
| 2001 |
|---|
| 8 | | W. H. J. Feijen:
The joy of formula manipulation.
Inf. Process. Lett. 77(2-4): 89-96 (2001) |
| 1998 |
|---|
| 7 | | W. H. J. Feijen,
A. J. M. van Gasteren,
Birgit Schieder:
An Elementary Derivation of the Alternating Bit Protocol.
MPC 1998: 175-187 |
| 1997 |
|---|
| 6 |  | 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): 327-334 (1997) |
| 1996 |
|---|
| 5 | | D. S. Buhaceanu,
W. H. J. Feijen:
Formal Derivation of an Algorithm for Distributed Phase Synchronization.
Inf. Process. Lett. 60(4): 207-213 (1996) |
| 1989 |
|---|
| 4 | | Edsger W. Dijkstra,
W. H. J. Feijen:
The Linear Search Revisited.
Structured Programming 10(1): 5-9 (1989) |
| 1987 |
|---|
| 3 | | W. H. J. Feijen,
A. J. M. van Gasteren,
David Gries:
In-situ Inversion of a Cyclic Permutation.
Inf. Process. Lett. 24(1): 11-14 (1987) |
| 1983 |
|---|
| 2 | | 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): 217-219 (1983) |
| 1981 |
|---|
| 1 | | W. H. J. Feijen:
Bulterman's Reshuffling Problem.
Sci. Comput. Program. 1(1-2): 145-147 (1981) |
