Carolos Livadas

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
No aliases are listed.
Publication record
14 papers · 320 citations · H-index 8

PAPERS

Architecture for multi-stage network attack traceback
200526 citationsauthor #5
Caching-enhanced scalable reliable multicast
200429 citationsauthor #1
A Reliable Broadcast Scheme for Sensor Networks
20039 citationsauthor #1
Formally modeling, analyzing, and designing network protocols: a case study on retransmission-based reliable multicast protocols
20030 citationsauthor #1
A Formal Venture into Reliable Multicast Territory
20029 citationsauthor #1
The Case for Exploiting Packet Loss Locality in Multicast Loss Recovery
20022 citationsauthor #1
Designing a Caching-Based Reliable Multicast Protocol
20019 citationsauthor #1
High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS)
2000124 citationsauthor #1
High-level modeling and analysis of TCAS
199975 citationsauthor #1
Formal Verification of Safety-Critical Hybrid Systems
199831 citationsauthor #1
Formal Verification of Safety-Critical
19970 citationsauthor #1
Using linear matrix inequalities to design controllers for robust H2 performance
19963 citationsauthor #2
Optimal H₂/Popov controller design using linear matrix inequalities
19961 citationsauthor #1
On the utility of tensor inequalities for robustness analysis
19951 citationsauthor #3

TIMELINE

1995 1 citations

1996 4 citations

1997 0 citations

1998 31 citations

1999 75 citations

2000 124 citations

2001 9 citations

2002 11 citations

2003 9 citations

2004 29 citations

2005 26 citations

COAUTHOR MAP

CONCEPT FOOTPRINT