| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7526277 (Why is no real title available?) | 2022-05-12 | Paper |
| scientific article; zbMATH DE number 7526274 (Why is no real title available?) | 2022-05-12 | Paper |
| scientific article; zbMATH DE number 7526276 (Why is no real title available?) | 2022-05-12 | Paper |
Derivation of a termination detection algorithm for distributed computations
Information Processing Letters | 2020-12-16 | Paper |
EWD1300: The notational conventions I adopted, and why
Formal Aspects of Computing | 2003-08-27 | Paper |
Under the spell of Leibniz's dream
Information Processing Letters | 2002-07-25 | Paper |
Designing a Calculational Proof of Cantor's Theorem
American Mathematical Monthly | 2002-01-13 | Paper |
| scientific article; zbMATH DE number 1127057 (Why is no real title available?) | 2001-11-25 | Paper |
| scientific article; zbMATH DE number 1390337 (Why is no real title available?) | 2000-08-29 | Paper |
| scientific article; zbMATH DE number 1342344 (Why is no real title available?) | 2000-02-09 | Paper |
| scientific article; zbMATH DE number 1390336 (Why is no real title available?) | 2000-01-17 | Paper |
| scientific article; zbMATH DE number 910712 (Why is no real title available?) | 1997-06-03 | Paper |
| scientific article; zbMATH DE number 910709 (Why is no real title available?) | 1997-03-25 | Paper |
| scientific article; zbMATH DE number 910705 (Why is no real title available?) | 1997-03-25 | Paper |
| scientific article; zbMATH DE number 910708 (Why is no real title available?) | 1997-03-25 | Paper |
Heuristics for a calculational proof
Information Processing Letters | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 910710 (Why is no real title available?) | 1996-11-20 | Paper |
| scientific article; zbMATH DE number 910707 (Why is no real title available?) | 1996-10-06 | Paper |
| scientific article; zbMATH DE number 910711 (Why is no real title available?) | 1996-08-29 | Paper |
| scientific article; zbMATH DE number 910706 (Why is no real title available?) | 1996-01-01 | Paper |
In memoriam: Jan L. A. van de Snepscheut
Formal Aspects of Computing | 1994-10-12 | Paper |
| scientific article; zbMATH DE number 512943 (Why is no real title available?) | 1994-04-07 | Paper |
| scientific article; zbMATH DE number 194642 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 41231 (Why is no real title available?) | 1992-09-17 | Paper |
Making a fair roulette from a possibly biased coin
Information Processing Letters | 1990-01-01 | Paper |
On binary operators and their derived relations
BIT | 1988-01-01 | Paper |
A heuristic explanation of Batcher's baffler
Science of Computer Programming | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4068249 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4045173 (Why is no real title available?) | 1987-01-01 | Paper |
A belated proof of self-stabilization
Distributed Computing | 1986-01-01 | Paper |
On a cultural gap
The Mathematical Intelligencer | 1986-01-01 | Paper |
A simple fixpoint argument without the restriction to continuity
Acta Informatica | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3903951 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3949704 (Why is no real title available?) | 1985-01-01 | Paper |
Invariance and non-determinacy
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3784244 (Why is no real title available?) | 1982-01-01 | Paper |
Smoothsort, an alternative for sorting in situ
Science of Computer Programming | 1982-01-01 | Paper |
An introduction to three algorithms for sorting in situ
Information Processing Letters | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3909719 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3774896 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3837952 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3846121 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3827217 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3774857 (Why is no real title available?) | 1982-01-01 | Paper |
Termination detection for diffusing computations
Information Processing Letters | 1980-01-01 | Paper |
Some beautiful arguments using mathematical induction
Acta Informatica | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3651737 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3651736 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3716761 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3651739 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3670486 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3716754 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3716755 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3716760 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3669835 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3617510 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3614143 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3614137 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3574936 (Why is no real title available?) | 1976-01-01 | Paper |
On a gauntlet thrown by David Gries
Acta Informatica | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3541917 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3538785 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3543633 (Why is no real title available?) | 1976-01-01 | Paper |
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM | 1975-01-01 | Paper |
Self-stabilizing systems in spite of distributed control
Communications of the ACM | 1974-01-01 | Paper |
Programming as a Discipline of Mathematical Nature
The American Mathematical Monthly | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3436597 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3421895 (Why is no real title available?) | 1972-01-01 | Paper |
A constructive approach to the problem of program correctness
BIT | 1968-01-01 | Paper |
The structure of the “THE”-multiprogramming system
Communications of the ACM | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3212533 (Why is no real title available?) | 1963-01-01 | Paper |
Operating Experience with ALGOL 60
The Computer Journal | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3222394 (Why is no real title available?) | 1962-01-01 | Paper |
Letter to the editor
Communications of the ACM | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3171440 (Why is no real title available?) | 1961-01-01 | Paper |
Recursive programming
Numerische Mathematik | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3153739 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3170879 (Why is no real title available?) | 1960-01-01 | Paper |
A note on two problems in connexion with graphs
Numerische Mathematik | 1959-12-01 | Paper |
A note on two problems in connexion with graphs
Numerische Mathematik | 1959-01-01 | Paper |
A Method to Investigate Primality
Mathematical Tables and Other Aids to Computation | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3123483 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3114726 (Why is no real title available?) | 1955-01-01 | Paper |
