On Sharing and Determinacy in Concurrent Systems. - Anna Philippou; David Walker 008 (CONCUR, 1995)

Social Confluence in Client-Server Systems. - Anna Philippou; David Walker 008 (CSL, 1996)

Reasoning about systems with evolving structure. - Anna Philippou (1996)

A Rigorous Analysis of Concurrent Operations on B-Trees. - Anna Philippou; David Walker 008 (CONCUR, 1997)

On Confluence in the pi-Calculus. - Anna Philippou; David Walker 008 (ICALP, 1997)

Praobabilistic Resource Failure in Real-Time Process Algebra. - Anna Philippou; Rance Cleaveland; Insup Lee 001; Scott A. Smolka; Oleg Sokolsky (CONCUR, 1998)

Symbolic Schedulability Analysis of Real-Time Systems. - Hee-Hwan Kwak; Insup Lee 001; Anna Philippou; Jin-Young Choi; Oleg Sokolsky (RTSS, 1998)

On Transformations of Concurrent-Object Programs. - Anna Philippou; David Walker 008 (Theor. Comput. Sci., 1998)

Weak Bisimulation for Probabilistic Systems. - Anna Philippou; Insup Lee 001; Oleg Sokolsky (CONCUR, 2000)

A Family of Resource-Bound Real-Time Process Algebras. - Insup Lee 001; Jin-Young Choi; Hee-Hwan Kwak; Anna Philippou; Oleg Sokolsky (FORTE, 2001)

Hiding resources that can fail: An axiomatic perspective. - Anna Philippou; Oleg Sokolsky; Insup Lee 001; Rance Cleaveland; Scott A. Smolka (Inf. Process. Lett., 2001)

A Process-Calculus Analysis of Concurrent Operations on B-Trees. - Anna Philippou; David Walker 008 (J. Comput. Syst. Sci., 2001)

A General Resource Framework for Real-Time Systems. - Insup Lee 001; Anna Philippou; Oleg Sokolsky (RISSEF, 2002)

Modeling and Analysis of Power-Aware Systems. - Oleg Sokolsky; Anna Philippou; Insup Lee 001; Kyriakos Christou (TACAS, 2003)

Network Game with Attacker and Protector Entities. - Marios Mavronicolas; Vicky G. Papadopoulou; Anna Philippou; Paul G. Spirakis (ISAAC, 2005)

A Family of Resource-Bound Real-Time Process Algebras. - Insup Lee 001; Anna Philippou; Oleg Sokolsky (APC 25, 2005)

The Price of Defense and Fractional Matchings. - Marios Mavronicolas; Vicky G. Papadopoulou; Giuseppe Persiano; Anna Philippou; Paul G. Spirakis (ICDCN, 2006)

The Power of the Defender. - Marina Gelastou; Marios Mavronicolas; Vicky G. Papadopoulou; Anna Philippou; Paul G. Spirakis (ICDCS Workshops, 2006)

Network uncertainty in selfish routing. - Chryssis Georgiou; Theophanis Pavlides; Anna Philippou (IPDPS, 2006)

The Price of Defense. - Marios Mavronicolas; Loizos Michael; Vicky G. Papadopoulou; Anna Philippou; Paul G. Spirakis (MFCS, 2006)

Verification Techniques for Distributed Algorithms. - Anna Philippou; George Michael (OPODIS, 2006)

Resources in process algebra. - Insup Lee 001; Anna Philippou; Oleg Sokolsky (J. Log. Algebraic Methods Program., 2007)

Process-Algebraic Analysis of Timing and Schedulability Properties. - Anna Philippou; Oleg Sokolsky (Handbook of Real-Time and Embedded Systems, 2007)

On the Application of Formal Methods for Specifying and Verifying Distributed Protocols. - Marina Gelastou; Chryssis Georgiou; Anna Philippou (NCA, 2008)

A Network Game with Attackers and a Defender. - Marios Mavronicolas; Vicky Papadopoulou; Anna Philippou; Paul G. Spirakis (Algorithmica, 2008)

A graph-theoretic network security game. - Marios Mavronicolas; Vicky G. Papadopoulou; Anna Philippou; Paul G. Spirakis (Int. J. Auton. Adapt. Commun. Syst., 2008)

Selfish Routing in the Presence of Network Uncertainty. - Chryssis Georgiou; Theophanis Pavlides; Anna Philippou (Parallel Process. Lett., 2009)

A Process Algebraic Framework for Modeling Resource Demand and Supply. - Anna Philippou; Insup Lee 001; Oleg Sokolsky; Jin-Young Choi (FORMATS, 2010)

A Process Calculus for Dynamic Networks. - Dimitrios Kouzapas; Anna Philippou (FMOODS/FORTE, 2011)

A Process Calculus for Spatially-explicit Ecological Models - Margarita Antonaki; Anna Philippou (MeCBIC, 2012)

PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. - Anna Philippou; Insup Lee 001; Oleg Sokolsky (Theor. Comput. Sci., 2012)

A Typing System for Privacy. - Dimitrios Kouzapas; Anna Philippou (SEFM Workshops, 2013)

Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. - Anna Philippou; Mauricio Toro (SEFM Workshops, 2013)

Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models. - Anna Philippou; Mauricio Toro; Margarita Antonaki (Sci. Ann. Comput. Sci., 2013)

Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009. - Stefan Kowalewski; Anna Philippou; Jörg Brauer (Int. J. Softw. Tools Technol. Transf., 2013)

