| Publication | Date of Publication | Type |
|---|
Formal definitions and proofs for partial (co)recursive functions
Journal of Logical and Algebraic Methods in Programming | 2024-10-08 | Paper |
A trustful monad for axiomatic reasoning with probability and nondeterminism
Journal of Functional Programming | 2021-09-24 | Paper |
(Co)inductive proof systems for compositional proofs in reachability logic
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
Stochastic effects of multiple regulators on expression profiles in eukaryotes
Journal of Theoretical Biology | 2020-07-16 | Paper |
| A hierarchy of monadic effects for program verification using equational reasoning | 2020-05-05 | Paper |
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Formal security proofs with minimal fuss: implicit computational complexity at work
Information and Computation | 2015-05-04 | Paper |
Certifying assembly with formal security proofs: the case of BBS
Science of Computer Programming | 2012-07-20 | Paper |
A formalization of polytime functions
Interactive Theorem Proving | 2011-08-17 | Paper |
A Calculus for Game-Based Security Proofs
Provable Security | 2010-10-12 | Paper |
Logical relations for monadic types
Mathematical Structures in Computer Science | 2008-12-10 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
REASONING ABOUT TRANSFINITE SEQUENCES
International Journal of Foundations of Computer Science | 2007-03-13 | Paper |
On the freeze quantifier in Constraint LTL: Decidability and complexity
Information and Computation | 2007-02-19 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Synchronous structures
Information and Computation | 2006-08-17 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2061713 (Why is no real title available?) | 2004-03-22 | Paper |
| scientific article; zbMATH DE number 1948186 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1759637 (Why is no real title available?) | 2002-11-28 | Paper |
| scientific article; zbMATH DE number 1760146 (Why is no real title available?) | 2002-11-06 | Paper |
| scientific article; zbMATH DE number 1670753 (Why is no real title available?) | 2001-12-18 | Paper |
| scientific article; zbMATH DE number 1361139 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1302026 (Why is no real title available?) | 1999-10-05 | Paper |
| scientific article; zbMATH DE number 3531212 (Why is no real title available?) | 1976-01-01 | Paper |
