| The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ... Theoretical computer science 138 (1), 3-34, 1995 | 2857 | 1995 |
| Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems R Alur, C Courcoubetis, TA Henzinger, PH Ho International Hybrid Systems Workshop, 209-229, 1991 | 1891 | 1991 |
| Model-checking for real-time systems R Alur, C Courcoubetis, D Dill [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990 | 1438 | 1990 |
| Model-checking in dense real-time R Alur, C Courcoubetis, D Dill Information and computation 104 (1), 2-34, 1993 | 1391 | 1993 |
| Memory-efficient algorithms for the verification of temporal properties C Courcoubetis, M Vardi, P Wolper, M Yannakakis Formal methods in system design 1, 275-288, 1992 | 886 | 1992 |
| Weighted round-robin cell multiplexing in a general-purpose ATM switch chip M Katevenis, S Sidiropoulos, C Courcoubetis IEEE Journal on selected Areas in Communications 9 (8), 1265-1279, 1991 | 807 | 1991 |
| The complexity of probabilistic verification C Courcoubetis, M Yannakakis Journal of the ACM (JACM) 42 (4), 857-907, 1995 | 765 | 1995 |
| Pricing communication networks: economics, technology and modelling C Courcoubetis, R Weber John Wiley & Sons, 2003 | 764 | 2003 |
| Peer-to-peer product sharing: Implications for ownership, usage, and social welfare in the sharing economy S Benjaafar, G Kong, X Li, C Courcoubetis Management Science 65 (2), 477-493, 2019 | 526 | 2019 |
| Buffer overflow asymptotics for a buffer handling many traffic sources C Courcoubetis, R Weber Journal of Applied Probability 33 (3), 886-903, 1996 | 348 | 1996 |
| Minimization of timed transition systems R Alur, C Courcoubetis, N Halbwachs, D Dill, H Wong-Toi CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992 | 269 | 1992 |
| Model-checking for probabilistic real-time systems R Alur, C Courcoubetis, D Dill Automata, Languages and Programming: 18th International Colloquium Madrid …, 1991 | 231 | 1991 |
| Minimum and maximum delay problems in real-time systems C Courcoubetis, M Yannakakis Formal Methods in System Design 1, 385-415, 1992 | 217 | 1992 |
| Verifying temporal properties of finite-state probabilistic programs C Courcoubetis, M Yannakakis [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science …, 1988 | 215 | 1988 |
| Distinguishing tests for nondeterministic and probabilistic machines R Alur, C Courcoubetis, M Yannakakis Proceedings of the twenty-seventh annual ACM symposium on Theory of …, 1995 | 189 | 1995 |
| Admission control and routing in ATM networks using inferences from measured buffer occupancy C Courcoubetis, G Kesidis, A Ridder, J Walrand, R Weber IEEE Transactions on Communications 43 (2/3/4), 1778-1784, 1995 | 172 | 1995 |
| An implementation of three algorithms for timing verification based on automata emptiness. R Alur, C Courcoubetis, DL Dill, N Halbwachs, H Wong-Toi RTSS 92, 592-601, 1992 | 159 | 1992 |
| Comparing economic incentives in peer-to-peer networks P Antoniadis, C Courcoubetis, R Mason Computer networks 46 (1), 133-146, 2004 | 157 | 2004 |
| Decoupling bandwidths for networks: A decomposition approach to resource management G De Veciana, C Courcoubetis, J Walrand Proceedings of INFOCOM'94 Conference on Computer Communications, 466-473, 1994 | 145 | 1994 |
| Extending Promela and Spin for real time S Tripakis, C Courcoubetis International Workshop on Tools and Algorithms for the Construction and …, 1996 | 140 | 1996 |
