Anna Philippou

Available identifiers

zbMath Open philippou.annaMaRDI QIDQ764282

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6190872	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
https://portal.mardi4nfdi.de/entity/Q5013824	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
https://portal.mardi4nfdi.de/entity/Q4600769	2018-01-12	Paper
Type Checking Privacy Policies in the π-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