Weak bisimulation for probabilistic systems A Philippou, I Lee, O Sokolsky International Conference on Concurrency Theory, 334-349, 2000 | 146 | 2000 |

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 | 56 | 1998 |

Resources in process algebra I Lee, A Philippou, O Sokolsky The Journal of Logic and Algebraic Programming 72 (1), 98-122, 2007 | 46 | 2007 |

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 | 43 | 2013 |

A graph-theoretic network security game M Mavronicolas, V Papadopoulou, A Philippou, P Spirakis International Workshop on Internet and Network Economics, 969-978, 2005 | 39 | 2005 |

Reversible computation in Petri nets A Philippou, K Psara Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018 | 38 | 2018 |

A network game with attackers and a defender M Mavronicolas, V Papadopoulou, A Philippou, P Spirakis Algorithmica 51, 315-341, 2008 | 38 | 2008 |

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 | 34 | 2014 |

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 | 31 | 2005 |

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 | 30 | 2014 |

Network uncertainty in selfish routing C Georgiou, T Pavlides, A Philippou Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006 | 30 | 2006 |

On confluence in the *π*-calculusA Philippou, D Walker International Colloquium on Automata, Languages, and Programming, 314-324, 1997 | 29 | 1997 |

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 | 28 | 2019 |

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 | 28 | 1998 |

A process calculus for dynamic networks D Kouzapas, A Philippou International Conference on Formal Methods for Open Object-Based Distributed …, 2011 | 27 | 2011 |

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 | 26 | 2016 |

Reversing computations modelled by coloured Petri nets K Barylska, A Gogolinska, L Mikulski, A Philippou, M Piatkowski, K Psara CEUR-WS. org, 2018 | 24 | 2018 |

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 | 24 | 2006 |

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 | 23 | 2001 |

On transformations of concurrent object programs A Philippou, D Walker International Conference on Concurrency Theory, 131-146, 1996 | 22 | 1996 |