Costas Courcoubetis

	2009
74		Robin Mason, Costas Courcoubetis, Natalia Miliou: A Framework for Analyzing the Economics of a Market for Grid Services. GECON 2009: 28-45
73		Marcel Risch, Jörn Altmann, Li Guo, Alan Fleming, Costas Courcoubetis: The GridEcon Platform: A Business Scenario Testbed for Commercial Cloud Services. GECON 2009: 46-59
72		Costas Courcoubetis, Antonis Dimakis: Tariffs, Mechanisms and Equilibria at a Single Internet Link. NET-COOP 2009: 234-248
	2008
71		Jörn Altmann, Costas Courcoubetis, George D. Stamoulis, Manos Dramitinos, Thierry Rayna, Marcel Risch, Chris Bannink: GridEcon: A Market Place for Computing Resources. GECON 2008: 185-196
70		Costas Courcoubetis, Manos Dramitinos, Thierry Rayna, Sergios Soursos, George D. Stamoulis: Market Mechanisms for Trading Grid Resources. GECON 2008: 58-72
69		Sergios Soursos, Costas Courcoubetis, Richard Weber: Dynamic Bandwidth Pricing: Provision Cost, Market Size, Effective Bandwidths and Price Games. J. UCS 14(5): 766-785 (2008)
	2007
68		George A. Thanos, Costas Courcoubetis, George D. Stamoulis: Adopting the Grid for Business Purposes: The Main Objectives and the Associated Economic Issues. GECON 2007: 1-15
67		Jörn Altmann, Costas Courcoubetis, John Darlington, Jeremy Cohen: GridEcon - The Economic-Enhanced Next-Generation Internet. GECON 2007: 188-193
66		Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis: An auction mechanism for allocating the bandwidth of networks to their users. Computer Networks 51(18): 4979-4996 (2007)
	2006
65		Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis: A Random Walk Model for Studying Allocation Patterns in Auction-Based Resource Allocation. ICQT 2006: 25-36
64		Panayotis Antoniadis, Costas Courcoubetis: The Case of Multi-hop Peer-to-Peer Implementation of Mobile Social Applications. ICSNC 2006: 5
63		Vasilios A. Siris, Costas Courcoubetis: Resource Control for the EDCA Mechanism in Multi-Rate IEEE 802.11e Networks. WOWMOM 2006: 419-428
62		Vasilios A. Siris, Costas Courcoubetis: Resource control for the EDCA and HCCA mechanisms in IEEE 802.11e networks. WiOpt 2006: 22-27
61		Marina Bitsaki, George D. Stamoulis, Costas Courcoubetis: An efficient auction-based mechanism for hierarchically structured bandwidth markets. Computer Communications 29(7): 911-921 (2006)
60		Costas Courcoubetis, Richard R. Weber: Incentives for large peer-to-peer systems. IEEE Journal on Selected Areas in Communications 24(5): 1034-1050 (2006)
59		Panayotis Antoniadis, Costas Courcoubetis: Enforcing efficient resource provisioning in peer-to-peer file sharing systems. Operating Systems Review 40(3): 67-72 (2006)
	2005
58		Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis: An Innovative Decision Support System for Bidding in Simultaneous Ascending Auctions. CEC 2005: 414-417
57		Marina Bitsaki, George D. Stamoulis, Costas Courcoubetis: A new strategy for bidding in the network-wide progressive second price auction for bandwidth. CoNEXT 2005: 146-155
56		Costas Courcoubetis: Invited Talk II Summary: Incentive Schemes in Memory-Less P2P Systems. WAC 2005: 281-282
55		Panayotis Antoniadis, Costas Courcoubetis, Ben Strulo: Incentives for content availability in memory-less peer-to-peer file sharing systems. SIGecom Exchanges 5(4): 11-20 (2005)
	2004
