Carolos Livadas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1999–2004
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | DSN | Caching-Enhanced Scalable Reliable Multicast. | Carolos Livadas, Idit Keidar |
| 2002 | FORTE | A Formal Venture into Reliable Multicast Territory. | Carolos Livadas, Nancy A. Lynch |
| 1999 | RTSS | High-Level Modeling and Analysis of TCAS. | Carolos Livadas, John Lygeros, Nancy A. Lynch |