| Publication | Date of Publication | Type |
|---|
| Synthetic domain theory in type theory: another logic of computable functions | 2024-07-05 | Paper |
| Interpreting knowledge-based programs | 2023-11-24 | Paper |
Towards model checking real-world software-defined networks
(available as arXiv preprint) | 2021-02-09 | Paper |
Limits of computation. From a programming perspective
Undergraduate Topics in Computer Science | 2017-03-29 | Paper |
Symbolic execution proofs for higher order store programs
Journal of Automated Reasoning | 2016-05-26 | Paper |
Step-indexed Kripke models over recursive worlds
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Specification patterns for reasoning about recursion through the store
Information and Computation | 2014-01-16 | Paper |
A step-indexed Kripke model of hidden state
Mathematical Structures in Computer Science | 2013-03-14 | Paper |
| Relative completeness for logics of functional programs | 2012-09-18 | Paper |
Crowfoot: A Verifier for Higher-Order Store Programs
Lecture Notes in Computer Science | 2012-06-15 | Paper |
A synthetic theory of sequential domains
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
Nested Hoare triples and frame rules for higher-order store
Logical Methods in Computer Science | 2012-04-02 | Paper |
Specification patterns and proofs for recursion through the store
Fundamentals of Computation Theory | 2011-08-19 | Paper |
Class-based versus object-based: a denotational comparison
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
A semantic foundation for hidden state
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
Nested Hoare Triples and Frame Rules for Higher-Order Store
Computer Science Logic | 2009-11-12 | Paper |
Separation Logic for Higher-Order Store
Computer Science Logic | 2009-03-12 | Paper |
A Simple Model of Separation Logic for Higher-Order Store
Automata, Languages and Programming | 2008-08-19 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Frontiers of Combining Systems
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Denotational semantics for a program logic of objects
Mathematical Structures in Computer Science | 2006-08-10 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Semantics and logic of object calculi
Theoretical Computer Science | 2004-08-04 | Paper |
General synthetic domain theory – a logical approach
Mathematical Structures in Computer Science | 2003-09-11 | Paper |
| scientific article; zbMATH DE number 1693528 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1670761 (Why is no real title available?) | 2001-12-18 | Paper |
| scientific article; zbMATH DE number 1424053 (Why is no real title available?) | 2000-09-20 | Paper |
Formalizing synthetic domain theory. The basic definitions
Journal of Automated Reasoning | 2000-01-30 | Paper |
Classical logic, continuation semantics and abstract machines
Journal of Functional Programming | 1999-05-03 | Paper |
Extensional \(\Sigma\)-spaces in type theory
Applied Categorical Structures | 1999-01-01 | Paper |
| scientific article; zbMATH DE number 1086725 (Why is no real title available?) | 1998-02-25 | Paper |
| scientific article; zbMATH DE number 1005001 (Why is no real title available?) | 1997-04-27 | Paper |
| scientific article; zbMATH DE number 956835 (Why is no real title available?) | 1997-01-22 | Paper |
