×

zbMATH — the first resource for mathematics

Courcoubetis, Costas A.

Compute Distance To:
Author ID: courcoubetis.costas-a Recent zbMATH articles by "Courcoubetis, Costas A."
Published as: Courcoubetis, C.; Courcoubetis, C. A.; Courcoubetis, Costas; Courcoubetis, Costas A.
Documents Indexed: 44 Publications since 1981, including 1 Book

Publications by Year

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.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
143
1995
Model-checking in dense real-time. Zbl 0783.68076
Alur, Rajeev; Courcoubetis, Costas; Dill, David
102
1993
The algorithmic analysis of hybrid systems. Zbl 0823.68067
Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S.
86
1994
The complexity of probabilistic verification. Zbl 0885.68109
Courcoubetis, Costas; Yannakakis, Mihalis
77
1995
Model-checking for probabilistic real-time systems. Zbl 0769.68088
Alur, Rajeev; Courcoubetis, Costas; Dill, David
68
1991
Markov decision processes and regular events. Zbl 0954.90061
Courcoubetis, Costas; Yannakakis, Mihalis
45
1998
Memory efficient algorithms for the verification of temporal properties. Zbl 0786.68060
Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M.
25
1991
Minimum and maximum delay problems in real-time systems. Zbl 0777.68045
Courcoubetis, Costas; Yannakakis, Mihalis
22
1992
Distinguishing tests for nondeterministic and probabilistic machines. Zbl 0978.68522
Alur, Rajeev; Courcoubetis, Costas; Yannakakis, Mihalis
15
1995
Buffer overflow asymptotics for a buffer handling many traffic sources. Zbl 0866.60083
Courcoubetis, Costas; Weber, Richard
9
1996
Memory efficient algorithms for the verification of temporal properties. Zbl 0765.68120
Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M.
9
1991
Markov decision processes and regular events. Zbl 0765.68152
Courcoubetis, 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.68192
Coffman, 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.90020
Courcoubetis, Costas A.; Reiman, Martin I.
6
1987
Stability of a queueing system with concurrent service and locking. Zbl 0635.68029
Courcoubetis, C. A.; Reiman, M. I.; Simon, B.
5
1987
Necessary and sufficient conditions for stability of a bin-packing system. Zbl 0611.60100
Courcoubetis, C.; Weber, R. R.
5
1986
Effective bandwidths for stationary sources. Zbl 1335.90009
Courcoubetis, Costas; Weber, Richard
4
1995
Construction of the stationary regime of queues with locking. Zbl 0657.60117
Baccelli, F.; Courcoubetis, C. A.; Reiman, M. I.
3
1987
Stabilizing an uncertain production system. Zbl 0682.90047
Courcoubetis, Costas; Konstantopoulos, Panagiotis; Walrand, Jean; Weber, Richard R.
2
1989
An auction mechanism for allocating the bandwidth of networks to their users. Zbl 1131.68018
Dramitinos, Manos; Stamoulis, George D.; Courcoubetis, Costas
1
2007
Comparing economic incentives in peer-to-peer networks. Zbl 1116.90324
Antoniadis, Panayotis; Courcoubetis, Costas; Mason, Robin
1
2004
Procedures and tools for analysis of network traffic measurements. Zbl 1044.68008
Courcoubetis, Costas; Siris, Vasilios A.
1
2002
Perfect packing theorems and the average-case behavior of optimal and online bin packing. Zbl 0999.68260
Coffman, 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.68079
Courcoubetis, Costas; Tripakis, Stavros
1
2000
Stability of flexible manufacturing systems. Zbl 0815.90079
Courcoubetis, Costas; Weber, Richard
1
1994
Computer aided verification. 5th international conference, CAV ’93, Elounda, Greece, June 28 - July 1, 1993. Proceedings. Zbl 0825.00130
Courcoubetis, Costas (ed.)
1
1993
Adaptive control of admissions and routing in an ATM network. Zbl 0798.68013
Courcoubetis, 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.90400
Courcoubetis, Costas; Weber, Richard
1
1990
Distributed reachability analysis for protocol verification environments. Zbl 0644.68010
Aggarwal, Sudhir; Alonso, Rafael; Courcoubetis, Costas
1
1988
Invariance in resource-sharing systems. Zbl 0571.60079
Courcoubetis, C.; Varaiya, P.; Walrand, J.
1
1984
An auction mechanism for allocating the bandwidth of networks to their users. Zbl 1131.68018
Dramitinos, Manos; Stamoulis, George D.; Courcoubetis, Costas
1
2007
Comparing economic incentives in peer-to-peer networks. Zbl 1116.90324
Antoniadis, Panayotis; Courcoubetis, Costas; Mason, Robin
1
2004
Procedures and tools for analysis of network traffic measurements. Zbl 1044.68008
Courcoubetis, Costas; Siris, Vasilios A.
1
2002
Perfect packing theorems and the average-case behavior of optimal and online bin packing. Zbl 0999.68260
Coffman, 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.68192
Coffman, 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.68079
Courcoubetis, Costas; Tripakis, Stavros
1
2000
Markov decision processes and regular events. Zbl 0954.90061
Courcoubetis, Costas; Yannakakis, Mihalis
45
1998
Buffer overflow asymptotics for a buffer handling many traffic sources. Zbl 0866.60083
Courcoubetis, Costas; Weber, Richard
9
1996
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
143
1995
The complexity of probabilistic verification. Zbl 0885.68109
Courcoubetis, Costas; Yannakakis, Mihalis
77
1995
Distinguishing tests for nondeterministic and probabilistic machines. Zbl 0978.68522
Alur, Rajeev; Courcoubetis, Costas; Yannakakis, Mihalis
15
1995
Effective bandwidths for stationary sources. Zbl 1335.90009
Courcoubetis, Costas; Weber, Richard
4
1995
The algorithmic analysis of hybrid systems. Zbl 0823.68067
Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S.
86
1994
Stability of flexible manufacturing systems. Zbl 0815.90079
Courcoubetis, Costas; Weber, Richard
1
1994
Model-checking in dense real-time. Zbl 0783.68076
Alur, 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.00130
Courcoubetis, Costas (ed.)
1
1993
Minimum and maximum delay problems in real-time systems. Zbl 0777.68045
Courcoubetis, Costas; Yannakakis, Mihalis
22
1992
Adaptive control of admissions and routing in an ATM network. Zbl 0798.68013
Courcoubetis, C.; Kesidis, G.; Ridder, A.; Walrand, J.; Weber, R.
1
1992
Model-checking for probabilistic real-time systems. Zbl 0769.68088
Alur, Rajeev; Courcoubetis, Costas; Dill, David
68
1991
Memory efficient algorithms for the verification of temporal properties. Zbl 0786.68060
Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M.
25
1991
Memory efficient algorithms for the verification of temporal properties. Zbl 0765.68120
Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M.
9
1991
Markov decision processes and regular events. Zbl 0765.68152
Courcoubetis, Costas; Yannakakis, Mihalis
8
1990
Stability of on-line bin packing with random arrivals and long-run-average constraints. Zbl 1134.90400
Courcoubetis, Costas; Weber, Richard
1
1990
Stabilizing an uncertain production system. Zbl 0682.90047
Courcoubetis, Costas; Konstantopoulos, Panagiotis; Walrand, Jean; Weber, Richard R.
2
1989
Distributed reachability analysis for protocol verification environments. Zbl 0644.68010
Aggarwal, Sudhir; Alonso, Rafael; Courcoubetis, Costas
1
1988
Optimal control of a queueing system with simultaneous service requirements. Zbl 0633.90020
Courcoubetis, Costas A.; Reiman, Martin I.
6
1987
Stability of a queueing system with concurrent service and locking. Zbl 0635.68029
Courcoubetis, C. A.; Reiman, M. I.; Simon, B.
5
1987
Construction of the stationary regime of queues with locking. Zbl 0657.60117
Baccelli, F.; Courcoubetis, C. A.; Reiman, M. I.
3
1987
Necessary and sufficient conditions for stability of a bin-packing system. Zbl 0611.60100
Courcoubetis, C.; Weber, R. R.
5
1986
Invariance in resource-sharing systems. Zbl 0571.60079
Courcoubetis, C.; Varaiya, P.; Walrand, J.
1
1984
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

Citations by Year