Synchronous Parallel Composition in a Process Calculus for Ecological Models. - Mauricio Toro; Anna Philippou; Christina Kassara; Spyros Sfenthourakis (ICTAC, 2014)

Type Checking Privacy Policies in the π-calculus. - Dimitrios Kouzapas; Anna Philippou (FORTE, 2015)

Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets. - Chrysovalandis Agathangelou; Chryssis Georgiou; Ileana Papailiou; Anna Philippou; Loucas Pouis; Georgios Tertytchny; Despina Vakana (HCI (22), 2015)

Type Checking Purpose-Based Privacy Policies in the π-Calculus. - Eleni Kokkinofta; Anna Philippou (WS-FM, 2015)

Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models. - Mauricio Toro; Anna Philippou; Sair Arboleda; María Puerta; Carlos M. Vélez S. (DCM, 2015)

Privacy by typing in the π-calculus. - Dimitrios Kouzapas; Anna Philippou (Log. Methods Comput. Sci., 2017)

Reversing Computations Modelled by Coloured Petri Nets. - Kamila Barylska; Anna Gogolinska; Lukasz Mikulski; Anna Philippou; Marcin Piatkowski; Kyriaki Psara (ATAED@Petri Nets/ACSD, 2018)

Formal Verification of a Programmable Hypersurface. - Panagiotis Kouvaros; Dimitrios Kouzapas; Anna Philippou; Julius Georgiou; Loukas Petrou; Andreas Pitsillides (FMICS, 2018)

Fault Adaptive Routing in Metasurface Controller Networks. - Taqwa Saeed; Constantinos Skitsas; Dimitrios Kouzapas; Marios Lestas; Vassos Soteriou; Anna Philippou; Sergi Abadal; Christos Liaskos; Loukas Petrou; Julius Georgiou; Andreas Pitsillides (NoCArc@MICRO, 2018)

Reversible Computation in Petri Nets. - Anna Philippou; Kyriaki Psara (RC, 2018)

A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. - Evangelia Vanezi; Georgia M. Kapitsaki; Dimitrios Kouzapas; Anna Philippou (ENASE, 2019)

Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models. - Evangelia Vanezi; Dimitrios Kouzapas; Georgia M. Kapitsaki; Anna Philippou (ENASE (Selected Papers), 2019)

Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper. - Anna Philippou; Kyriaki Psara; Harun Siljak (RC, 2019)

GDPR Compliance in the Design of the INFORM e-Learning Platform: a Case Study. - Evangelia Vanezi; Dimitrios Kouzapas; Georgia M. Kapitsaki; Theodora Costi; Alexandros Yeratziotis; Christos Mettouris; Anna Philippou; George A. Papadopoulos (RCIS, 2019)

Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications. - Anna Philippou; Kyriaki Psara; Harun Siljak (CoRR, 2019)

Distributed Antenna Selection for Massive MIMO Using Reversing Petri Nets. - Harun Siljak; Kyriaki Psara; Anna Philippou (IEEE Wirel. Commun. Lett., 2019)

Encoding Reversing Petri Nets in Answer Set Programming. - Yannis Dimopoulos; Eleftheria Kouppari; Anna Philippou; Kyriaki Psara (RC, 2020)

DiálogoP - A Language and a Graphical Tool for Formally Defining GDPR Purposes. - Evangelia Vanezi; Georgia M. Kapitsaki; Dimitrios Kouzapas; Anna Philippou; George A. Papadopoulos (RCIS, 2020)

Reversible Computation in Cyclic Petri Nets. - Anna Philippou; Kyriaki Psara (CoRR, 2020)

Towards fault adaptive routing in metasurface controller networks. - Dimitrios Kouzapas; Constantinos Skitsas; Taqwa Saeed; Vassos Soteriou; Marios Lestas; Anna Philippou; Sergi Abadal; Christos Liaskos; Loukas Petrou; Julius Georgiou; Andreas Pitsillides (J. Syst. Archit., 2020)

Reversibility in Chemical Reactions. - Stefan Kuhn 001; Bogdan Aman; Gabriel Ciobanu; Anna Philippou; Kyriaki Psara; Irek Ulidowski (Selected Results of the COST Action IC1405, 2020)

The Price of Defense. - Marios Mavronicolas; Loizos Michael; Vicky Papadopoulou Lesta; Giuseppe Persiano; Anna Philippou; Paul G. Spirakis (Algorithmica, 2021)

Formal Translation from Reversing Petri Nets to Coloured Petri Nets. - Kamila Barylska; Anna Gogolinska; Lukasz Mikulski; Anna Philippou; Marcin Piatkowski; Kyriaki Psara (RC, 2022)

Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation. - Anna Philippou; Kyriaki Psara (EXPRESS/SOS, 2022)

Reversible computation in nets with bonds. - Anna Philippou; Kyriaki Psara (J. Log. Algebraic Methods Program., 2022)

A collective interpretation semantics for reversing Petri nets. - Anna Philippou; Kyriaki Psara (Theor. Comput. Sci., 2022)

What's Your Purpose? An Approach to Incorporating GDPR Purposes into Requirements Analysis. - Evangelia Vanezi; Georgia M. Kapitsaki; Anna Philippou (ICISSP, 2024)

Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. - Ferruccio Damiani; David M. Eyers; Anna Philippou (Sci. Comput. Program., 2024)