| Publication | Date of Publication | Type |
|---|
| Bounded-Deducibility Security (Invited Paper) | 2023-06-20 | Paper |
| Distilling the requirements of Gödel's incompleteness theorems with a proof assistant | 2021-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144617 | 2021-01-19 | Paper |
| A formally verified abstract account of Gödel's incompleteness theorems | 2020-03-10 | Paper |
| Formal verification of language-based concurrent noninterference | 2019-09-18 | Paper |
| A consistent foundation for Isabelle/HOL | 2019-04-29 | Paper |
| From types to sets by local type definition in higher-order logic | 2019-02-18 | Paper |
| CoSMed: a confidentiality-verified social media platform | 2018-08-21 | Paper |
| Foundational (co)datatypes and (co)recursion for higher-order logic | 2018-01-04 | Paper |
| Soundness and completeness proofs by coinductive methods | 2017-07-10 | Paper |
| Friends with Benefits | 2017-05-19 | Paper |
| Comprehending Isabelle/HOL’s Consistency | 2017-05-19 | Paper |
| Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving | 2017-05-16 | Paper |
| Foundational extensible corecursion: a proof assistant perspective | 2017-05-10 | Paper |
| Encoding Monomorphic and Polymorphic Types | 2017-04-11 | Paper |
| CoSMed: A Confidentiality-Verified Social Media Platform | 2016-10-27 | Paper |
| From Types to Sets by Local Type Definitions in Higher-Order Logic | 2016-10-27 | Paper |
| Witnessing (Co)datatypes | 2016-04-26 | Paper |
| A Consistent Foundation for Isabelle/HOL | 2015-09-14 | Paper |
| Term-generic logic | 2015-04-01 | Paper |
| Recursion principles for syntax with bindings and substitution | 2015-03-05 | Paper |
| Formalizing Probabilistic Noninterference | 2015-01-13 | Paper |
| Unified Classical Logic Completeness | 2014-09-26 | Paper |
| Truly Modular (Co)datatypes for Isabelle/HOL | 2014-09-08 | Paper |
| Cardinals in Isabelle/HOL | 2014-09-08 | Paper |
| Mechanizing the Metatheory of Sledgehammer | 2013-09-20 | Paper |
| Noninterfering Schedulers | 2013-09-13 | Paper |
| Encoding Monomorphic and Polymorphic Types | 2013-08-05 | Paper |
| Proving Concurrent Noninterference | 2013-04-19 | Paper |
| More SPASS with Isabelle | 2012-09-20 | Paper |
| Weak Bisimilarity Coalgebraically | 2012-06-01 | Paper |
| Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization | 2010-04-27 | Paper |
| Term-Generic Logic | 2009-10-22 | Paper |
| A semantic approach to interpolation | 2009-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3508716 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5439772 | 2008-02-11 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| An institution-independent proof of the Robinson consistency theorem | 2007-04-26 | Paper |
| An Institution-independent Generalization of Tarski's Elementary Chain Theorem | 2007-04-13 | Paper |
| Some algebraic theory for many-valued relation algebras | 2007-04-02 | Paper |
| A common generalization for MV-algebras and Łukasiewicz-Moisil algebras | 2007-01-24 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Łukasiewicz-Moisil relation algebras | 2006-03-17 | Paper |
| Many-valued relation algebras | 2006-01-06 | Paper |
| Similarity Convergence in Residuated Structures | 2005-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4680304 | 2005-06-07 | Paper |
| Non-dual fuzzy connections | 2005-02-11 | Paper |
| A general approach to fuzzy concepts | 2004-08-06 | Paper |
| Non-commutative fuzzy structures and pairs of weak negations. | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4796538 | 2003-11-12 | Paper |
| Non-commutative fuzzy Galois connections | 2003-08-31 | Paper |
