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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anna Philippou