| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5075284 | 2022-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5075287 | 2022-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5075288 | 2022-05-12 | Paper |
| Derivation of a termination detection algorithm for distributed computations | 2020-12-16 | Paper |
| EWD1300: The notational conventions I adopted, and why | 2003-08-27 | Paper |
| Under the spell of Leibniz's dream | 2002-07-25 | Paper |
| Designing a Calculational Proof of Cantor's Theorem | 2002-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4380140 | 2001-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934626 | 2000-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263942 | 2000-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934625 | 2000-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885870 | 1997-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885863 | 1997-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885866 | 1997-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885867 | 1997-03-25 | Paper |
| Heuristics for a calculational proof | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885868 | 1996-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885865 | 1996-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885869 | 1996-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885864 | 1996-01-01 | Paper |
| In memoriam: Jan L. A. van de Snepscheut | 1994-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281658 | 1994-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4692630 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3994464 | 1992-09-17 | Paper |
| Making a fair roulette from a possibly biased coin | 1990-01-01 | Paper |
| On binary operators and their derived relations | 1988-01-01 | Paper |
| A heuristic explanation of Batcher's baffler | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782799 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3801052 | 1987-01-01 | Paper |
| On a cultural gap | 1986-01-01 | Paper |
| A simple fixpoint argument without the restriction to continuity | 1986-01-01 | Paper |
| A belated proof of self-stabilization | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681916 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3719822 | 1985-01-01 | Paper |
| Invariance and non-determinacy | 1984-01-01 | Paper |
| Smoothsort, an alternative for sorting in situ | 1982-01-01 | Paper |
| An introduction to three algorithms for sorting in situ | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309767 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3315934 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3673121 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686018 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3954792 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3954829 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962450 | 1982-01-01 | Paper |
| Some beautiful arguments using mathematical induction | 1980-01-01 | Paper |
| Termination detection for diffusing computations | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851610 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851611 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851613 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3867841 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907044 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907045 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907048 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907049 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3867160 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178451 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178457 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4181248 | 1978-01-01 | Paper |
| On a gauntlet thrown by David Gries | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4114747 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4117362 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4118827 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4144755 | 1976-01-01 | Paper |
| Guarded commands, nondeterminacy and formal derivation of programs | 1975-01-01 | Paper |
| Self-stabilizing systems in spite of distributed control | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4403707 | 1974-01-01 | Paper |
| Programming as a Discipline of Mathematical Nature | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5684216 | 1972-01-01 | Paper |
| The structure of the “THE”-multiprogramming system | 1968-01-01 | Paper |
| A constructive approach to the problem of program correctness | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5339778 | 1963-01-01 | Paper |
| Operating Experience with ALGOL 60 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5509953 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3290122 | 1961-01-01 | Paper |
| Letter to the editor | 1961-01-01 | Paper |
| Recursive programming | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3270311 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3289543 | 1960-01-01 | Paper |
| A note on two problems in connexion with graphs | 1959-12-01 | Paper |
| A note on two problems in connexion with graphs | 1959-01-01 | Paper |
| A Method to Investigate Primality | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3238692 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3228936 | 1955-01-01 | Paper |
