| Publication | Date of Publication | Type |
|---|
| Decidability results in automata and process theory | 2024-06-21 | Paper |
The probability nesting game
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Continuous time temporal logic with counting
Information and Computation | 2012-05-24 | Paper |
Promptness in \(\omega \)-regular automata
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
Meadows and the equational specification of division
Theoretical Computer Science | 2009-03-25 | Paper |
Decidable metric logics
Information and Computation | 2009-02-03 | Paper |
| Skew Meadows | 2009-01-07 | Paper |
Fields, Meadows and Abstract Data Types
Pillars of Computer Science | 2008-03-25 | Paper |
Expressiveness of Metric modalities for continuous time
Logical Methods in Computer Science | 2007-10-11 | Paper |
An Expressive Temporal Logic for Real Time
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Expressiveness of Metric Modalities for Continuous Time
Computer Science – Theory and Applications | 2007-05-02 | Paper |
Timer formulas and decidable metric temporal logic
Information and Computation | 2005-06-13 | Paper |
| scientific article; zbMATH DE number 2112984 (Why is no real title available?) | 2004-11-01 | Paper |
Future temporal logic needs infinitely many modalities
Information and Computation | 2004-08-19 | Paper |
Pushdown automata, multiset automata, and Petri nets
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1555184 (Why is no real title available?) | 2001-01-22 | Paper |
| scientific article; zbMATH DE number 1424034 (Why is no real title available?) | 2000-09-05 | Paper |
| scientific article; zbMATH DE number 1405656 (Why is no real title available?) | 2000-07-10 | Paper |
| scientific article; zbMATH DE number 1405657 (Why is no real title available?) | 2000-07-05 | Paper |
| scientific article; zbMATH DE number 1231553 (Why is no real title available?) | 1998-12-20 | Paper |
A polynomial algorithm for deciding bisimilarity of normed context-free processes
Theoretical Computer Science | 1997-02-27 | Paper |
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
Mathematical Structures in Computer Science | 1996-11-18 | Paper |
| scientific article; zbMATH DE number 871236 (Why is no real title available?) | 1996-04-28 | Paper |
| scientific article; zbMATH DE number 408797 (Why is no real title available?) | 1993-09-06 | Paper |
| scientific article; zbMATH DE number 23767 (Why is no real title available?) | 1992-06-26 | Paper |
The Nonstandard Treatment of Hilbert's Fifth Problem
Transactions of the American Mathematical Society | 1990-01-01 | Paper |
Nonstandard combinatorics
Studia Logica | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4110070 (Why is no real title available?) | 1989-01-01 | Paper |
A lower bound for Ramsey's theorem
Discrete Mathematics | 1980-01-01 | Paper |
Finite forcing, existential types and complete types
Journal of Symbolic Logic | 1980-01-01 | Paper |
Generalized ultrapowers
Archiv für Mathematische Logik und Grundlagenforschung | 1980-01-01 | Paper |
Examples in the theory of existential completeness
Journal of Symbolic Logic | 1978-01-01 | Paper |
Non standard analysis and the compactification of groups
Israel Journal of Mathematics | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3663101 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3663101 (Why is no real title available?) | 1976-01-01 | Paper |
Forcing, arithmetic, division rings
Lecture Notes in Mathematics | 1975-01-01 | Paper |
Models of arithmetic and recursive functions
Israel Journal of Mathematics | 1975-01-01 | Paper |
The Model Companion of ZF
Proceedings of the American Mathematical Society | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3496145 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3440431 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3412633 (Why is no real title available?) | 1972-01-01 | Paper |
Lectures on non-standard analysis
Lecture Notes in Mathematics | 1969-01-01 | Paper |
