Costas Courcoubetis

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

Computing, Computer Science, Mathematics +17

Model-checking for real-time systems

Rajeev Alur, Costas Courcoubetis, David L. Dill · 2002 · 894 citations

Computing, Computer Engineering, Computer Science +15

Model-Checking in Dense Real-Time

Rajeev Alur, Costas Courcoubetis, David L. Dill · Information and Computation · 1993 · 829 citations

Computing, Computer Engineering, Computer Science +10

The complexity of probabilistic verification

Costas Courcoubetis, Mihalis Yannakakis · Journal of the ACM · 1995 · 560 citations · Full text

Computing, Computer Science, Algorithms +15

Weighted round-robin cell multiplexing in a general-purpose ATM switch chip

Manolis Katevenis, S. Sidiropoulos, Costas Courcoubetis · IEEE Journal on Selected Areas in Communications · 1991 · 504 citations

Computing, Computer Engineering, Computer Science +17