| 2007 |
|---|
| 67 | EE | 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 |
| 66 | EE | Jörn Altmann,
Costas Courcoubetis,
John Darlington,
Jeremy Cohen:
GridEcon - The Economic-Enhanced Next-Generation Internet.
GECON 2007: 188-193 |
| 65 | EE | 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 |
|---|
| 64 | EE | Manos Dramitinos,
George D. Stamoulis,
Costas Courcoubetis:
A Random Walk Model for Studying Allocation Patterns in Auction-Based Resource Allocation.
ICQT 2006: 25-36 |
| 63 | EE | Panayotis Antoniadis,
Costas Courcoubetis:
The Case of Multi-hop Peer-to-Peer Implementation of Mobile Social Applications.
ICSNC 2006: 5 |
| 62 | EE | Vasilios A. Siris,
Costas Courcoubetis:
Resource Control for the EDCA Mechanism in Multi-Rate IEEE 802.11e Networks.
WOWMOM 2006: 419-428 |
| 61 | | Vasilios A. Siris,
Costas Courcoubetis:
Resource control for the EDCA and HCCA mechanisms in IEEE 802.11e networks.
WiOpt 2006: 22-27 |
| 60 | EE | Marina Bitsaki,
George D. Stamoulis,
Costas Courcoubetis:
An efficient auction-based mechanism for hierarchically structured bandwidth markets.
Computer Communications 29(7): 911-921 (2006) |
| 59 | EE | Costas Courcoubetis,
Richard R. Weber:
Incentives for large peer-to-peer systems.
IEEE Journal on Selected Areas in Communications 24(5): 1034-1050 (2006) |
| 58 | EE | Panayotis Antoniadis,
Costas Courcoubetis:
Enforcing efficient resource provisioning in peer-to-peer file sharing systems.
Operating Systems Review 40(3): 67-72 (2006) |
| 2005 |
|---|
| 57 | EE | Manos Dramitinos,
George D. Stamoulis,
Costas Courcoubetis:
An Innovative Decision Support System for Bidding in Simultaneous Ascending Auctions.
CEC 2005: 414-417 |
| 56 | EE | 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 |
| 55 | EE | Costas Courcoubetis:
Invited Talk II Summary: Incentive Schemes in Memory-Less P2P Systems.
WAC 2005: 281-282 |
| 54 | EE | 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 |
|---|
| 53 | EE | Vasilios A. Siris,
Costas Courcoubetis:
Resource control for loss-sensitive traffic in CDMA networks.
INFOCOM 2004 |
| 52 | EE | Marina Bitsaki,
George D. Stamoulis,
Costas Courcoubetis:
An Efficient Auction Mechanism for Hierarchically Structured Bandwidth Markets.
QofIS 2004: 308-317 |
| 51 | EE | Panayotis Antoniadis,
Costas Courcoubetis,
Robin Mason:
Comparing economic incentives in peer-to-peer networks.
Computer Networks 46(1): 133-146 (2004) |
| 50 | EE | Manos Dramitinos,
George D. Stamoulis,
Costas Courcoubetis:
Auction-Based Resource Reservation in 2.5/3G Networks.
MONET 9(6): 557-566 (2004) |
| 2003 |
|---|
| 49 | EE | 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 |
| 48 | EE | 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) |
| 47 | | Sergios Soursos,
Costas Courcoubetis,
George C. Polyzos:
Pricing Differentiated Services in the GPRS Environment.
Wireless Networks 9(4): 331-339 (2003) |
| 2002 |
|---|
| 46 | EE | Panayotis Antoniadis,
Costas Courcoubetis:
Market Models for P2P Content Distribution.
AP2PC 2002: 138-143 |
| 45 | EE | 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) |
| 44 | | Costas Courcoubetis,
Vasilios A. Siris:
Procedures and tools for analysis of network traffic measurements.
Perform. Eval. 48(1/4): 5-23 (2002) |
| 2001 |
|---|
| 43 | EE | Costas Courcoubetis,
Antonis Dimakis,
Martin I. Reiman:
Providing Bandwidth Guarantees over a Best-effort Network: Call-admission and Pricing.
INFOCOM 2001: 459-467 |
| 42 | EE | Sergios Soursos,
Costas Courcoubetis,
George C. Polyzos:
Differentiated Services in the GPRS Wireless Access Environment.
IWDC 2001: 108-119 |
| 41 | EE | 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 |
| 40 | EE | Sergios Soursos,
Costas Courcoubetis,
George C. Polyzos:
Pricing differentiated services in the GPRS environment.
Wireless Mobile Internet 2001: 62-68 |
| 2000 |
|---|
| 39 | EE | 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) |
| 38 | | 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 |
|---|
| 37 | | Costas Courcoubetis,
Antonis Dimakis,
George D. Stamoulis:
Traffic Equivalence and Substitution in a Multiplexer.
INFOCOM 1999: 1239-1247 |
| 36 | | 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 |
|---|
| 35 | | 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 |
| 34 | EE | 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 |
|---|
| 33 | | Costas Courcoubetis:
Introduction to the Special Issue on Computer-Aided Verification (CAV93).
Formal Methods in System Design 11(2): 111-112 (1997) |
| 32 | | 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 |
|---|
| 31 | | Stavros Tripakis,
Costas Courcoubetis:
Extending Promela and Spin for Real Time.
TACAS 1996: 329-348 |
| 1995 |
|---|
| 30 | EE | Rajeev Alur,
Costas Courcoubetis,
Mihalis Yannakakis:
Distinguishing tests for nondeterministic and probabilistic machines.
STOC 1995: 363-372 |
| 29 | EE | Costas Courcoubetis,
Mihalis Yannakakis:
The Complexity of Probabilistic Verification.
J. ACM 42(4): 857-907 (1995) |
| 28 | EE | 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 |
|---|
| 27 | | Costas Courcoubetis:
From Timed Graphs to Hybrid Automata (Abstract).
CONCUR 1994: 160 |
| 26 | | Rajeev Alur,
Costas Courcoubetis,
Thomas A. Henzinger:
The Observational Power of Clocks.
CONCUR 1994: 162-177 |
| 25 | | Gustavo de Veciana,
Costas Courcoubetis,
Jean C. Walrand:
Decoupling Bandwidths for Networks: A Decomposition Approach to Resource Management.
INFOCOM 1994: 466-473 |
| 1993 |
|---|
| 24 | | Costas Courcoubetis:
Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings
Springer 1993 |
| 23 | | Rajeev Alur,
Costas Courcoubetis,
Thomas A. Henzinger:
Computing Accumulated Delays in Real-time Systems.
CAV 1993: 181-193 |
| 22 | | Costas Courcoubetis,
Werner Damm,
Bernhard Josko:
Verification of timing Properties of VHDL.
CAV 1993: 225-236 |
| 21 | | Rajeev Alur,
Costas Courcoubetis,
David L. Dill:
Model-Checking in Dense Real-time
Inf. Comput. 104(1): 2-34 (1993) |
| 1992 |
|---|
| 20 | | Costas Courcoubetis,
David L. Dill,
Magda Chatzaki,
Panagiotis Tzounakis:
Verification with Real-Time COSPAN.
CAV 1992: 274-287 |
| 19 | | Rajeev Alur,
Costas Courcoubetis,
Nicolas Halbwachs,
David L. Dill,
Howard Wong-Toi:
Minimization of Timed Transition Systems.
CONCUR 1992: 340-354 |
| 18 | | 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 |
| 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 | EE | 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,
P. 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 |
