% csauthors.net - beta - BibTeX bibliography of Wim H. J. Feijen
@article{journals/scp/Feijen81,
title = {Bulterman's Reshuffling Problem.},
year = {1981},
journal = {Sci. Comput. Program.},
author = {{W. H. J. Feijen}}
}
@article{journals/ipl/DijkstraFG83,
title = {Derivation of a Termination Detection Algorithm for Distributed Computations.},
year = {1983},
journal = {Inf. Process. Lett.},
author = {{Edsger W. Dijkstra} and {W. H. J. Feijen} and {A. J. M. van Gasteren}}
}
@book{books/daglib/0032228,
title = {Methodik des Programmierens.},
year = {1985},
isbn = {978-3-925118-18-0},
publisher = {Addison-Wesley},
series = {Internationale Computer-Bibliothek},
author = {{Edsger W. Dijkstra} and {Wim H. J. Feijen}}
}
@article{journals/ipl/FeijenGG87,
title = {In-situ Inversion of a Cyclic Permutation.},
year = {1987},
journal = {Inf. Process. Lett.},
author = {{W. H. J. Feijen} and {A. J. M. van Gasteren} and {David Gries}}
}
@book{books/daglib/0070525,
title = {A method of programming.},
year = {1988},
isbn = {978-0-201-17536-3},
publisher = {Addison-Wesley},
author = {{Edsger W. Dijkstra} and {W. H. J. Feijen}}
}
@article{journals/stp/DijkstraF89,
title = {The Linear Search Revisited.},
year = {1989},
journal = {Struct. Program.},
author = {{Edsger W. Dijkstra} and {W. H. J. Feijen}}
}
@article{journals/ipl/BuhaceanuF96,
title = {Formal Derivation of an Algorithm for Distributed Phase Synchronization.},
year = {1996},
journal = {Inf. Process. Lett.},
author = {{D. S. Buhaceanu} and {W. H. J. Feijen}}
}
@article{journals/scp/SommenFG97,
title = {Peterson's Mutual Exclusion Algorithm Revisited.},
year = {1997},
journal = {Sci. Comput. Program.},
author = {{F. W. van der Sommen} and {W. H. J. Feijen} and {A. J. M. van Gasteren}}
}
@inproceedings{conf/mpc/FeijenGS98,
title = {An Elementary Derivation of the Alternating Bit Protocol.},
year = {1998},
booktitle = {MPC},
author = {{W. H. J. Feijen} and {A. J. M. van Gasteren} and {Birgit Schieder}},
publisher = {Springer},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings}
}
@book{series/mcs/FeijenG99,
title = {On a Method of Multiprogramming},
year = {1999},
isbn = {978-1-4757-3126-2},
publisher = {Springer},
series = {Monographs in Computer Science},
author = {{W. H. J. Feijen} and {A. J. M. van Gasteren}}
}
@article{journals/ipl/Feijen01,
title = {The joy of formula manipulation.},
year = {2001},
journal = {Inf. Process. Lett.},
author = {{W. H. J. Feijen}}
}
@article{journals/cacm/BoyerFGHMMR02,
title = {In memoriam: Edsger W. Dijkstra 1930-2002.},
year = {2002},
journal = {Commun. ACM},
author = {{Robert S. Boyer} and {W. H. J. Feijen} and {David Gries} and {C. A. R. Hoare} and {Jayadev Misra} and {J. Moore} and {H. Richards}}
}
@article{journals/ipl/BultermanSZVGF02,
title = {On computing a longest path in a tree.},
year = {2002},
journal = {Inf. Process. Lett.},
author = {{R. W. Bulterman} and {F. W. van der Sommen} and {Gerard Zwaan} and {Tom Verhoeff} and {A. J. M. van Gasteren} and {W. H. J. Feijen}}
}