Anna Philippou

Available identifiers

zbMath Open philippou.annaMaRDI QIDQ764282

List of research outcomes

Publication	Date of Publication	Type
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	2022-06-13	Paper
Mean-field semantics for a process calculus for spatially-explicit ecological models	2021-12-02	Paper
Reversible computation in nets with bonds	2021-11-24	Paper
Encoding reversing Petri nets in answer set programming	2021-07-05	Paper
The price of defense	2021-04-19	Paper
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications	2019-10-17	Paper
Simulation and verification in a process calculus for spatially-explicit ecological models	2019-02-08	Paper
Reversible computation in Petri nets	2018-10-17	Paper
Privacy by typing in the \(\pi\)-calculus	2018-01-12	Paper
Type checking privacy policies in the \(\pi\)-calculus	2016-10-19	Paper
A family of resource-bound real-time process algebras	2015-07-10	Paper
Synchronous parallel composition in a process calculus for ecological models	2015-01-13	Paper
PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling	2012-03-13	Paper
Selfish routing in the presence of network uncertainty	2010-09-29	Paper
A process algebraic framework for modeling resource demand and supply	2010-09-10	Paper
A network game with attackers and a defender	2008-07-01	Paper
The Price of Defense	2007-09-05	Paper
Resources in process algebra	2007-07-16	Paper
Algorithms and Computation	2006-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4417942	2003-07-30	Paper
Hiding resources that can fail: An axiomatic perspective	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4536612	2002-06-25	Paper
A process-calculus analysis of concurrent operations on B-trees	2001-09-09	Paper

Research outcomes over time

This page was built for person: Anna Philippou