| Publication | Date of Publication | Type |
|---|
| An epistemic foundation for authentication logics (extended abstract) | 2021-12-14 | Paper |
An epistemic foundation for authentication logics (extended abstract)
(available as arXiv preprint) | 2021-12-14 | Paper |
Categories of timed stochastic relations
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Practical affine types
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| On equivalences for a class of timed regular expressions | 2013-09-11 | Paper |
| A coalgebraic approach to Kleene algebra with tests | 2013-08-23 | Paper |
Modeling adversaries in a logic for security protocol analysis
Logical Methods in Computer Science | 2012-04-03 | Paper |
Roles, stacks, histories: a triple for Hoare
Journal of Functional Programming | 2011-07-25 | Paper |
Dealing with logical omniscience: expressiveness and pragmatics
Artificial Intelligence | 2011-06-17 | Paper |
Roles, stacks, histories: A triple for Hoare
Reflections on the Work of C.A.R. Hoare | 2010-10-26 | Paper |
A runs-and-systems semantics for logics of announcements
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Stateful contracts for affine types
Programming Languages and Systems | 2010-05-04 | Paper |
Evidence with uncertain likelihoods
Synthese | 2010-03-09 | Paper |
A logic for reasoning about evidence
(available as arXiv preprint) | 2009-04-28 | Paper |
Characterizing and reasoning about probabilistic and non-probabilistic expectation
Journal of the ACM | 2008-12-21 | Paper |
Probabilistic Algorithmic Knowledge
Logical Methods in Computer Science | 2007-10-11 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Phantom types and subtyping
Journal of Functional Programming | 2007-03-08 | Paper |
Deductive Algorithmic Knowledge
Journal Of Logic And Computation | 2006-07-03 | Paper |
Validating a web service security abstraction by typing
Formal Aspects of Computing | 2005-12-13 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
A coalgebraic approach to Kleene algebra with tests
Theoretical Computer Science | 2005-01-11 | Paper |
scientific article; zbMATH DE number 1946849 (Why is no real title available?)
(available as arXiv preprint) | 2003-07-07 | Paper |
