| Publication | Date of Publication | Type |
|---|
| Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions | 2023-02-03 | Paper |
| Don't tell me the cybersecurity moon is shining... Cybersecurity show and tell | 2022-11-11 | Paper |
| Typing and compositionality for security protocols: a generalization to the geometric fragment | 2022-08-19 | Paper |
| Time-stamped claim logic | 2022-01-05 | Paper |
| Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way | 2021-09-21 | Paper |
| Event-based time-stamped claim logic | 2021-08-03 | Paper |
| Explaining cybersecurity with films and the arts | 2021-01-07 | Paper |
| Conditional simple temporal networks with uncertainty and decisions | 2019-11-07 | Paper |
| Conditional Simple Temporal Networks with Uncertainty and Resources | 2019-05-17 | Paper |
| Compositional meaning in logic | 2017-11-29 | Paper |
| A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations | 2017-09-04 | Paper |
| A history of until | 2016-08-05 | Paper |
| Alice and Bob: reconciling formal models and implementation | 2016-01-08 | Paper |
| Quantum State Transformations and Branching Distributed Temporal Logic | 2015-01-13 | Paper |
| Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete | 2014-06-06 | Paper |
| Defining privacy is supposed to be easy | 2014-01-17 | Paper |
| Deconstructing Alice and Bob | 2013-09-26 | Paper |
| Metareasoning about security protocols using distributed temporal logic | 2013-09-25 | Paper |
| Towards an awareness-based semantics for security protocol analysis | 2013-07-24 | Paper |
| On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators | 2013-04-08 | Paper |
| Back from the future | 2012-07-17 | Paper |
| Modal deduction systems for quantum state transformations | 2012-04-26 | Paper |
| Labelled natural deduction for a bundled branching temporal logic | 2011-12-19 | Paper |
| Distributed temporal logic for the analysis of security protocol models | 2011-07-18 | Paper |
| A deduction system for meaning negotiation | 2011-05-11 | Paper |
| Optimal periodic output feedback control: a continuous-time approach and a case study | 2010-10-07 | Paper |
| Labelled tableaux for distributed temporal logic | 2010-01-14 | Paper |
| Truth-values as labels: a general recipe for labelled deduction | 2009-11-11 | Paper |
| The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols | 2009-10-22 | Paper |
| Secure Pseudonymous Channels | 2009-10-16 | Paper |
| A Labeled Natural Deduction System for a Fragment of CTL * | 2009-02-24 | Paper |
| Algebraic Intruder Deductions | 2008-05-27 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| On the semantics of Alice \& Bob specifications of security protocols | 2007-01-09 | Paper |
| Object-oriented modelling of flexible beams | 2006-10-27 | Paper |
| Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis | 2006-03-30 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737137 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472191 | 2004-08-03 | Paper |
| Fibring Labelled Deduction Systems | 2003-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804908 | 2003-05-01 | Paper |
| A recipe for the complexity analysis of non-classical logics | 2002-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530621 | 2002-06-04 | Paper |
| An \(O(n \log n)\)-space decision procedure for the relevance logic \(B^+\) | 2001-02-18 | Paper |
| Natural deduction for non-classical logics | 2001-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511321 | 2000-10-30 | Paper |
| Labelled modal logics: Quantifiers | 2000-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385437 | 1998-04-13 | Paper |
| Labelled propositional modal logics: theory and practice | 1998-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364506 | 1998-01-07 | Paper |
