| Publication | Date of Publication | Type |
|---|
Rational rewriting
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
Synchronized regular expressions
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Finite horizon analysis of stochastic systems with the Mur verifier.
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Finite horizon analysis of Markov chains with the Mur verifier
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 1979552 (Why is no real title available?) | 2003-09-14 | Paper |
Synchronized regular expressions
Acta Informatica | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1956627 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1852163 (Why is no real title available?) | 2003-01-09 | Paper |
| scientific article; zbMATH DE number 1389857 (Why is no real title available?) | 2000-01-17 | Paper |
Orders, reduction graphs and spectra
Theoretical Computer Science | 1999-01-12 | Paper |
A remark on infinite matching vs infinite unification
Journal of Symbolic Computation | 1996-12-16 | Paper |
| scientific article; zbMATH DE number 139633 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 4147491 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 3916224 (Why is no real title available?) | 1985-01-01 | Paper |
While-programs with nondeterministic assignments and the logic ALNA
Theoretical Computer Science | 1985-01-01 | Paper |
Reduction graphs in the lambda calculus
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3940621 (Why is no real title available?) | 1983-01-01 | Paper |
Aλδ-calculus with an algorithmicδ
Archiv für Mathematische Logik und Grundlagenforschung | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3672266 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3609633 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3601114 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3473353 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3666225 (Why is no real title available?) | 1974-01-01 | Paper |
On different kinds of indefinite
Calcolo | 1974-01-01 | Paper |
