Carolos Livadas

	2004
4		Carolos Livadas, Idit Keidar: Caching-Enhanced Scalable Reliable Multicast. DSN 2004: 253-
	2002
3		Carolos Livadas, Nancy A. Lynch: A Formal Venture into Reliable Multicast Territory. FORTE 2002: 146-161
	1999
2		Carolos Livadas, John Lygeros, Nancy A. Lynch: High-Level Modeling and Analysis of TCAS. IEEE Real-Time Systems Symposium 1999: 115-125
	1998
1		Carolos Livadas, Nancy A. Lynch: Formal Verification of Safety-Critical Hybrid Systems. HSCC 1998: 253-272

Coauthor Index

1	Idit Keidar	[4]
2	John Lygeros	[2]
3	Nancy A. Lynch	[1] [2] [3]