| Publication | Date of Publication | Type |
|---|
| Development of correct programs | 2024-10-28 | Paper |
| Reflections on Edsger and his influence | 2024-10-28 | Paper |
Equational logic as a tool
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
K-M-P string matching revisited
Information Processing Letters | 2016-06-09 | Paper |
Formal justification of underspecification for S5
Information Processing Letters | 2016-05-26 | Paper |
| scientific article; zbMATH DE number 2162002 (Why is no real title available?) | 2005-04-27 | Paper |
| scientific article; zbMATH DE number 1088212 (Why is no real title available?) | 1999-09-20 | Paper |
Adding the everywhere operator to propositional logic
Journal Of Logic And Computation | 1999-02-04 | Paper |
Teaching Math More Effectively, Through Calculational Proofs
The American Mathematical Monthly | 1997-11-09 | Paper |
Equational propositional logic
Information Processing Letters | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 910716 (Why is no real title available?) | 1996-10-07 | Paper |
| scientific article; zbMATH DE number 789390 (Why is no real title available?) | 1995-08-23 | Paper |
A constructive proof of Vizing's theorem
Information Processing Letters | 1992-06-28 | Paper |
An optimal parallel algorithm for generating combinations
Information Processing Letters | 1989-01-01 | Paper |
An algorithm for transitive reduction of an acyclic graph
Science of Computer Programming | 1989-01-01 | Paper |
Generating a random cyclic permutation
BIT | 1988-01-01 | Paper |
Developing a linear algorithm for cubing a cyclic permutation
Science of Computer Programming | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3995020 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4047043 (Why is no real title available?) | 1987-01-01 | Paper |
Horner's rule and the computation of linear recurrences
Information Processing Letters | 1987-01-01 | Paper |
General correctness: A unification of partial and total correctness
Acta Informatica | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3949667 (Why is no real title available?) | 1984-01-01 | Paper |
Fault-tolerant broadcasts
Science of Computer Programming | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3883582 (Why is no real title available?) | 1982-01-01 | Paper |
Finding repeated elements
Science of Computer Programming | 1982-01-01 | Paper |
A note on a standard strategy for developing loop invariants and loops
Science of Computer Programming | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3740740 (Why is no real title available?) | 1981-01-01 | Paper |
A proof technique for communicating sequential processes
Acta Informatica | 1981-01-01 | Paper |
Computing Fibonacci numbers (and similarly defined functions) in log time
Information Processing Letters | 1980-01-01 | Paper |
Assignment and Procedure Call Proof Rules
ACM Transactions on Programming Languages and Systems | 1980-01-01 | Paper |
Controlled density sorting
Information Processing Letters | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3716752 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3621085 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3621091 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3622920 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3808920 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3644474 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3655316 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3750251 (Why is no real title available?) | 1979-01-01 | Paper |
The Schorr-Waite graph marking algorithm
Acta Informatica | 1979-01-01 | Paper |
Is Sometimes Ever Better Than Always?
ACM Transactions on Programming Languages and Systems | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3614147 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3602661 (Why is no real title available?) | 1978-01-01 | Paper |
A linear sieve algorithm for finding prime numbers
Communications of the ACM | 1978-01-01 | Paper |
The Multiple Assignment Statement
IEEE Transactions on Software Engineering | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3635474 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3673500 (Why is no real title available?) | 1977-01-01 | Paper |
Some ideas on data types in high-level languages
Communications of the ACM | 1977-01-01 | Paper |
An exercise in proving parallel programs correct
Communications of the ACM | 1977-01-01 | Paper |
Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs"
IEEE Transactions on Software Engineering | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3562463 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3524699 (Why is no real title available?) | 1976-01-01 | Paper |
Verifying properties of parallel programs
Communications of the ACM | 1976-01-01 | Paper |
An axiomatic proof technique for parallel programs
Acta Informatica | 1976-01-01 | Paper |
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs
IEEE Transactions on Software Engineering | 1976-01-01 | Paper |
Describing an algorithm by Hopcroft
Acta Informatica | 1973-01-01 | Paper |
Programming by induction
Information Processing Letters | 1972-01-01 | Paper |
On Classes of Program Schemata
SIAM Journal on Computing | 1972-01-01 | Paper |
Program Schemes with Pushdown Stores
SIAM Journal on Computing | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3473266 (Why is no real title available?) | 1971-01-01 | Paper |
Translator writing systems
Communications of the ACM | 1968-01-01 | Paper |
Use of transition matrices in compiling
Communications of the ACM | 1968-01-01 | Paper |
Characterizations of certain classes of norms
Numerische Mathematik | 1967-01-01 | Paper |
