Follow
Anna Philippou
Anna Philippou
Verified email at ucy.ac.cy - Homepage
Title
Cited by
Cited by
Year
Weak bisimulation for probabilistic systems
A Philippou, I Lee, O Sokolsky
International Conference on Concurrency Theory, 334-349, 2000
1442000
Symbolic schedulability analysis of real-time systems
HH Kwak, I Lee, A Philippou, JY Choi, O Sokolsky
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No. 98CB36279), 409-418, 1998
571998
Resources in process algebra
I Lee, A Philippou, O Sokolsky
The Journal of Logic and Algebraic Programming 72 (1), 98-122, 2007
452007
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models.
A Philippou, M Toro, M Antonaki
Scientific Annals of Computer Science 23 (1), 2013
432013
A network game with attackers and a defender
M Mavronicolas, V Papadopoulou, A Philippou, P Spirakis
Algorithmica 51, 315-341, 2008
422008
A graph-theoretic network security game
M Mavronicolas, V Papadopoulou, A Philippou, P Spirakis
International Workshop on Internet and Network Economics, 969-978, 2005
402005
Reversible computation in Petri nets
A Philippou, K Psara
Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018
372018
Process ordering in a process calculus for spatially-explicit ecological models
A Philippou, M Toro
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014
342014
Network game with attacker and protector entities
M Mavronicolas, V Papadopoulou, A Philippou, P Spirakis
Algorithms and Computation: 16th International Symposium, ISAAC 2005, Sanya …, 2005
332005
Synchronous parallel composition in a process calculus for ecological models
M Toro, A Philippou, C Kassara, S Sfenthourakis
Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014
302014
Network uncertainty in selfish routing
C Georgiou, T Pavlides, A Philippou
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
292006
Probabilistic resource failure in real-time process algebra
A Philippou, R Cleaveland, I Lee, S Smolka, O Sokolsky
CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998
291998
On confluence in the π-calculus
A Philippou, D Walker
International Colloquium on Automata, Languages, and Programming, 314-324, 1997
291997
A process calculus for dynamic networks
D Kouzapas, A Philippou
International Conference on Formal Methods for Open Object-Based Distributed …, 2011
272011
The price of defense
M Mavronicolas, L Michael, V Papadopoulou, A Philippou, P Spirakis
International Symposium on Mathematical Foundations of Computer Science, 717-728, 2006
272006
Mean-field semantics for a process calculus for spatially-explicit ecological models
M Toro, A Philippou, S Arboleda, M Puerta
arXiv preprint arXiv:1603.00979, 2016
262016
Distributed antenna selection for massive MIMO using reversing Petri nets
H Siljak, K Psara, A Philippou
IEEE Wireless Communications Letters 8 (5), 1427-1430, 2019
242019
Reversing computations modelled by coloured Petri nets
K Barylska, A Gogolinska, L Mikulski, A Philippou, M Piatkowski, K Psara
CEUR-WS. org, 2018
242018
A family of resource-bound real-time process algebras
I Lee, JY Choi, H Hwan Kwak, A Philippou, O Sokolsky
Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6 …, 2001
232001
On transformations of concurrent object programs
A Philippou, D Walker
International Conference on Concurrency Theory, 131-146, 1996
221996
The system can't perform the operation now. Try again later.
Articles 1–20