Anna Philippou
Anna Philippou
確認したメール アドレス: cs.ucy.ac.cy
タイトル
引用先
引用先
Weak bisimulation for probabilistic systems
A Philippou, I Lee, O Sokolsky
International Conference on Concurrency Theory, 334-349, 2000
1282000
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
531998
Resources in process algebra
I Lee, A Philippou, O Sokolsky
The Journal of Logic and Algebraic Programming 72 (1), 98-122, 2007
442007
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
402013
A graph-theoretic network security game
M Mavronicolas, V Papadopoulou, A Philippou, P Spirakis
International Workshop on Internet and Network Economics, 969-978, 2005
372005
A network game with attackers and a defender
M Mavronicolas, V Papadopoulou, A Philippou, P Spirakis
Algorithmica 51 (3), 315-341, 2008
362008
Process ordering in a process calculus for spatially-explicit ecological models
A Philippou, M Toro
International Conference on Software Engineering and Formal Methods, 345-361, 2013
322013
Network game with attacker and protector entities
M Mavronicolas, V Papadopoulou, A Philippou, P Spirakis
International Symposium on Algorithms and Computation, 288-297, 2005
312005
Synchronous parallel composition in a process calculus for ecological models
M Toro, A Philippou, C Kassara, S Sfenthourakis
International Colloquium on Theoretical Aspects of Computing, 424-441, 2014
292014
On confluence in the π-calculus
A Philippou, D Walker
International Colloquium on Automata, Languages, and Programming, 314-324, 1997
291997
Probabilistic resource failure in real-time process algebra
A Philippou, R Cleaveland, I Lee, S Smolka, O Sokolsky
International Conference on Concurrency Theory, 389-404, 1998
271998
Network uncertainty in selfish routing
C Georgiou, T Pavlides, A Philippou
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
262006
A process calculus for dynamic networks
D Kouzapas, A Philippou
Formal Techniques for Distributed Systems, 213-227, 2011
252011
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
252006
Reversible computation in Petri nets
A Philippou, K Psara
International Conference on Reversible Computation, 84-101, 2018
242018
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
242016
A family of resource-bound real-time process algebras
I Lee, JY Choi, HH Kwak, A Philippou, O Sokolsky
International Conference on Formal Techniques for Networked and Distributed …, 2001
242001
On transformations of concurrent object programs
A Philippou, D Walker
International Conference on Concurrency Theory, 131-146, 1996
211996
The power of the defender
M Gelastou, M Mavronicolas, V Papadopoulou, A Philippou, P Spirakis
26th IEEE International Conference on Distributed Computing Systems …, 2006
202006
Modeling and analysis of power-aware systems
O Sokolsky, A Philippou, I Lee, K Christou
International Conference on Tools and Algorithms for the Construction and …, 2003
202003
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20