Edit Profile Courcoubetis, Costas A. Compute Distance To: Compute Author ID: courcoubetis.costas-a Published as: Courcoubetis, C.; Courcoubetis, C. A.; Courcoubetis, Costas; Courcoubetis, Costas A. Documents Indexed: 44 Publications since 1981, including 1 Book all top 5 Co-Authors 1 single-authored 9 Weber, Richard Robert 7 Yannakakis, Mihalis 5 Alur, Rajeev 4 Varaiya, Pravin Pratap 3 Dimakis, Antonis 3 Reiman, Martin I. 3 Siris, Vasilios A. 3 Walrand, Jean C. 2 Antoniadis, Panayotis 2 Coffman, Edward Grady jun. 2 Dill, David L. 2 Garey, Michael Randolph 2 Henzinger, Thomas A. 2 Johnson, David Stifler 2 Shor, Peter Williston 2 Vardi, Moshe Y. 2 Wolper, Pierre 1 Aggarwal, Sudhir 1 Ahipaşaoğlu, Selin Damla 1 Alonso, Rafael 1 Baccelli, François Louis 1 Birmpas, Georgios 1 Dramitinos, Manos 1 Giotis, Ioannis 1 Halbwachs, Nicolas 1 Ho, Pei-Hsin 1 Ho, Phuong 1 Kanakakis, Michail 1 Kanakakis, Michalis 1 Kelly, Frank P. 1 Kesidis, George 1 Konstantopoulos, Panagiotis 1 Margetis, George 1 Markakis, Evangelos 1 Mason, Robin A. 1 Nicollin, Xavier 1 Olivero, Alfredo 1 Polyzos, George C. 1 Ridder, Ad 1 Rothblum, Uriel George 1 Sifakis, Joseph 1 Simon, Burton 1 Soursos, Sergios 1 Stamoulis, George D. 1 Tripakis, Stavros 1 Wang, Tao 1 Xu, Yunjian 1 Yovine, Sergio all top 5 Serials 4 IEEE Transactions on Automatic Control 3 Journal of Applied Probability 3 Probability in the Engineering and Informational Sciences 2 Computer Networks 1 Journal of the Association for Computing Machinery 1 Mathematics of Operations Research 1 Operations Research 1 SIAM Journal on Computing 1 Theoretical Computer Science 1 Performance Evaluation 1 Information and Computation 1 SIAM Journal on Discrete Mathematics 1 Queueing Systems 1 SIAM Review 1 Stochastic Processes and their Applications 1 AT& T Bell Laboratories Technical Journal 1 Formal Methods in System Design 1 1 Lecture Notes in Computer Science all top 5 Fields 30 Computer science (68-XX) 15 Operations research, mathematical programming (90-XX) 9 Probability theory and stochastic processes (60-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 30 Publications have been cited 652 times in 521 Documents Cited by ▼ Year ▼ The algorithmic analysis of hybrid systems. Zbl 0874.68206Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 143 1995 Model-checking in dense real-time. Zbl 0783.68076Alur, Rajeev; Courcoubetis, Costas; Dill, David 102 1993 The algorithmic analysis of hybrid systems. Zbl 0823.68067Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. 86 1994 The complexity of probabilistic verification. Zbl 0885.68109Courcoubetis, Costas; Yannakakis, Mihalis 77 1995 Model-checking for probabilistic real-time systems. Zbl 0769.68088Alur, Rajeev; Courcoubetis, Costas; Dill, David 68 1991 Markov decision processes and regular events. Zbl 0954.90061Courcoubetis, Costas; Yannakakis, Mihalis 45 1998 Memory efficient algorithms for the verification of temporal properties. Zbl 0786.68060Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M. 25 1991 Minimum and maximum delay problems in real-time systems. Zbl 0777.68045Courcoubetis, Costas; Yannakakis, Mihalis 22 1992 Distinguishing tests for nondeterministic and probabilistic machines. Zbl 0978.68522Alur, Rajeev; Courcoubetis, Costas; Yannakakis, Mihalis 15 1995 Buffer overflow asymptotics for a buffer handling many traffic sources. Zbl 0866.60083Courcoubetis, Costas; Weber, Richard 9 1996 Memory efficient algorithms for the verification of temporal properties. Zbl 0765.68120Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M. 9 1991 Markov decision processes and regular events. Zbl 0765.68152Courcoubetis, Costas; Yannakakis, Mihalis 8 1990 Bin packing with discrete item sizes. I: Perfect packing theorems and the average case behavior of optimal packings. Zbl 0951.68192Coffman, E. G. jun.; Courcoubetis, C.; Garey, M. R.; Johnson, D. S.; Shor, P. W. 7 2000 Optimal control of a queueing system with simultaneous service requirements. Zbl 0633.90020Courcoubetis, Costas A.; Reiman, Martin I. 6 1987 Stability of a queueing system with concurrent service and locking. Zbl 0635.68029Courcoubetis, C. A.; Reiman, M. I.; Simon, B. 5 1987 Necessary and sufficient conditions for stability of a bin-packing system. Zbl 0611.60100Courcoubetis, C.; Weber, R. R. 5 1986 Effective bandwidths for stationary sources. Zbl 1335.90009Courcoubetis, Costas; Weber, Richard 4 1995 Construction of the stationary regime of queues with locking. Zbl 0657.60117Baccelli, F.; Courcoubetis, C. A.; Reiman, M. I. 3 1987 Stabilizing an uncertain production system. Zbl 0682.90047Courcoubetis, Costas; Konstantopoulos, Panagiotis; Walrand, Jean; Weber, Richard R. 2 1989 An auction mechanism for allocating the bandwidth of networks to their users. Zbl 1131.68018Dramitinos, Manos; Stamoulis, George D.; Courcoubetis, Costas 1 2007 Comparing economic incentives in peer-to-peer networks. Zbl 1116.90324Antoniadis, Panayotis; Courcoubetis, Costas; Mason, Robin 1 2004 Procedures and tools for analysis of network traffic measurements. Zbl 1044.68008Courcoubetis, Costas; Siris, Vasilios A. 1 2002 Perfect packing theorems and the average-case behavior of optimal and online bin packing. Zbl 0999.68260Coffman, E. G. jun.; Courcoubetis, C.; Garey, M. R.; Johnson, D. S.; Shor, P. W. 1 2002 Probabilistic model checking: Formalisms and algorithms for discrete and real-time systems. Zbl 0959.68079Courcoubetis, Costas; Tripakis, Stavros 1 2000 Stability of flexible manufacturing systems. Zbl 0815.90079Courcoubetis, Costas; Weber, Richard 1 1994 Computer aided verification. 5th international conference, CAV ’93, Elounda, Greece, June 28 - July 1, 1993. Proceedings. Zbl 0825.00130Courcoubetis, Costas (ed.) 1 1993 Adaptive control of admissions and routing in an ATM network. Zbl 0798.68013Courcoubetis, C.; Kesidis, G.; Ridder, A.; Walrand, J.; Weber, R. 1 1992 Stability of on-line bin packing with random arrivals and long-run-average constraints. Zbl 1134.90400Courcoubetis, Costas; Weber, Richard 1 1990 Distributed reachability analysis for protocol verification environments. Zbl 0644.68010Aggarwal, Sudhir; Alonso, Rafael; Courcoubetis, Costas 1 1988 Invariance in resource-sharing systems. Zbl 0571.60079Courcoubetis, C.; Varaiya, P.; Walrand, J. 1 1984 An auction mechanism for allocating the bandwidth of networks to their users. Zbl 1131.68018Dramitinos, Manos; Stamoulis, George D.; Courcoubetis, Costas 1 2007 Comparing economic incentives in peer-to-peer networks. Zbl 1116.90324Antoniadis, Panayotis; Courcoubetis, Costas; Mason, Robin 1 2004 Procedures and tools for analysis of network traffic measurements. Zbl 1044.68008Courcoubetis, Costas; Siris, Vasilios A. 1 2002 Perfect packing theorems and the average-case behavior of optimal and online bin packing. Zbl 0999.68260Coffman, E. G. jun.; Courcoubetis, C.; Garey, M. R.; Johnson, D. S.; Shor, P. W. 1 2002 Bin packing with discrete item sizes. I: Perfect packing theorems and the average case behavior of optimal packings. Zbl 0951.68192Coffman, E. G. jun.; Courcoubetis, C.; Garey, M. R.; Johnson, D. S.; Shor, P. W. 7 2000 Probabilistic model checking: Formalisms and algorithms for discrete and real-time systems. Zbl 0959.68079Courcoubetis, Costas; Tripakis, Stavros 1 2000 Markov decision processes and regular events. Zbl 0954.90061Courcoubetis, Costas; Yannakakis, Mihalis 45 1998 Buffer overflow asymptotics for a buffer handling many traffic sources. Zbl 0866.60083Courcoubetis, Costas; Weber, Richard 9 1996 The algorithmic analysis of hybrid systems. Zbl 0874.68206Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 143 1995 The complexity of probabilistic verification. Zbl 0885.68109Courcoubetis, Costas; Yannakakis, Mihalis 77 1995 Distinguishing tests for nondeterministic and probabilistic machines. Zbl 0978.68522Alur, Rajeev; Courcoubetis, Costas; Yannakakis, Mihalis 15 1995 Effective bandwidths for stationary sources. Zbl 1335.90009Courcoubetis, Costas; Weber, Richard 4 1995 The algorithmic analysis of hybrid systems. Zbl 0823.68067Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. 86 1994 Stability of flexible manufacturing systems. Zbl 0815.90079Courcoubetis, Costas; Weber, Richard 1 1994 Model-checking in dense real-time. Zbl 0783.68076Alur, Rajeev; Courcoubetis, Costas; Dill, David 102 1993 Computer aided verification. 5th international conference, CAV ’93, Elounda, Greece, June 28 - July 1, 1993. Proceedings. Zbl 0825.00130Courcoubetis, Costas (ed.) 1 1993 Minimum and maximum delay problems in real-time systems. Zbl 0777.68045Courcoubetis, Costas; Yannakakis, Mihalis 22 1992 Adaptive control of admissions and routing in an ATM network. Zbl 0798.68013Courcoubetis, C.; Kesidis, G.; Ridder, A.; Walrand, J.; Weber, R. 1 1992 Model-checking for probabilistic real-time systems. Zbl 0769.68088Alur, Rajeev; Courcoubetis, Costas; Dill, David 68 1991 Memory efficient algorithms for the verification of temporal properties. Zbl 0786.68060Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M. 25 1991 Memory efficient algorithms for the verification of temporal properties. Zbl 0765.68120Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M. 9 1991 Markov decision processes and regular events. Zbl 0765.68152Courcoubetis, Costas; Yannakakis, Mihalis 8 1990 Stability of on-line bin packing with random arrivals and long-run-average constraints. Zbl 1134.90400Courcoubetis, Costas; Weber, Richard 1 1990 Stabilizing an uncertain production system. Zbl 0682.90047Courcoubetis, Costas; Konstantopoulos, Panagiotis; Walrand, Jean; Weber, Richard R. 2 1989 Distributed reachability analysis for protocol verification environments. Zbl 0644.68010Aggarwal, Sudhir; Alonso, Rafael; Courcoubetis, Costas 1 1988 Optimal control of a queueing system with simultaneous service requirements. Zbl 0633.90020Courcoubetis, Costas A.; Reiman, Martin I. 6 1987 Stability of a queueing system with concurrent service and locking. Zbl 0635.68029Courcoubetis, C. A.; Reiman, M. I.; Simon, B. 5 1987 Construction of the stationary regime of queues with locking. Zbl 0657.60117Baccelli, F.; Courcoubetis, C. A.; Reiman, M. I. 3 1987 Necessary and sufficient conditions for stability of a bin-packing system. Zbl 0611.60100Courcoubetis, C.; Weber, R. R. 5 1986 Invariance in resource-sharing systems. Zbl 0571.60079Courcoubetis, C.; Varaiya, P.; Walrand, J. 1 1984 all cited Publications top 5 cited Publications all top 5 Cited by 904 Authors 23 Chatterjee, Krishnendu 16 Larsen, Kim Guldstrand 13 Henzinger, Thomas A. 13 Kwiatkowska, Marta Z. 11 Baier, Christel 11 Vardi, Moshe Y. 9 Raskin, Jean-François 8 Bouyer, Patricia 8 Norman, Gethin 7 Alur, Rajeev 7 Sproston, Jeremy 6 Abdulla, Parosh Aziz 6 Asarin, Eugene 6 Barnat, Jiří 6 Brihaye, Thomas 6 Doyen, Laurent 6 Jonsson, Bengt 6 Legay, Axel 6 Mardare, Radu 6 Markey, Nicolas 6 Pappas, George J. 6 Viswanathan, Mahesh 6 Yovine, Sergio 5 Bertrand, Nathalie 5 Chmelík, Martin 5 Courcoubetis, Costas A. 5 Dang, Zhe 5 de Alfaro, Luca 5 Forejt, Vojtěch 5 Hahn, Ernst Moritz 5 Ibarra, Oscar H. 5 Katoen, Joost-Pieter 5 Kupferman, Orna 5 La Torre, Salvatore 5 Laroussinie, François 5 Maler, Oded 5 Mandjes, Michel Robertus Hendrikus 5 Parker, David F. 5 Sifakis, Joseph 5 Tripakis, Stavros 5 Wang, Farn 5 Worrell, James B. 5 Zhan, Naijun 4 Beneš, Nikola 4 Bérard, Béatrice 4 Bournez, Olivier 4 Brázdil, Tomáš 4 Brim, Luboš 4 Bruyère, Véronique 4 Černá, Ivana 4 Grosu, Radu 4 Hermanns, Holger 4 Kavraki, Lydia E. 4 Křetínský, Jan 4 Lee, Edward Ashford 4 Li, Xuandong 4 Lime, Didier 4 Ouaknine, Joel O. 4 Platzer, André 4 Rabinovich, Alexander 4 Ramdani, Nacim 4 Roux, Olivier H. 4 Schnoebelen, Philippe 4 Tsitsiklis, John N. 4 Vázquez, Carlos-Renato 4 Wijs, Anton J. 4 Yannakakis, Mihalis 4 Zhang, Lijun 3 Abate, Alessandro 3 Alla, Hassane 3 Beauquier, Danièle 3 Bezděk, Peter 3 Blondel, Vincent D. 3 Bouajjani, Ahmed 3 Braberman, Víctor 3 Clarke, Edmund Melson jun. 3 Cleaveland, Rance 3 Dang, Thao 3 Di Benedetto, Maria Domenica 3 Edelkamp, Stefan 3 Etessami, Kousha 3 Faella, Marco 3 Fahrenberg, Uli 3 Gómez-Gutiérrez, David 3 Gromov, Maksim Leonidovich 3 Größer, Marcus 3 Kopke, Peter W. 3 Koutsoukos, Xenofon D. 3 Kucera, Antonin 3 Kulkarni, Vidyadhar G. 3 Majumdar, Rupak 3 Mereacre, Alexandru 3 Meseguer Guaita, José 3 Moura, Arnaldo Vieira 3 Olivero, Alfredo 3 Olveczky, Peter Csaba 3 Piazza, Carla 3 Pnueli, Amir 3 Policriti, Alberto 3 Prabhakar, Pavithra ...and 804 more Authors all top 5 Cited in 88 Serials 76 Theoretical Computer Science 35 Formal Methods in System Design 30 Information and Computation 15 Journal of Computer and System Sciences 14 Nonlinear Analysis. Hybrid Systems 13 Formal Aspects of Computing 11 The Journal of Logic and Algebraic Programming 10 Artificial Intelligence 10 Information Processing Letters 10 Discrete Event Dynamic Systems 9 Acta Informatica 8 Queueing Systems 5 Automatica 5 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 5 Real-Time Systems 5 International Journal of Foundations of Computer Science 5 European Journal of Control 4 Science of Computer Programming 4 Journal of Computer Science and Technology 4 MSCS. Mathematical Structures in Computer Science 4 International Journal of Robust and Nonlinear Control 4 Journal of Logical and Algebraic Methods in Programming 3 International Journal of Control 3 International Journal of General Systems 3 Applied Mathematics and Computation 3 Programming and Computer Software 3 Journal of Symbolic Computation 3 The Annals of Applied Probability 3 Journal of the ACM 3 Journal of Applied Mathematics 3 ACM Transactions on Computational Logic 3 Computer Science Review 2 International Journal of Systems Science 2 Operations Research 2 Operations Research Letters 2 Annals of Pure and Applied Logic 2 Algorithmica 2 Journal of Automated Reasoning 2 Stochastic Processes and their Applications 2 Cybernetics and Systems Analysis 2 RAIRO. Theoretical Informatics and Applications 2 Mathematics in Computer Science 2 Logical Methods in Computer Science 2 Frontiers of Computer Science in China 1 ACM Computing Surveys 1 Advances in Applied Probability 1 Computers & Mathematics with Applications 1 Journal of the Franklin Institute 1 Journal of Statistical Physics 1 Information Sciences 1 Journal of Applied Probability 1 Journal of Soviet Mathematics 1 The Journal of Symbolic Logic 1 Mathematics of Operations Research 1 Systems & Control Letters 1 Physica D 1 Journal of Complexity 1 Statistical Science 1 Asia-Pacific Journal of Operational Research 1 Mathematical and Computer Modelling 1 Machine Learning 1 International Journal of Algebra and Computation 1 European Journal of Operational Research 1 Distributed Computing 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Combinatorics, Probability and Computing 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Heuristics 1 Mathematical Problems in Engineering 1 Theory of Computing Systems 1 Abstract and Applied Analysis 1 Soft Computing 1 Journal of Combinatorial Optimization 1 Journal of Scheduling 1 Higher-Order and Symbolic Computation 1 Probability in the Engineering and Informational Sciences 1 Stochastic Models 1 Sādhanā 1 Discrete Optimization 1 Acta Universitatis Sapientiae. Informatica 1 The Review of Symbolic Logic 1 Science China. Information Sciences 1 RAIRO. Theoretical Informatics and Applications 1 Numerical Algebra, Control and Optimization 1 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 27 Fields 422 Computer science (68-XX) 102 Systems theory; control (93-XX) 69 Mathematical logic and foundations (03-XX) 63 Operations research, mathematical programming (90-XX) 34 Probability theory and stochastic processes (60-XX) 34 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 14 Ordinary differential equations (34-XX) 11 Numerical analysis (65-XX) 9 Biology and other natural sciences (92-XX) 6 Statistics (62-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 3 General and overarching topics; collections (00-XX) 3 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Category theory; homological algebra (18-XX) 3 General topology (54-XX) 3 Mechanics of particles and systems (70-XX) 2 Operator theory (47-XX) 2 Convex and discrete geometry (52-XX) 1 Associative rings and algebras (16-XX) 1 Approximations and expansions (41-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year