Anna Philippou

2008
24	EE	Marios Mavronicolas, Vicky Papadopoulou, Anna Philippou, Paul G. Spirakis: A Network Game with Attackers and a Defender. Algorithmica 51(3): 315-341 (2008)
2007
23	EE	Insup Lee, Anna Philippou, Oleg Sokolsky: Resources in process algebra. J. Log. Algebr. Program. 72(1): 98-122 (2007)
2006
22	EE	Marios Mavronicolas, Vicky G. Papadopoulou, Giuseppe Persiano, Anna Philippou, Paul G. Spirakis: The Price of Defense and Fractional Matchings. ICDCN 2006: 115-126
21	EE	Marina Gelastou, Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: The Power of the Defender. ICDCS Workshops 2006: 37
20	EE	Chryssis Georgiou, Theophanis Pavlides, Anna Philippou: Network uncertainty in selfish routing. IPDPS 2006
19	EE	Marios Mavronicolas, Loizos Michael, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: The Price of Defense. MFCS 2006: 717-728
18	EE	Anna Philippou, George Michael: Verification Techniques for Distributed Algorithms. OPODIS 2006: 172-186
17	EE	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
16	EE	Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: Network Game with Attacker and Protector Entities. ISAAC 2005: 288-297
15	EE	Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: A Graph-Theoretic Network Security Game. WINE 2005: 969-978
2003
14	EE	Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou: Modeling and Analysis of Power-Aware Systems. TACAS 2003: 409-425
2002
13	EE	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	EE	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	EE	Anna Philippou, Insup Lee, Oleg Sokolsky: Weak Bisimulation for Probabilistic Systems. CONCUR 2000: 334-349
1998
8	EE	Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky: Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404
7	EE	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	EE	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	[21]
5	Chryssis Georgiou	[20]
6	Hee-Hwan Kwak	[7] [12]
7	Insup Lee	[7] [8] [9] [11] [12] [13] [14] [17] [23]
8	Marios Mavronicolas	[15] [16] [19] [21] [22] [24]
9	George Michael	[18]
10	Loizos Michael	[19]
11	Vicky G. Papadopoulou (Vicky Papadopoulou)	[15] [16] [19] [21] [22] [24]
12	Theophanis Pavlides	[20]
13	Giuseppe Persiano (Pino Persiano)	[22]
14	Scott A. Smolka	[8] [11]
15	Oleg Sokolsky	[7] [8] [9] [11] [12] [13] [14] [17] [23]
16	Paul G. Spirakis	[15] [16] [19] [21] [22] [24]
17	David Walker	[1] [2] [3] [4] [5] [6] [10]

Colors in the list of coauthors