| Publication | Date of Publication | Type |
|---|
Token multiplicity in reversing Petri nets under the individual token interpretation
(available as arXiv preprint) | 2024-02-06 | Paper |
| Token multiplicity in reversing Petri nets under the individual token interpretation | 2024-02-06 | Paper |
| Formal translation from reversing Petri nets to coloured Petri nets | 2022-11-11 | Paper |
A collective interpretation semantics for reversing Petri nets
Theoretical Computer Science | 2022-06-13 | Paper |
| Mean-field semantics for a process calculus for spatially-explicit ecological models | 2021-12-02 | Paper |
Mean-field semantics for a process calculus for spatially-explicit ecological models
(available as arXiv preprint) | 2021-12-02 | Paper |
Reversible computation in nets with bonds
Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
| Encoding reversing Petri nets in answer set programming | 2021-07-05 | Paper |
The price of defense
Algorithmica | 2021-04-19 | Paper |
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
Reversible Computation | 2019-10-17 | Paper |
Simulation and verification in a process calculus for spatially-explicit ecological models
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Reversible computation in Petri nets
(available as arXiv preprint) | 2018-10-17 | Paper |
Privacy by typing in the \(\pi\)-calculus
(available as arXiv preprint) | 2018-01-12 | Paper |
Type checking privacy policies in the \(\pi\)-calculus
Formal Techniques for Distributed Objects, Components, and Systems | 2016-10-19 | Paper |
A family of resource-bound real-time process algebras
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Synchronous parallel composition in a process calculus for ecological models
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
Theoretical Computer Science | 2012-03-13 | Paper |
Selfish routing in the presence of network uncertainty
Parallel Processing Letters | 2010-09-29 | Paper |
A process algebraic framework for modeling resource demand and supply
Lecture Notes in Computer Science | 2010-09-10 | Paper |
A network game with attackers and a defender
Algorithmica | 2008-07-01 | Paper |
The Price of Defense
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Resources in process algebra
The Journal of Logic and Algebraic Programming | 2007-07-16 | Paper |
Algorithms and Computation
Lecture Notes in Computer Science | 2006-11-14 | Paper |
| scientific article; zbMATH DE number 1956596 (Why is no real title available?) | 2003-07-30 | Paper |
Hiding resources that can fail: An axiomatic perspective
Information Processing Letters | 2002-07-25 | Paper |
| scientific article; zbMATH DE number 1759621 (Why is no real title available?) | 2002-06-25 | Paper |
A process-calculus analysis of concurrent operations on B-trees
Journal of Computer and System Sciences | 2001-09-09 | Paper |
