| Publication | Date of Publication | Type |
|---|
| A new proof of Euclid's algorithm | 2023-11-01 | Paper |
A new proof of Euclid's algorithm
(available as arXiv preprint) | 2023-01-01 | Paper |
Some methodological remarks inspired by the paper ``On inner classes'' by A. Igarashi and B. Pierce
Fundamenta Informaticae | 2013-04-18 | Paper |
Verifying a class: combining testing and proving
Fundamenta Informaticae | 2010-02-05 | Paper |
On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions
Information and Computation | 2009-04-16 | Paper |
| scientific article; zbMATH DE number 5499339 (Why is no real title available?) | 2009-01-28 | Paper |
| A deterministic algorithm for identifying direct superclasses in Java | 2009-01-28 | Paper |
| Andrzej Grzegorczyk's contribution to computer science | 2008-03-03 | Paper |
First-order specifications of programmable data types
SIAM Journal on Computing | 2001-06-21 | Paper |
| scientific article; zbMATH DE number 978244 (Why is no real title available?) | 1997-06-03 | Paper |
| scientific article; zbMATH DE number 176125 (Why is no real title available?) | 1993-05-18 | Paper |
LOGLAN '88. Report on the programming language
Lecture Notes in Computer Science | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 4018366 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4057487 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3938529 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3825139 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3755836 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3759523 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3737001 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3740749 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3688681 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3688691 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3601065 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3602669 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3551875 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3558938 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3558938 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3591965 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3626560 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3541915 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3562470 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3506153 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3315203 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3315204 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3315205 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3219318 (Why is no real title available?) | 1965-01-01 | Paper |
