| Publication | Date of Publication | Type |
|---|
Full abstraction and the Context Lemma (preliminary report)
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Deciding true concurrency equivalences on finite safe nets (preliminary report)
Automata, Languages and Programming | 2019-03-29 | Paper |
Cosmological lower bound on the circuit complexity of a small problem in logic
Journal of the ACM | 2015-12-07 | Paper |
Classes of computable functions defined by bounds on computation
Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 | 2014-03-14 | Paper |
Coping with errors in binary search procedures (Preliminary Report)
Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 | 2014-03-14 | Paper |
On time-space classes and their relation to the theory of real addition
Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 | 2014-03-14 | Paper |
Reminiscences
Pillars of Computer Science | 2008-03-25 | Paper |
scientific article; zbMATH DE number 1809725 (Why is no real title available?)
| 2002-09-30 | Paper |
scientific article; zbMATH DE number 1479648 (Why is no real title available?)
| 2000-07-20 | Paper |
Bisimulation can't be traced
Journal of the ACM | 1998-02-02 | Paper |
scientific article; zbMATH DE number 1059328 (Why is no real title available?)
| 1997-09-10 | Paper |
Deciding true concurrency equivalences on safe, finite nets
Theoretical Computer Science | 1997-09-09 | Paper |
Full Abstraction and the Context Lemma
SIAM Journal on Computing | 1997-02-24 | Paper |
Characterization of realizable space complexities
Annals of Pure and Applied Logic | 1995-07-03 | Paper |
scientific article; zbMATH DE number 445155 (Why is no real title available?)
| 1993-12-05 | Paper |
Experimenting with process equivalence
Theoretical Computer Science | 1992-09-27 | Paper |
The semantics of second-order lambda calculus
Information and Computation | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4115933 (Why is no real title available?)
| 1989-01-01 | Paper |
On time versus space III
Mathematical Systems Theory | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3941503 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3902022 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3902021 (Why is no real title available?)
| 1985-01-01 | Paper |
Equations between Regular Terms and an Application to Process Logic
SIAM Journal on Computing | 1985-01-01 | Paper |
Can message buffers be axiomatized in linear temporal logic?
Information and Control | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3890703 (Why is no real title available?)
| 1984-01-01 | Paper |
Equivalences among logics of programs
Journal of Computer and System Sciences | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3882403 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3846863 (Why is no real title available?)
| 1983-01-01 | Paper |
Termination assertions for recursive programs: Completeness and axiomatic definability
Information and Control | 1983-01-01 | Paper |
The complexity of the word problems for commutative semigroups and polynomial ideals
Advances in Mathematics | 1982-01-01 | Paper |
$\Omega (n\log n)$ Lower Bounds on Length of Boolean Formulas
SIAM Journal on Computing | 1982-01-01 | Paper |
What is a model of the lambda calculus?
Information and Control | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3791602 (Why is no real title available?)
| 1982-01-01 | Paper |
Axiomatic Definitions of Programming Languages
Journal of the ACM | 1982-01-01 | Paper |
Expressing program looping in regular dynamic logic
Theoretical Computer Science | 1982-01-01 | Paper |
The Complexity of the Finite Containment Problem for Petri Nets
Journal of the ACM | 1981-01-01 | Paper |
Definability in dynamic logic
Journal of Computer and System Sciences | 1981-01-01 | Paper |
Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
ACM Transactions on Programming Languages and Systems | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3731325 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3737019 (Why is no real title available?)
| 1981-01-01 | Paper |
Coping with errors in binary search procedures
Journal of Computer and System Sciences | 1980-01-01 | Paper |
On time-space classes and their relation to the theory of real addition
Theoretical Computer Science | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3637286 (Why is no real title available?)
| 1979-01-01 | Paper |
Separating Nondeterministic Time Complexity Classes
Journal of the ACM | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3635498 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3582425 (Why is no real title available?)
| 1976-01-01 | Paper |
Relativization of the Theory of Computational Complexity
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3566160 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3510287 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3561331 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3563057 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3593487 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3471609 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3454814 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3560737 (Why is no real title available?)
| 1973-01-01 | Paper |
Program size in restricted programming languages
Information and Control | 1972-01-01 | Paper |
A Classification of the Recursive Functions
Mathematical Logic Quarterly | 1972-01-01 | Paper |
Real-Time Simulation of Multihead Tape Units
Journal of the ACM | 1972-01-01 | Paper |
Computational speed-up by effective operators
Journal of Symbolic Logic | 1972-01-01 | Paper |
Time-restricted sequence generation
Journal of Computer and System Sciences | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3359798 (Why is no real title available?)
| 1970-01-01 | Paper |
A Note on Star-Free Events
Journal of the ACM | 1969-01-01 | Paper |
Sequential Boolean Equations
IEEE Transactions on Computers | 1969-01-01 | Paper |
scientific article; zbMATH DE number 3451447 (Why is no real title available?)
| 1969-01-01 | Paper |
Counter machines and counter languages
Mathematical Systems Theory | 1968-01-01 | Paper |