54		Vasilios A. Siris, Costas Courcoubetis: Resource control for loss-sensitive traffic in CDMA networks. INFOCOM 2004
53		Marina Bitsaki, George D. Stamoulis, Costas Courcoubetis: An Efficient Auction Mechanism for Hierarchically Structured Bandwidth Markets. QofIS 2004: 308-317
52		Panayotis Antoniadis, Costas Courcoubetis, Robin Mason: Comparing economic incentives in peer-to-peer networks. Computer Networks 46(1): 133-146 (2004)
51		Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis: Auction-Based Resource Reservation in 2.5/3G Networks. MONET 9(6): 557-566 (2004)
	2003
50		Panayotis Antoniadis, Costas Courcoubetis, Elias C. Efstathiou, George C. Polyzos, Ben Strulo: Peer-to-Peer Wireless LAN Consortia: Economic Modeling and Architecture. Peer-to-Peer Computing 2003: 198-199
49		Vasilios A. Siris, Costas Courcoubetis, George Margetis: Service differentiation and performance of weighted window-based congestion control and packet marking algorithms in ECN networks. Computer Communications 26(4): 314-326 (2003)
48		Sergios Soursos, Costas Courcoubetis, George C. Polyzos: Pricing Differentiated Services in the GPRS Environment. Wireless Networks 9(4): 331-339 (2003)
	2002
47		Panayotis Antoniadis, Costas Courcoubetis: Market Models for P2P Content Distribution. AP2PC 2002: 138-143
46		Costas Courcoubetis, Antonis Dimakis, George D. Stamoulis: Traffic equivalence and subistution in a multiplexer with applications to dynamic available capacity estimation. IEEE/ACM Trans. Netw. 10(2): 217-231 (2002)
45		Costas Courcoubetis, Vasilios A. Siris: Procedures and tools for analysis of network traffic measurements. Perform. Eval. 48(1/4): 5-23 (2002)
	2001
44		Costas Courcoubetis, Antonis Dimakis, Martin I. Reiman: Providing Bandwidth Guarantees over a Best-effort Network: Call-admission and Pricing. INFOCOM 2001: 459-467
43		Sergios Soursos, Costas Courcoubetis, George C. Polyzos: Differentiated Services in the GPRS Wireless Access Environment. IWDC 2001: 108-119
42		Vasilios A. Siris, Costas Courcoubetis, George Margetis: Service Differentiation in ECN Networks Using Weighted Window-Based Congestion Control for Various Packet Marking Algorithms. QofIS 2001: 190-206
41		Sergios Soursos, Costas Courcoubetis, George C. Polyzos: Pricing differentiated services in the GPRS environment. Wireless Mobile Internet 2001: 62-68
	2000
40		Edward G. Coffman Jr., Costas Courcoubetis, M. R. Garey, David S. Johnson, Peter W. Shor, Richard R. Weber, Mihalis Yannakakis: Bin Packing with Discrete Item Sizes, Part I: Perfect Packing Theorems and the Average Case Behavior of Optimal Packings. SIAM J. Discrete Math. 13(3): 384-402 (2000)
39		Costas Courcoubetis, Frank P. Kelly, Vasilios A. Siris, Richard R. Weber: A study of simple usage-based charging schemes for broadband networks. Telecommunication Systems 15(3-4): 323-343 (2000)
	1999
38		Costas Courcoubetis, Antonis Dimakis, George D. Stamoulis: Traffic Equivalence and Substitution in a Multiplexer. INFOCOM 1999: 1239-1247
37		Costas Courcoubetis, Vasilios A. Siris, George D. Stamoulis: Application of the many sources asymptotic and effective bandwidths to traffic engineering. Telecommunication Systems 12(2-3): 167-191 (1999)
	1998
36		Costas Courcoubetis, Frank P. Kelly, Vasilios A. Siris, Richard R. Weber: A study of simple usage-based charging schemes for broadband networks. Broadband Communications 1998: 209-221
35		Costas Courcoubetis, Vasilios A. Siris, George D. Stamoulis: Application and Evaluation of Large Deviation Techniques for Traffic Engineering in Broadband Networks. SIGMETRICS 1998: 212-221
	1997
34		Costas Courcoubetis: Introduction to the Special Issue on Computer-Aided Verification (CAV93). Formal Methods in System Design 11(2): 111-112 (1997)
33		Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger: Computing Accumulated Delays in Real-time Systems. Formal Methods in System Design 11(2): 137-155 (1997)
	1996
