| Publication | Date of Publication | Type |
|---|
Operational and semantic equivalence between recursive programs.
Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 | 2014-03-14 | Paper |
Verification: Theory and Practice
Lecture Notes in Computer Science | 2010-03-23 | Paper |
| Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations | 2010-02-05 | Paper |
Compact Normal Form for Regular Languages as Xor Automata
Implementation and Application of Automata | 2009-07-09 | Paper |
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 1696424 (Why is no real title available?) | 2002-01-28 | Paper |
Contribution à la résolution numérique des équations de Laplace et de la chaleur
ESAIM: Mathematical Modelling and Numerical Analysis | 1994-02-01 | Paper |
On circuits and numbers
IEEE Transactions on Computers | 1994-01-01 | Paper |
The analysis of simple list structures
Information Sciences | 1986-01-01 | Paper |
Area—Time Optimal VLSI Circuits for Convolution
IEEE Transactions on Computers | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3694602 (Why is no real title available?) | 1980-01-01 | Paper |
A unifying look at data structures
Communications of the ACM | 1980-01-01 | Paper |
Sequence of operations analysis for dynamic data structures
Journal of Algorithms | 1980-01-01 | Paper |
Area-time optimal VLSI networks for multiplying matrices
Information Processing Letters | 1980-01-01 | Paper |
Operational and Semantic Equivalence Between Recursive Programs
Journal of the ACM | 1980-01-01 | Paper |
The number of registers required for evaluating arithmetic expressions
Theoretical Computer Science | 1979-01-01 | Paper |
A data structure for manipulating priority queues
Communications of the ACM | 1978-01-01 | Paper |
On recognizing graph properties from adjacency matrices
Theoretical Computer Science | 1977-01-01 | Paper |
Comment verifier l'associativite d'une table de groupe
Theoretical Computer Science | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3558981 (Why is no real title available?) | 1976-01-01 | Paper |
Completeness results for the equivalence of recursive schemas
Journal of Computer and System Sciences | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3557238 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3513288 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3562513 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3448081 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3464852 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3558918 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3473350 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3439982 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3478372 (Why is no real title available?) | 1973-01-01 | Paper |
Inductive methods for proving properties of programs
Communications of the ACM | 1973-01-01 | Paper |
Optimal disk merge patterns
Acta Informatica | 1973-01-01 | Paper |
Fixpoint approach to the theory of computation
Communications of the ACM | 1972-01-01 | Paper |
