| Publication | Date of Publication | Type |
|---|
| A process algebra for link layer protocols | 2023-11-24 | Paper |
| Enabling Preserving Bisimulation Equivalence | 2023-08-21 | Paper |
| Analysing AWN-Specifications Using mCRL2 (Extended Abstract) | 2023-06-28 | Paper |
| Effect algebras, Girard quantales and complementation in separation logic | 2023-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014797 | 2021-12-08 | Paper |
| Relational characterisations of paths | 2020-11-09 | Paper |
| False failure: creating failure models for separation logic | 2018-11-08 | Paper |
| Backwards and forwards with separation logic | 2018-10-04 | Paper |
| Extended feature algebra | 2016-12-15 | Paper |
| Modelling and verifying the AODV routing protocol | 2016-10-17 | Paper |
| Cardinality of relations with applications | 2016-08-16 | Paper |
| Mechanizing a process algebra for network protocols | 2016-05-26 | Paper |
| A Timed Process Algebra for Wireless Networks with an Application in Routing | 2016-04-26 | Paper |
| Cardinality of relations and relational approximation algorithms | 2016-03-04 | Paper |
| Tool-Based Verification of a Relational Vertex Coloring Program | 2016-01-08 | Paper |
| A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol | 2015-12-17 | Paper |
| Structured Document Algebra in Action | 2015-06-22 | Paper |
| CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions | 2015-04-16 | Paper |
| Showing Invariance Compositionally for a Process Algebra for Network Protocols | 2014-09-08 | Paper |
| Hopscotch -- reaching the target hop by hop | 2014-09-08 | Paper |
| Automated Verification of Relational While-Programs | 2014-04-16 | Paper |
| Semiring neighbours: an algebraic embedding and extension of neighbourhood logic | 2013-12-06 | Paper |
| Dijkstra, Floyd and Warshall meet Kleene | 2013-03-22 | Paper |
| Preface | 2013-03-22 | Paper |
| Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming | 2012-09-21 | Paper |
| A Process Algebra for Wireless Mesh Networks | 2012-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3104005 | 2011-12-19 | Paper |
| Algebraic separation logic | 2011-07-18 | Paper |
| Fixing Zeno gaps | 2011-07-07 | Paper |
| Towards an Algebra of Routing Tables | 2011-06-17 | Paper |
| Variable Side Conditions and Greatest Relations in Algebraic Separation Logic | 2011-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3059222 | 2010-12-08 | Paper |
| Algebraic notions of nontermination: Omega and divergence in idempotent semirings | 2010-11-11 | Paper |
| Towards algebraic separation logic | 2009-12-11 | Paper |
| Automated verification of refinement laws | 2009-11-16 | Paper |
| Quantales and Temporal Logics | 2009-04-28 | Paper |
| Automated Reasoning in Kleene Algebra | 2009-03-06 | Paper |
| An algebra of hybrid systems | 2009-02-19 | Paper |
| On Automating the Calculus of Relations | 2008-11-27 | Paper |
| Algebraic neighbourhood logic | 2008-06-19 | Paper |
| Automated Reasoning for Hybrid Systems — Two Case Studies — | 2008-05-15 | Paper |
| Non-termination in Idempotent Semirings | 2008-05-15 | Paper |
| Omega Algebra, Demonic Refinement Algebra and Commands | 2008-04-24 | Paper |
| Lazy Semiring Neighbours and Some Applications | 2008-04-24 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
