| Publication | Date of Publication | Type |
|---|
A process algebra for link layer protocols
Programming Languages and Systems | 2023-11-24 | Paper |
Enabling Preserving Bisimulation Equivalence
| 2023-08-21 | Paper |
Analysing AWN-Specifications Using mCRL2 (Extended Abstract)
Lecture Notes in Computer Science | 2023-06-28 | Paper |
Effect algebras, Girard quantales and complementation in separation logic
| 2023-03-30 | Paper |
Analysing mutual exclusion using process algebra with signals
| 2021-12-08 | Paper |
Relational characterisations of paths
Journal of Logical and Algebraic Methods in Programming | 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
Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
Modelling and verifying the AODV routing protocol
Distributed Computing | 2016-10-17 | Paper |
Cardinality of relations with applications
Discrete Mathematics | 2016-08-16 | Paper |
Mechanizing a process algebra for network protocols
Journal of Automated Reasoning | 2016-05-26 | Paper |
A timed process algebra for wireless networks with an application in routing (extended abstract)
Programming Languages and Systems | 2016-04-26 | Paper |
Cardinality of relations and relational approximation algorithms
Journal of Logical and Algebraic Methods in Programming | 2016-03-04 | Paper |
Tool-Based Verification of a Relational Vertex Coloring Program
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
A mechanized proof of loop freedom of the (untimed) AODV routing protocol
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Structured document algebra in action
Software, Services, and Systems | 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
Acta Informatica | 2015-04-16 | Paper |
Showing invariance compositionally for a process algebra for network protocols
Interactive Theorem Proving | 2014-09-08 | Paper |
Hopscotch -- reaching the target hop by hop
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
Automated verification of relational while-programs
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Dijkstra, Floyd and Warshall meet Kleene
Formal Aspects of Computing | 2013-03-22 | Paper |
Preface
Formal Aspects of Computing | 2013-03-22 | Paper |
Foundations of coloring algebra with consequences for feature-oriented programming
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
A process algebra for wireless mesh networks
Programming Languages and Systems | 2012-06-22 | Paper |
Algebraic calculi for hybrid systems
| 2011-12-19 | Paper |
Algebraic separation logic
The Journal of Logic and Algebraic Programming | 2011-07-18 | Paper |
Fixing Zeno gaps
Theoretical Computer Science | 2011-07-07 | Paper |
Towards an algebra of routing tables
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
Variable side conditions and greatest relations in algebraic separation logic
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
Quantum computing using pulse-based electron-nuclear double resonance (ENDOR): molecular spin-qubits
| 2010-12-08 | Paper |
Algebraic notions of nontermination: Omega and divergence in idempotent semirings
The Journal of Logic and Algebraic Programming | 2010-11-11 | Paper |
Towards algebraic separation logic
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Automated verification of refinement laws
Annals of Mathematics and Artificial Intelligence | 2009-11-16 | Paper |
Quantales and Temporal Logics
Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
Automated Reasoning in Kleene Algebra
Automated Deduction – CADE-21 | 2009-03-06 | Paper |
An algebra of hybrid systems
The Journal of Logic and Algebraic Programming | 2009-02-19 | Paper |
On Automating the Calculus of Relations
Automated Reasoning | 2008-11-27 | Paper |
Algebraic neighbourhood logic
The Journal of Logic and Algebraic Programming | 2008-06-19 | Paper |
Automated Reasoning for Hybrid Systems — Two Case Studies —
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Non-termination in Idempotent Semirings
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Omega Algebra, Demonic Refinement Algebra and Commands
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Lazy Semiring Neighbours and Some Applications
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
