Anna Philippou

	2009
28		Stefan Kowalewski, Anna Philippou: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings Springer 2009
27		Chryssis Georgiou, Theophanis Pavlides, Anna Philippou: Selfish Routing in the Presence of Network Uncertainty. Parallel Processing Letters 19(1): 141-157 (2009)
	2008
26		Marina Gelastou, Chryssis Georgiou, Anna Philippou: On the Application of Formal Methods for Specifying and Verifying Distributed Protocols. NCA 2008: 195-204
25		Marios Mavronicolas, Vicky Papadopoulou, Anna Philippou, Paul G. Spirakis: A Network Game with Attackers and a Defender. Algorithmica 51(3): 315-341 (2008)
	2007
24		Insup Lee, Anna Philippou, Oleg Sokolsky: Resources in process algebra. J. Log. Algebr. Program. 72(1): 98-122 (2007)
	2006
23		Marios Mavronicolas, Vicky G. Papadopoulou, Giuseppe Persiano, Anna Philippou, Paul G. Spirakis: The Price of Defense and Fractional Matchings. ICDCN 2006: 115-126
22		Marina Gelastou, Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: The Power of the Defender. ICDCS Workshops 2006: 37
21		Chryssis Georgiou, Theophanis Pavlides, Anna Philippou: Network uncertainty in selfish routing. IPDPS 2006
20		Marios Mavronicolas, Loizos Michael, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: The Price of Defense. MFCS 2006: 717-728
19		Anna Philippou, George Michael: Verification Techniques for Distributed Algorithms. OPODIS 2006: 172-186
18		Insup Lee, Anna Philippou, Oleg Sokolsky: A Family of Resource-Bound Real-Time Process Algebras. Electr. Notes Theor. Comput. Sci. 162: 221-226 (2006)
	2005
17		Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: Network Game with Attacker and Protector Entities. ISAAC 2005: 288-297
16		Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: A Graph-Theoretic Network Security Game. WINE 2005: 969-978
	2004
15		Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß: International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings Department of Computer Science, University of Cyprus 2004
	2003
14		Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou: Modeling and Analysis of Power-Aware Systems. TACAS 2003: 409-425
	2002
13		Insup Lee, Anna Philippou, Oleg Sokolsky: A General Resource Framework for Real-Time Systems. RISSEF 2002: 234-248
	2001
12		Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky: A Family of Resource-Bound Real-Time Process Algebras. FORTE 2001: 443-458
11		Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka: Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80(1): 3-13 (2001)
10		Anna Philippou, David Walker: A Process-Calculus Analysis of Concurrent Operations on B-Trees. J. Comput. Syst. Sci. 62(1): 73-122 (2001)
	2000
9		Anna Philippou, Insup Lee, Oleg Sokolsky: Weak Bisimulation for Probabilistic Systems. CONCUR 2000: 334-349
	1998
8		Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky: Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404
7		Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky: Symbolic Schedulability Analysis of Real-Time Systems. IEEE Real-Time Systems Symposium 1998: 409-
6		Anna Philippou, David Walker: On Transformations of Concurrent-Object Programs. Theor. Comput. Sci. 195(2): 259-289 (1998)
	1997
5		Anna Philippou, David Walker: A Rigorous Analysis of Concurrent Operations on B-Trees. CONCUR 1997: 361-375
4		Anna Philippou, David Walker: On Confluence in the pi-Calculus. ICALP 1997: 314-324
	1996
3		Anna Philippou, David Walker: On Transformations of Concurrent Object Programs. CONCUR 1996: 131-146
2		Anna Philippou, David Walker: Social Confluence in Client-Server Systems. CSL 1996: 385-398
	1995
1		Anna Philippou, David Walker: On Sharing and Determinacy in Concurrent Systems. CONCUR 1995: 456-470

Coauthor Index

1	Jin-Young Choi	[7] [12]
2	Kyriakos Christou	[14]
3	Rance Cleaveland	[8] [11]
4	Marina Gelastou	[22] [26]
5	Chryssis Georgiou	[21] [26] [27]
6	Stefan Kowalewski	[28]
7	Hee-Hwan Kwak	[7] [12]
8	Insup Lee	[7] [8] [9] [11] [12] [13] [14] [18] [24]
9	Tiziana Margaria (Tiziana Margaria-Steffen)	[15]
10	Marios Mavronicolas	[16] [17] [20] [22] [23] [25]
11	George Michael	[19]
12	Loizos Michael	[20]
13	Vicky G. Papadopoulou (Vicky Papadopoulou)	[16] [17] [20] [22] [23] [25]
14	Theophanis Pavlides	[21] [27]
15	Giuseppe Persiano (Pino Persiano)	[23]
16	Manfred Reitenspieß	[15]
17	Scott A. Smolka	[8] [11]
18	Oleg Sokolsky	[7] [8] [9] [11] [12] [13] [14] [18] [24]
19	Paul G. Spirakis	[16] [17] [20] [22] [23] [25]
20	Bernhard Steffen	[15]
21	David Walker	[1] [2] [3] [4] [5] [6] [10]

Colors in the list of coauthors