32		Stavros Tripakis, Costas Courcoubetis: Extending Promela and Spin for Real Time. TACAS 1996: 329-348
	1995
31		Rajeev Alur, Costas Courcoubetis, Mihalis Yannakakis: Distinguishing tests for nondeterministic and probabilistic machines. STOC 1995: 363-372
30		Costas Courcoubetis, Mihalis Yannakakis: The Complexity of Probabilistic Verification. J. ACM 42(4): 857-907 (1995)
29		Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine: The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. 138(1): 3-34 (1995)
	1994
28		Costas Courcoubetis: From Timed Graphs to Hybrid Automata (Abstract). CONCUR 1994: 160
27		Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger: The Observational Power of Clocks. CONCUR 1994: 162-177
26		Gustavo de Veciana, Costas Courcoubetis, Jean C. Walrand: Decoupling Bandwidths for Networks: A Decomposition Approach to Resource Management. INFOCOM 1994: 466-473
	1993
25		Costas Courcoubetis: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings Springer 1993
24		Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger: Computing Accumulated Delays in Real-time Systems. CAV 1993: 181-193
23		Costas Courcoubetis, Werner Damm, Bernhard Josko: Verification of timing Properties of VHDL. CAV 1993: 225-236
22		Rajeev Alur, Costas Courcoubetis, David L. Dill: Model-Checking in Dense Real-time Inf. Comput. 104(1): 2-34 (1993)
	1992
21		Costas Courcoubetis, David L. Dill, Magda Chatzaki, Panagiotis Tzounakis: Verification with Real-Time COSPAN. CAV 1992: 274-287
20		Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi: Minimization of Timed Transition Systems. CONCUR 1992: 340-354
19		Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho: Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. Hybrid Systems 1992: 209-229
18		Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi: An implementation of three algorithms for timing verification based on automata emptiness. IEEE Real-Time Systems Symposium 1992: 157-166
17		Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis: Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design 1(2/3): 275-288 (1992)
16		Costas Courcoubetis, Mihalis Yannakakis: Minimum and Maximum Delay Problems in Real-Time Systems. Formal Methods in System Design 1(4): 385-415 (1992)
	1991
15		Costas Courcoubetis: Minimum and Maximum Delay Problems in Real-Time Systems. CAV 1991: 399-409
14		Costas Courcoubetis, Susanne Graf, Joseph Sifakis: An Algebra of Boolean Processes. CAV 1991: 454-465
13		Rajeev Alur, Costas Courcoubetis, David L. Dill: Model-Checking for Probabilistic Real-Time Systems (Extended Abstract). ICALP 1991: 115-126
12		Rajeev Alur, Costas Courcoubetis, David L. Dill: Verifying Automata Specifications of Probabilistic Real-time Systems. REX Workshop 1991: 28-44
11		Edward G. Coffman Jr., Costas Courcoubetis, M. R. Garey, David S. Johnson, Lyle A. McGeoch, Peter W. Shor, Richard R. Weber, Mihalis Yannakakis: Fundamental Discrepancies between Average-Case Analyses under Discrete and Continuous Distributions: A Bin Packing Case Study STOC 1991: 230-240
10		Manolis Katevenis, Stefanos Sidiropoulos, Costas Courcoubetis: Weighted Round-Robin Cell Multiplexing in a General-Purpose ATM Switch Chip. IEEE Journal on Selected Areas in Communications 9(8): 1265-1279 (1991)
	1990
9		Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis: Memory Efficient Algorithms for the Verification of Temporal Properties. CAV 1990: 233-242
8		Costas Courcoubetis, Mihalis Yannakakis: Markov Decision Processes and Regular Events (Extended Abstract). ICALP 1990: 336-349
7		Rajeev Alur, Costas Courcoubetis, David L. Dill: Model-Checking for Real-Time Systems LICS 1990: 414-425
6		Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper: Adding Liveness Properties to Coupled Finite-State Machines. ACM Trans. Program. Lang. Syst. 12(2): 303-339 (1990)
	1989
