W. H. J. Feijen

	2002
11		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)
10		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
9		W. H. J. Feijen: The joy of formula manipulation. Inf. Process. Lett. 77(2-4): 89-96 (2001)
	1998
8		W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder: An Elementary Derivation of the Alternating Bit Protocol. MPC 1998: 175-187
	1997
7		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
6		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
5		Edsger W. Dijkstra, W. H. J. Feijen: The Linear Search Revisited. Structured Programming 10(1): 5-9 (1989)
	1988
4		Edsger W. Dijkstra, W. H. J. Feijen: A method of programming. Addison-Wesley 1988: I-VIII, 1-188
	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)

Coauthor Index

1	Robert S. Boyer	[11]
2	D. S. Buhaceanu	[6]
3	R. W. Bulterman	[10]
4	Edsger W. Dijkstra	[2] [4] [5]
5	A. J. M. van Gasteren	[2] [3] [7] [8] [10]
6	David Gries	[3] [11]
7	C. A. R. Hoare (Tony Hoare)	[11]
8	Jayadev Misra	[11]
9	J. Moore	[11]
10	H. Richards	[11]
11	Birgit Schieder	[8]
12	F. W. van der Sommen	[7] [10]
13	Tom Verhoeff	[10]
14	Gerard Zwaan	[10]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page