| Publication | Date of Publication | Type |
|---|
| Modal and temporal logics for processes | 2024-06-21 | Paper |
Decidability of bisimulation equivalence for normed pushdown processes
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
| A proof system with names for modal \(\mu\)-calculus | 2021-06-21 | Paper |
A proof system with names for modal \(\mu\)-calculus
(available as arXiv preprint) | 2021-06-21 | Paper |
Bisimulation and logic
Advanced Topics in Bisimulation and Coinduction | 2014-04-25 | Paper |
Model-checking games for typed \(\lambda\)-calculi
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Proof systems for retracts in simply typed lambda calculus
Automata, Languages, and Programming | 2013-08-07 | Paper |
| scientific article; zbMATH DE number 5823840 (Why is no real title available?) | 2010-12-08 | Paper |
Robin Milner: 13 January 1934-20 March 2010
Formal Aspects of Computing | 2010-11-22 | Paper |
Decidability of higher-order matching
Logical Methods in Computer Science | 2009-08-20 | Paper |
Dependency Tree Automata
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
A Game-Theoretic Approach to Deciding Higher-Order Matching
Automata, Languages and Programming | 2007-09-11 | Paper |
Second-Order Simple Grammars
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2086674 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087435 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2081092 (Why is no real title available?) | 2004-08-04 | Paper |
Discontinuous modelling of masonry bridges
Computational Mechanics | 2004-01-28 | Paper |
| Modal logics and mu-calculi: An introduction | 2003-01-07 | Paper |
| scientific article; zbMATH DE number 2020181 (Why is no real title available?) | 2003-01-01 | Paper |
| scientific article; zbMATH DE number 1834676 (Why is no real title available?) | 2002-11-25 | Paper |
Model Checking Games for Branching Time Logics
Journal Of Logic And Computation | 2002-09-11 | Paper |
| scientific article; zbMATH DE number 1701362 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1670473 (Why is no real title available?) | 2001-12-09 | Paper |
Decidability of DPDA equivalence
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1222559 (Why is no real title available?) | 2000-08-02 | Paper |
Bisimulation, modal logic and model checking games
Logic Journal of the IGPL | 1999-09-09 | Paper |
Decidability of bisimulation equivalence for normed pushdown processes
Theoretical Computer Science | 1999-01-20 | Paper |
Actions speak louder than words: proving bisimilarity for context-free processes
Journal Of Logic And Computation | 1998-09-27 | Paper |
Local model checking for infinite state spaces
Theoretical Computer Science | 1992-09-26 | Paper |
| scientific article; zbMATH DE number 4119603 (Why is no real title available?) | 1989-01-01 | Paper |
A generalization of Owicki-Gries's Hoare logic for a concurrent while language
Theoretical Computer Science | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4085608 (Why is no real title available?) | 1987-01-01 | Paper |
Modal logics for communicating systems
Theoretical Computer Science | 1987-01-01 | Paper |
Weak and strong fairness in CCS
Information and Computation | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3958718 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3898221 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3936485 (Why is no real title available?) | 1985-01-01 | Paper |
The power of the future perfect in program logics
Information and Control | 1985-01-01 | Paper |
A proof-theoretic characterization of observational equivalence
Theoretical Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3878339 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3888909 (Why is no real title available?) | 1984-01-01 | Paper |
A fair calculus of communicating systems
Acta Informatica | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3858386 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819093 (Why is no real title available?) | 1983-01-01 | Paper |