5		Costas Courcoubetis, Panagiotis Konstantopoulos, Jean C. Walrand, Richard R. Weber: Stabilizing an Uncertain Production System. Queueing Syst. 5(1-3): 37-54 (1989)
	1988
4		Costas Courcoubetis, Mihalis Yannakakis: Verifying Temporal Properties of Finite-State Probabilistic Programs FOCS 1988: 338-345
	1987
3		Sudhir Aggarwal, Daniel Barbará, Costas Courcoubetis: LAN Broadcast Protocols for Implementing the CCA Model. PSTV 1987: 297-306
2		Costas Courcoubetis, Martin I. Reiman, Burton Simon: Stability of a Queueing System with Concurrent Service and Locking. SIAM J. Comput. 16(1): 169-178 (1987)
	1986
1		Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper: Reasoning about Fair Concurrent Programs STOC 1986: 283-294

Coauthor Index

1	Sudhir Aggarwal	[3] [6]
2	Jörn Altmann	[67] [71] [73]
3	Rajeev Alur	[7] [12] [13] [18] [19] [20] [22] [24] [27] [29] [31] [33]
4	Panayotis Antoniadis	[47] [50] [52] [55] [59] [64]
5	Chris Bannink	[71]
6	Daniel Barbará	[3]
7	Marina Bitsaki	[53] [57] [61]
8	Magda Chatzaki	[21]
9	Edward G. Coffman Jr.	[11] [40]
10	Jeremy Cohen	[67]
11	Werner Damm	[23]
12	John Darlington	[67]
13	David L. Dill	[7] [12] [13] [18] [20] [21] [22]
14	Antonis Dimakis	[38] [44] [46] [72]
15	Manos Dramitinos	[51] [58] [65] [66] [70] [71]
16	Elias C. Efstathiou	[50]
17	Alan Fleming	[73]
18	M. R. Garey (Michael R. Garey)	[11] [40]
19	Susanne Graf	[14]
20	Li Guo	[73]
21	Nicolas Halbwachs	[18] [20] [29]
22	Thomas A. Henzinger	[19] [24] [27] [29] [33]
23	Pei-Hsin Ho	[19] [29]
24	David S. Johnson	[11] [40]
25	Bernhard Josko	[23]
26	Manolis Katevenis	[10]
27	Frank P. Kelly	[36] [39]
28	Panagiotis Konstantopoulos	[5]
29	George Margetis	[42] [49]
30	Robin Mason	[52] [74]
31	Lyle A. McGeoch	[11]
32	Natalia Miliou	[74]
33	Xavier Nicollin	[29]
34	Alfredo Olivero	[29]
35	George C. Polyzos	[41] [43] [48] [50]
36	Thierry Rayna	[70] [71]
37	Martin I. Reiman	[2] [44]
38	Marcel Risch	[71] [73]
39	Peter W. Shor	[11] [40]
40	Stefanos Sidiropoulos	[10]
41	Joseph Sifakis	[14] [29]
42	Burton Simon	[2]
43	Vasilios A. Siris	[35] [36] [37] [39] [42] [45] [49] [54] [62] [63]
44	Sergios Soursos	[41] [43] [48] [69] [70]
45	George D. Stamoulis	[35] [37] [38] [46] [51] [53] [57] [58] [61] [65] [66] [68] [70] [71]
46	Ben Strulo	[50] [55]
47	George A. Thanos	[68]
48	Stavros Tripakis	[32]
49	Panagiotis Tzounakis	[21]
50	Moshe Y. Vardi	[1] [9] [17]
51	Gustavo de Veciana	[26]
52	Jean C. Walrand	[5] [26]
53	Richard Weber	[69]
54	Richard R. Weber	[5] [11] [36] [39] [40] [60]
55	Pierre Wolper	[1] [6] [9] [17]
56	Howard Wong-Toi	[18] [20]
57	Mihalis Yannakakis	[4] [8] [9] [11] [16] [17] [30] [31] [40]
58	Sergio Yovine	[29]

Colors in the list of coauthors