The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Costas Courcoubetis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  63. An implementation of three algorithms for timing verification based on automata emptiness. [Citation Graph (, )][DBLP]


  64. Economic issues in shared infrastructures. [Citation Graph (, )][DBLP]


  65. Market Mechanisms for Trading Grid Resources. [Citation Graph (, )][DBLP]


  66. GridEcon: A Market Place for Computing Resources. [Citation Graph (, )][DBLP]


  67. A Framework for Analyzing the Economics of a Market for Grid Services. [Citation Graph (, )][DBLP]


  68. The GridEcon Platform: A Business Scenario Testbed for Commercial Cloud Services. [Citation Graph (, )][DBLP]


  69. Tariffs, Mechanisms and Equilibria at a Single Internet Link. [Citation Graph (, )][DBLP]


  70. A new strategy for bidding in the network-wide progressive second price auction for bandwidth. [Citation Graph (, )][DBLP]


  71. Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control. [Citation Graph (, )][DBLP]


  72. An auction mechanism for allocating the bandwidth of networks to their users. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002