BibTeX records: Wim H. J. Feijen

download as .bib file

@article{DBLP:journals/cacm/BoyerFGHMMR02,
  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},
  title        = {In memoriam: Edsger W. Dijkstra 1930-2002},
  journal      = {Commun. {ACM}},
  volume       = {45},
  number       = {10},
  pages        = {21--22},
  year         = {2002},
  url          = {https://doi.org/10.1145/570907.570921},
  doi          = {10.1145/570907.570921},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/BoyerFGHMMR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/BultermanSZVGF02,
  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},
  title        = {On computing a longest path in a tree},
  journal      = {Inf. Process. Lett.},
  volume       = {81},
  number       = {2},
  pages        = {93--96},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0020-0190(01)00198-3},
  doi          = {10.1016/S0020-0190(01)00198-3},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/BultermanSZVGF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/Feijen01,
  author       = {W. H. J. Feijen},
  title        = {The joy of formula manipulation},
  journal      = {Inf. Process. Lett.},
  volume       = {77},
  number       = {2-4},
  pages        = {89--96},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0020-0190(00)00195-2},
  doi          = {10.1016/S0020-0190(00)00195-2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/Feijen01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/mcs/FeijenG99,
  author       = {W. H. J. Feijen and
                  A. J. M. van Gasteren},
  title        = {On a Method of Multiprogramming},
  series       = {Monographs in Computer Science},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4757-3126-2},
  doi          = {10.1007/978-1-4757-3126-2},
  isbn         = {978-1-4419-3179-5},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/mcs/FeijenG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/FeijenGS98,
  author       = {W. H. J. Feijen and
                  A. J. M. van Gasteren and
                  Birgit Schieder},
  editor       = {Johan Jeuring},
  title        = {An Elementary Derivation of the Alternating Bit Protocol},
  booktitle    = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
                  15-17, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1422},
  pages        = {175--187},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0054290},
  doi          = {10.1007/BFB0054290},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/FeijenGS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SommenFG97,
  author       = {F. W. van der Sommen and
                  W. H. J. Feijen and
                  A. J. M. van Gasteren},
  title        = {Peterson's Mutual Exclusion Algorithm Revisited},
  journal      = {Sci. Comput. Program.},
  volume       = {29},
  number       = {3},
  pages        = {327--334},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0167-6423(97)00003-8},
  doi          = {10.1016/S0167-6423(97)00003-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SommenFG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/BuhaceanuF96,
  author       = {D. S. Buhaceanu and
                  W. H. J. Feijen},
  title        = {Formal Derivation of an Algorithm for Distributed Phase Synchronization},
  journal      = {Inf. Process. Lett.},
  volume       = {60},
  number       = {4},
  pages        = {207--213},
  year         = {1996},
  url          = {https://doi.org/10.1016/S0020-0190(96)00156-1},
  doi          = {10.1016/S0020-0190(96)00156-1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/BuhaceanuF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stp/DijkstraF89,
  author       = {Edsger W. Dijkstra and
                  W. H. J. Feijen},
  title        = {The Linear Search Revisited},
  journal      = {Struct. Program.},
  volume       = {10},
  number       = {1},
  pages        = {5--9},
  year         = {1989},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stp/DijkstraF89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0070525,
  author       = {Edsger W. Dijkstra and
                  W. H. J. Feijen},
  title        = {A method of programming},
  publisher    = {Addison-Wesley},
  year         = {1988},
  isbn         = {978-0-201-17536-3},
  timestamp    = {Thu, 05 May 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0070525.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/FeijenGG87,
  author       = {W. H. J. Feijen and
                  A. J. M. van Gasteren and
                  David Gries},
  title        = {In-situ Inversion of a Cyclic Permutation},
  journal      = {Inf. Process. Lett.},
  volume       = {24},
  number       = {1},
  pages        = {11--14},
  year         = {1987},
  url          = {https://doi.org/10.1016/0020-0190(87)90192-X},
  doi          = {10.1016/0020-0190(87)90192-X},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/FeijenGG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0032228,
  author       = {Edsger W. Dijkstra and
                  Wim H. J. Feijen},
  title        = {Methodik des Programmierens},
  series       = {Internationale Computer-Bibliothek},
  publisher    = {Addison-Wesley},
  year         = {1985},
  isbn         = {978-3-925118-18-0},
  timestamp    = {Fri, 08 Nov 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0032228.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/DijkstraFG83,
  author       = {Edsger W. Dijkstra and
                  W. H. J. Feijen and
                  A. J. M. van Gasteren},
  title        = {Derivation of a Termination Detection Algorithm for Distributed Computations},
  journal      = {Inf. Process. Lett.},
  volume       = {16},
  number       = {5},
  pages        = {217--219},
  year         = {1983},
  url          = {https://doi.org/10.1016/0020-0190(83)90092-3},
  doi          = {10.1016/0020-0190(83)90092-3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/DijkstraFG83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Feijen81,
  author       = {W. H. J. Feijen},
  title        = {Bulterman's Reshuffling Problem},
  journal      = {Sci. Comput. Program.},
  volume       = {1},
  number       = {1-2},
  pages        = {145--147},
  year         = {1981},
  url          = {https://doi.org/10.1016/0167-6423(81)90008-3},
  doi          = {10.1016/0167-6423(81)90008-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Feijen81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.