Costas Courcoubetis

162 papers A* 22A 9B 10C 3Misc 1Journal 71Unranked 43

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	On the Effect of Time Preferences on the Price of Anarchy. SAGT Yunpeng Li, Antonis Dimakis, Costas Courcoubetis
2025	J	`jnl`	On the Effect of Time Preferences on the Price of Anarchy. CoRR Yunpeng Li, Antonis Dimakis, Costas Courcoubetis
2025	J	`jnl`	Pricing Demand-Side Flexibility via Mean-Field Reverse Stackelberg Game. IEEE Trans. Consumer Electron. Qisheng Huang, Yunpeng Li, Bo Liu, Gaoqi Liang, Junhua Zhao, Costas Courcoubetis
2025	J	`jnl`	Repositioning, Ride-matching, and Abandonment in On-demand Ride-hailing Platforms: A Mean Field Game Approach. CoRR Yunpeng Li, Costas Courcoubetis, Antonis Dimakis
2025	A	`conf`	Selfish Behavior and Resource Competition in Multi-Agent Systems. AAMAS Costas Courcoubetis, Antonis Dimakis
2025	J	`jnl`	Strategic Storage Investment and Operation Under Uncertainty: Behavioral Economics Analysis. IEEE Trans. Netw. Sci. Eng. Qisheng Huang, Jin Xu, Peng Sun, Bo Liu, Ting Wu, Costas Courcoubetis
2024	J	`jnl`	Average-Case Analysis of Greedy Matching for Large-Scale D2D Resource Sharing. IEEE Trans. Mob. Comput. Shuqin Gao, Costas Courcoubetis, Lingjie Duan
2024	B	`conf`	Dynamic Matching for Ride-sharing with Deadlines. WiOpt Shuqin Gao, Costas Courcoubetis, Lingjie Duan
2024	J	`jnl`	Strategic Production and Trading in Renewable Energy Certificate Markets: Existence, Uniqueness, and Efficiency of Market Equilibria. IEEE Trans. Netw. Sci. Eng. Qisheng Huang, Yunjian Xu, Costas Courcoubetis
2024	J	`jnl`	The Impact of Autonomous Vehicles on Ride-Hailing Platforms with Strategic Human Drivers. CoRR Shuqin Gao, Xinyuan Wu, Antonis Dimakis, Costas Courcoubetis
2023	J	`jnl`	Average-Case Analysis of Greedy Matching for Large-Scale D2D Resource Sharing. CoRR Shuqin Gao, Costas Courcoubetis, Lingjie Duan
2023	J	`jnl`	Catastrophe by Design in Population Games: A Mechanism to Destabilize Inefficient Locked-in Technologies. ACM Trans. Economics and Comput. Stefanos Leonardos, Joseph Sakos, Costas Courcoubetis, Georgios Piliouras
2023	J	`jnl`	Distributed Double Auction Mechanisms for Large-Scale Device-to-Device Resource Trading. IEEE/ACM Trans. Netw. Shuqin Gao, Costas Courcoubetis, Lingjie Duan
2023	—	`conf`	Optimal Energy Storage Operation under Demand Uncertainty: A Prospect Theory Analysis. SmartGridComm Qisheng Huang, Jin Xu, Peng Sun, Bo Liu, Costas Courcoubetis
2023	A	`conf`	Stationary Equilibrium of Mean Field Games with Congestion-dependent Sojourn Times. AAMAS Costas Courcoubetis, Antonis Dimakis
2022	J	`jnl`	Drivers, Riders, and Service Providers: The Impact of the Sharing Economy on Mobility. Manag. Sci. Saif Benjaafar, Harald Bernhard, Costas Courcoubetis, Michail Kanakakis, Spyridon Papafragkos
2021	B	`conf`	Average-Case Analysis of Greedy Matching for D2D Resource Sharing. WiOpt Shuqin Gao, Costas Courcoubetis, Lingjie Duan
2021	J	`jnl`	Average-Case Analysis of Greedy Matching for D2D Resource Sharing. CoRR Shuqin Gao, Costas Courcoubetis, Lingjie Duan
2021	J	`jnl`	Economic Controls for Smart Water Distribution Networks Undergoing Supply Failures. IEEE Trans. Netw. Sci. Eng. Pan Lai, Costas Courcoubetis, Lingjie Duan, Stefano Galelli
2021	J	`jnl`	Optimal Pricing for Peer-to-Peer Sharing With Network Externalities. IEEE/ACM Trans. Netw. Yunpeng Li, Costas Courcoubetis, Lingjie Duan, Richard R. Weber
2021	J	`jnl`	Strategic Storage Operation in Wholesale Electricity Markets: A Networked Cournot Game Analysis. IEEE Trans. Netw. Sci. Eng. Qisheng Huang, Yunjian Xu, Costas Courcoubetis
2020	J	`jnl`	Catastrophe by Design in Population Games: Destabilizing Wasteful Locked-in Technologies. CoRR Stefanos Leonardos, Iosif Sakos, Costas Courcoubetis, Georgios Piliouras
2020	—	`conf`	Catastrophe by Design in Population Games: Destabilizing WastefulLocked-In Technologies. WINE Stefanos Leonardos, Iosif Sakos, Costas Courcoubetis, Georgios Piliouras
2020	J	`jnl`	Distributed Double Auctions for Large-Scale Device-to-Device Resource Trading. CoRR Shuqin Gao, Costas Courcoubetis, Lingjie Duan
2020	B	`conf`	Distributed double auctions for large-scale device-to-device resource trading. MobiHoc Shuqin Gao, Costas Courcoubetis, Lingjie Duan
2020	J	`jnl`	Guest Editorial: Introduction to the Special Section on Economics of Modern Networks. IEEE Trans. Netw. Sci. Eng. Jianwei Huang, Costas Courcoubetis, Mihaela van der Schaar, Biying Shou, Jean C. Walrand
2020	J	`jnl`	The Price of Queueing. CoRR Costas Courcoubetis, Antonis Dimakis
2019	J	`jnl`	Mobile Data Offloading with Uniform Pricing and Overlaps. IEEE Trans. Mob. Comput. Mingmei Li, Tony Q. S. Quek, Costas Courcoubetis
2019	J	`jnl`	Peer-to-Peer Product Sharing: Implications for Ownership, Usage, and Social Welfare in the Sharing Economy. Manag. Sci. Saif Benjaafar, Guangwen Kong, Xiang Li, Costas Courcoubetis
2019	A*	`conf`	Recommending Paths: Follow or Not Follow? INFOCOM Yunpeng Li, Costas Courcoubetis, Lingjie Duan
2019	—	`conf`	Stackelberg Competition Between Merchant and Regulated Storage Investment under Locational Marginal Pricing. ICCA Qisheng Huang, Yunjian Xu, Costas Courcoubetis
2019	—	`conf`	Strategic Storage Operation in Wholesale Electricity Markets: A Game Theoretic Analysis. CDC Qisheng Huang, Yunjian Xu, Costas Courcoubetis
2019	A*	`conf`	Throughput and Pricing of Ridesharing Systems. INFOCOM Costas Courcoubetis, Antonis Dimakis
2018	J	`jnl`	A Fair and Budget-Balanced Incentive Mechanism for Energy Management in Buildings. IEEE Trans. Smart Grid Tao Wang, Yunjian Xu, Chathura Withanage, Lan Lan, Selin Damla Ahipasaoglu, Costas Courcoubetis
2018	C	`conf`	Market Mechanisms for Energy Storage Planning and Operation in a Power Network. ACC Qisheng Huang, Yunjian Xu, Costas Courcoubetis
2018	—	`conf`	Optimal pricing for a peer-to-peer sharing platform under network externalities. NetEcon@SIGMETRICS Yunpeng Li, Costas Courcoubetis, Lingjie Duan, Richard R. Weber
2018	J	`jnl`	Optimal pricing for a peer-to-peer sharing platform under network externalities. CoRR Yunpeng Li, Costas Courcoubetis, Lingjie Duan, Richard R. Weber
2018	J	`jnl`	Recommending Paths: Follow or Not Follow? CoRR Yunpeng Li, Costas Courcoubetis, Lingjie Duan
2017	J	`jnl`	Congestion Control for Background Data Transfers With Minimal Delay Impact. IEEE/ACM Trans. Netw. Costas Courcoubetis, Antonis Dimakis, Michalis Kanakakis
2017	—	`conf`	Drivers, riders and service providers: the impact of the sharing economy on mobility. NetEcon@EC Saif Benjaafar, Harald Bernhard, Costas Courcoubetis
2017	J	`jnl`	Dynamic Routing for Social Information Sharing. IEEE J. Sel. Areas Commun. Yunpeng Li, Costas Courcoubetis, Lingjie Duan
2017	—	`conf`	Economics in mobile data offloading with uniform pricing. ICC Mingmei Li, Tony Q. S. Quek, Costas Courcoubetis
2017	J	`jnl`	Ex-Post Max-Min Fairness of Generalized AGV Mechanisms. IEEE Trans. Autom. Control. Tao Wang, Yunjian Xu, Selin Damla Ahipasaoglu, Costas Courcoubetis
2017	—	`conf`	Market mechanisms for cooperative operation of price-maker energy storage in a power network. CDC Qisheng Huang, Yunjian Xu, Tao Wang, Costas Courcoubetis
2016	J	`jnl`	Dynamic routing for social information sharing. CoRR Yunpeng Li, Costas Courcoubetis, Lingjie Duan
2016	J	`jnl`	Negotiating Premium Peering Prices: A Quantitative Model with Applications. ACM Trans. Internet Techn. Costas Courcoubetis, László Gyarmati, Nikolaos Laoutaris, Pablo Rodriguez, Kostas Sdrolias
2016	—	`conf`	Pricing the fast-lanes: A qualitative study on the implications of paid peering agreements. ICC Costas Courcoubetis, Kostas Sdrolias, Richard R. Weber
2016	J	`jnl`	Special article [paid peering: pricing and adoption incentives]. J. Commun. Networks Costas Courcoubetis, Kostas Sdrolias, Richard R. Weber
2015	B	`conf`	Cost-Sharing Models in Participatory Sensing. SAGT Georgios Birmpas, Costas Courcoubetis, Ioannis Giotis, Evangelos Markakis
2015	—	`conf`	Max-min fairness of generalized AGV mechanisms. CDC Tao Wang, Yunjian Xu, Selin Damla Ahipasaoglu, Costas Courcoubetis
2014	A	`conf`	Design and experimental evaluation of market mechanisms for participatory sensing environments. AAMAS George A. Thanos, Costas Courcoubetis, Evangelos Markakis, George D. Stamoulis
2014	Misc	`conf`	Designing incentive compatible protocols for background data transfers. ICCS Costas Courcoubetis, Antonis Dimakis, Michail Kanakakis
2014	A	`conf`	Economic incentives for adopting congestion accountability protocols. ITC Alexandros Kostopoulos, Antonis Dimakis, Costas Courcoubetis
2014	—	`conf`	Energy Efficiency Embedded Service Lifecycle: Towards an Energy Efficient Cloud Computing Architecture. ICT4S (Workshops) Karim Djemame, Django Armstrong, Richard E. Kavanagh, Ana Juan Ferrer, David García-Pérez, David Antona, Jean-Christophe Deprez, Christophe Ponsard, David Ortiz, Mario Macías, Jordi Guitart, Francesc Lordan, Jorge Ejarque, Raül Sirvent, Rosa M. Badia, Michael Kammer, Odej Kao, Eleni Agiatzidou, Antonis Dimakis, Costas Courcoubetis, Lorenzo Blasi
2014	—	`conf`	Fair congestion control for long-lived background flows. NetGCooP Costas Courcoubetis, Antonis Dimakis, Michail Kanakakis
2014	J	`jnl`	From advertising profits to bandwidth prices-A quantitative methodology for negotiating premium peering. CoRR László Gyarmati, Nikolaos Laoutaris, Kostas Sdrolias, Pablo Rodriguez, Costas Courcoubetis
2014	J	`jnl`	From advertising profits to bandwidth prices: A quantitative methodology for negotiating premium peering. SIGMETRICS Perform. Evaluation Rev. László Gyarmati, Nikolaos Laoutaris, Kostas Sdrolias, Pablo Rodriguez, Costas Courcoubetis
2014	J	`jnl`	Revenue Models, Price Differentiation and Network Neutrality Implications in the Internet. SIGMETRICS Perform. Evaluation Rev. Costas Courcoubetis, Kostas Sdrolias, Richard R. Weber
2014	J	`jnl`	Special Issue on Pricing and Incentives in Networks and Systems: Guest Editors' Introduction. ACM Trans. Internet Techn. Costas Courcoubetis, Roch Guérin, Patrick Loiseau, David C. Parkes, Jean C. Walrand, Adam Wierman
2012	J	`jnl`	Economic Issues in Shared Infrastructures. IEEE/ACM Trans. Netw. Costas Courcoubetis, Richard R. Weber
2012	A*	`conf`	Fair background data transfers of minimal delay impact. INFOCOM Costas Courcoubetis, Antonis Dimakis
2012	—	`conf`	Inter-domain Coordination Models. Networking Workshops Eleni Agiatzidou, Costas Courcoubetis, Olivier Dugeon, Finn Tore Johansen, George D. Stamoulis
2012	—	`conf`	Internet interconnection assured quality services: Issues and strategic impact. Future Network & Mobile Summit Costas Courcoubetis, Manos Dramitinos, George D. Stamoulis
2012	—	`conf`	Socioeconomic tussles analysis of the ETICS approach for providing QoS-enabled inter-domain services. Future Network & Mobile Summit Costas Kalogiros, Costas Courcoubetis, George D. Stamoulis, Manos Dramitinos, Olivier Dugeon
2011	—	`conf`	An Approach to Investigating Socio-economic Tussles Arising from Building the Future Internet. Future Internet Assembly Costas Kalogiros, Costas Courcoubetis, George D. Stamoulis, Michael J. Boniface, Eric T. Meyer, Martin Waldburger, Daniel Field, Burkhard Stiller
2011	C	`conf`	Inter-carrier interconnection services: QoS, economics and business issues. ISCC Costas Courcoubetis, Manos Dramitinos, George D. Stamoulis, Gideon Blocq, Avi Miron, Ariel Orda
2010	J	`jnl`	A marketplace and its market mechanism for trading commoditized computing resources. Ann. des Télécommunications Jörn Altmann, Costas Courcoubetis, Marcel Risch
2010	J	`jnl`	Economic aspects of building software for service-oriented architectures. Concurr. Comput. Pract. Exp. Dimitrios Antos, Costas Courcoubetis, George D. Stamoulis
2010	—	`ch.`	Grid Business Models. Grid and Cloud Computing George A. Thanos, Eleni Agiatzidou, Costas Courcoubetis, George D. Stamoulis
2010	—	`conf`	Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control. ETM Costas Courcoubetis
2009	—	`conf`	A Framework for Analyzing the Economics of a Market for Grid Services. GECON Robin Mason, Costas Courcoubetis, Natalia Miliou
2009	A	`conf`	Congestion control and pricing of volume intensive applications. ITC Costas Courcoubetis, Antonis Dimakis
2009	—	`conf`	Economic issues in shared infrastructures. VISA Costas Courcoubetis, Richard R. Weber
2009	—	`conf`	Future Internet Socio-Economics - Challenges and Perspectives. Future Internet Assembly David Hausheer, Pekka Nikander, Vincenzo Fogliati, Klaus Wünstel, María Ángeles Callejo-Rodríguez, Santiago Ristol Jorba, Spiros Spirou, Latif Ladid, Wolfgang Kleinwächter, Burkhard Stiller, Malte Behrmann, Michael J. Boniface, Costas Courcoubetis, Man-Sze Li
2009	A	`conf`	Optimal call routing in VoIP. ITC Costas Courcoubetis, Costas Kalogiros, Richard R. Weber
2009	—	`conf`	Tariffs, Mechanisms and Equilibria at a Single Internet Link. NET-COOP Costas Courcoubetis, Antonis Dimakis
2009	—	`conf`	The GridEcon Platform: A Business Scenario Testbed for Commercial Cloud Services. GECON Marcel Risch, Jörn Altmann, Li Guo, Alan Fleming, Costas Courcoubetis
2009	—	`conf`	WOICE: A Decentralized System for Ubiquitous VoIP Services. DigiBiz Costas Kalogiros, Costas Courcoubetis, Panayotis Antoniadis
2008	—	`ed.`	3rd International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2008, Athens, Greece, October 20-24, 2008 VALUETOOLS John S. Baras, Costas Courcoubetis
2008	J	`jnl`	Dynamic Bandwidth Pricing: Provision Cost, Market Size, Effective Bandwidths and Price Games. J. Univers. Comput. Sci. Sergios Soursos, Costas Courcoubetis, Richard R. Weber
2008	—	`conf`	GridEcon: A Market Place for Computing Resources. GECON Jörn Altmann, Costas Courcoubetis, George D. Stamoulis, Manos Dramitinos, Thierry Rayna, Marcel Risch, Chris Bannink
2008	—	`conf`	Market Mechanisms for Trading Grid Resources. GECON Costas Courcoubetis, Manos Dramitinos, Thierry Rayna, Sergios Soursos, George D. Stamoulis
2007	—	`conf`	Adopting the Grid for Business Purposes: The Main Objectives and the Associated Economic Issues. GECON George A. Thanos, Costas Courcoubetis, George D. Stamoulis
2007	J	`jnl`	An auction mechanism for allocating the bandwidth of networks to their users. Comput. Networks Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis
2007	—	`conf`	GridEcon - The Economic-Enhanced Next-Generation Internet. GECON Jörn Altmann, Costas Courcoubetis, John Darlington, Jeremy Cohen
2006	—	`conf`	A Random Walk Model for Studying Allocation Patterns in Auction-Based Resource Allocation. ICQT Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis
2006	J	`jnl`	An efficient auction-based mechanism for hierarchically structured bandwidth markets. Comput. Commun. Marina Bitsaki, George D. Stamoulis, Costas Courcoubetis
2006	J	`jnl`	Enforcing efficient resource provisioning in peer-to-peer file sharing systems. ACM SIGOPS Oper. Syst. Rev. Panayotis Antoniadis, Costas Courcoubetis
2006	J	`jnl`	Incentives for large peer-to-peer systems. IEEE J. Sel. Areas Commun. Costas Courcoubetis, Richard R. Weber
2006	C	`conf`	Resource Control for the EDCA Mechanism in Multi-Rate IEEE 802.11e Networks. WOWMOM Vasilios A. Siris, Costas Courcoubetis
2006	B	`conf`	Resource control for the EDCA and HCCA mechanisms in IEEE 802.11e networks. WiOpt Vasilios A. Siris, Costas Courcoubetis
2006	—	`conf`	The Case of Multi-hop Peer-to-Peer Implementation of Mobile Social Applications. ICSNC Panayotis Antoniadis, Costas Courcoubetis
2005	A	`conf`	A new strategy for bidding in the network-wide progressive second price auction for bandwidth. CoNEXT Marina Bitsaki, George D. Stamoulis, Costas Courcoubetis
2005	B	`conf`	An Innovative Decision Support System for Bidding in Simultaneous Ascending Auctions. CEC Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis
2005	J	`jnl`	Incentives for content availability in memory-less peer-to-peer file sharing systems. SIGecom Exch. Panayotis Antoniadis, Costas Courcoubetis, Ben Strulo
2005	—	`conf`	Invited Talk II Summary: Incentive Schemes in Memory-Less P2P Systems. WAC Costas Courcoubetis
2004	—	`conf`	An Efficient Auction Mechanism for Hierarchically Structured Bandwidth Markets. QofIS Marina Bitsaki, George D. Stamoulis, Costas Courcoubetis
2004	J	`jnl`	Auction-Based Resource Reservation in 2.5/3G Networks. Mob. Networks Appl. Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis
2004	J	`jnl`	Comparing economic incentives in peer-to-peer networks. Comput. Networks Panayotis Antoniadis, Costas Courcoubetis, Robin Mason
2004	A*	`conf`	Resource control for loss-sensitive traffic in CDMA networks. INFOCOM Vasilios A. Siris, Costas Courcoubetis
2003	—	`conf`	Peer-to-Peer Wireless LAN Consortia: Economic Modeling and Architecture. Peer-to-Peer Computing Panayotis Antoniadis, Costas Courcoubetis, Elias C. Efstathiou, George C. Polyzos, Ben Strulo
2003	J	`jnl`	Pricing Differentiated Services in the GPRS Environment. Wirel. Networks Sergios Soursos, Costas Courcoubetis, George C. Polyzos
2003	—	`book`	Pricing communication networks - economics, technology and modelling. Costas Courcoubetis, Richard R. Weber
2003	J	`jnl`	Service differentiation and performance of weighted window-based congestion control and packet marking algorithms in ECN networks. Comput. Commun. Vasilios A. Siris, Costas Courcoubetis, George Margetis
2003	J	`jnl`	Simple tariffs based on price multipliers for ATM VBR services. Eur. Trans. Telecommun. Costas Courcoubetis, Vasilios A. Siris, George D. Stamoulis
2002	—	`conf`	Market Models for P2P Content Distribution. AP2PC Panayotis Antoniadis, Costas Courcoubetis
2002	J	`jnl`	Perfect Packing Theorems and the Average-Case Behavior of Optimal and Online Bin Packing. SIAM Rev. Edward G. Coffman Jr., Costas Courcoubetis, Michael R. Garey, David S. Johnson, Peter W. Shor, Richard R. Weber, Mihalis Yannakakis
2002	J	`jnl`	Procedures and tools for analysis of network traffic measurements. Perform. Evaluation Costas Courcoubetis, Vasilios A. Siris
2002	J	`jnl`	Traffic equivalence and subistution in a multiplexer with applications to dynamic available capacity estimation. IEEE/ACM Trans. Netw. Costas Courcoubetis, Antonis Dimakis, George D. Stamoulis
2001	—	`conf`	Differentiated Services in the GPRS Wireless Access Environment. IWDC Sergios Soursos, Costas Courcoubetis, George C. Polyzos
2001	—	`conf`	Pricing differentiated services in the GPRS environment. Wireless Mobile Internet Sergios Soursos, Costas Courcoubetis, George C. Polyzos
2001	A*	`conf`	Providing Bandwidth Guarantees over a Best-effort Network: Call-admission and Pricing. INFOCOM Costas Courcoubetis, Antonis Dimakis, Martin I. Reiman
2001	—	`conf`	Service Differentiation in ECN Networks Using Weighted Window-Based Congestion Control for Various Packet Marking Algorithms. QofIS Vasilios A. Siris, Costas Courcoubetis, George Margetis
2000	J	`jnl`	A study of simple usage-based charging schemes for broadband networks. Telecommun. Syst. Costas Courcoubetis, Frank P. Kelly, Vasilios A. Siris, Richard R. Weber
2000	J	`jnl`	Bin Packing with Discrete Item Sizes, Part I: Perfect Packing Theorems and the Average Case Behavior of Optimal Packings. SIAM J. Discret. Math. Edward G. Coffman Jr., Costas Courcoubetis, M. R. Garey, David S. Johnson, Peter W. Shor, Richard R. Weber, Mihalis Yannakakis
2000	J	`jnl`	Measurement-Based Usage Charges in Comminucations Networks. Oper. Res. Costas Courcoubetis, Frank P. Kelly, Richard R. Weber
1999	J	`jnl`	Application of the many sources asymptotic and effective bandwidths to traffic engineering. Telecommun. Syst. Costas Courcoubetis, Vasilios A. Siris, George D. Stamoulis
1999	A*	`conf`	Traffic Equivalence and Substitution in a Multiplexer. INFOCOM Costas Courcoubetis, Antonis Dimakis, George D. Stamoulis
1998	—	`conf`	A study of simple usage-based charging schemes for broadband networks. Broadband Communications Costas Courcoubetis, Frank P. Kelly, Vasilios A. Siris, Richard R. Weber
1998	—	`conf`	An evaluation of pricing schemes that are based on effective usage. ICC Costas Courcoubetis, Vasilios A. Siris
1998	A*	`conf`	Application and Evaluation of Large Deviation Techniques for Traffic Engineering in Broadband Networks. SIGMETRICS Costas Courcoubetis, Vasilios A. Siris, George D. Stamoulis
1998	J	`jnl`	Markov decision processes and regular events. IEEE Trans. Autom. Control. Costas Courcoubetis, Mihalis Yannakakis
1998	—	`conf`	Network control and usage-based charging: is charging for volume adequate? ICE Costas Courcoubetis, Vasilios A. Siris, George D. Stamoulis
1997	J	`jnl`	Computing Accumulated Delays in Real-time Systems. Formal Methods Syst. Des. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
1997	J	`jnl`	Introduction to the Special Issue on Computer-Aided Verification (CAV93). Formal Methods Syst. Des. Costas Courcoubetis
1996	A	`conf`	Extending Promela and Spin for Real Time. TACAS Stavros Tripakis, Costas Courcoubetis
1995	J	`jnl`	Admission control and routing in ATM networks using inferences from measured buffer occupancy. IEEE Trans. Commun. Costas Courcoubetis, George Kesidis, Ad Ridder, Jean C. Walrand, Richard R. Weber
1995	A*	`conf`	Distinguishing tests for nondeterministic and probabilistic machines. STOC Rajeev Alur, Costas Courcoubetis, Mihalis Yannakakis
1995	J	`jnl`	The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1995	J	`jnl`	The Complexity of Probabilistic Verification. J. ACM Costas Courcoubetis, Mihalis Yannakakis
1994	A*	`conf`	Decoupling Bandwidths for Networks: A Decomposition Approach to Resource Management. INFOCOM Gustavo de Veciana, Costas Courcoubetis, Jean C. Walrand
1994	B	`conf`	From Timed Graphs to Hybrid Automata (Abstract). CONCUR Costas Courcoubetis
1994	J	`jnl`	Stability of Flexible Manufacturing Systems. Oper. Res. Costas Courcoubetis, Richard R. Weber
1994	B	`conf`	The Observational Power of Clocks. CONCUR Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
1993	A*	`ed.`	Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings CAV Costas Courcoubetis
1993	A*	`conf`	Computing Accumulated Delays in Real-time Systems. CAV Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
1993	J	`jnl`	Model-Checking in Dense Real-time Inf. Comput. Rajeev Alur, Costas Courcoubetis, David L. Dill
1993	A*	`conf`	Verification of timing Properties of VHDL. CAV Costas Courcoubetis, Werner Damm, Bernhard Josko
1992	A	`conf`	An implementation of three algorithms for timing verification based on automata emptiness. RTSS Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi
1992	—	`conf`	Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. Hybrid Systems Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho
1992	J	`jnl`	Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods Syst. Des. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
1992	B	`conf`	Minimization of Timed Transition Systems. CONCUR Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi
1992	J	`jnl`	Minimum and Maximum Delay Problems in Real-Time Systems. Formal Methods Syst. Des. Costas Courcoubetis, Mihalis Yannakakis
1992	A*	`conf`	Verification with Real-Time COSPAN. CAV Costas Courcoubetis, David L. Dill, Magda Chatzaki, Panagiotis Tzounakis
1991	A*	`conf`	An Algebra of Boolean Processes. CAV Costas Courcoubetis, Susanne Graf, Joseph Sifakis
1991	A*	`conf`	Fundamental Discrepancies between Average-Case Analyses under Discrete and Continuous Distributions: A Bin Packing Case Study STOC Edward G. Coffman Jr., Costas Courcoubetis, M. R. Garey, David S. Johnson, Lyle A. McGeoch, Peter W. Shor, Richard R. Weber, Mihalis Yannakakis
1991	A*	`conf`	Minimum and Maximum Delay Problems in Real-Time Systems. CAV Costas Courcoubetis
1991	A*	`conf`	Model-Checking for Probabilistic Real-Time Systems (Extended Abstract). ICALP Rajeev Alur, Costas Courcoubetis, David L. Dill
1991	J	`jnl`	On Optimal Packing of Randomly Arriving Objects. Math. Oper. Res. Costas Courcoubetis, Uriel G. Rothblum
1991	—	`conf`	Verifying Automata Specifications of Probabilistic Real-time Systems. REX Workshop Rajeev Alur, Costas Courcoubetis, David L. Dill
1991	J	`jnl`	Weighted Round-Robin Cell Multiplexing in a General-Purpose ATM Switch Chip. IEEE J. Sel. Areas Commun. Manolis Katevenis, Stefanos Sidiropoulos, Costas Courcoubetis
1990	J	`jnl`	Adding Liveness Properties to Coupled Finite-State Machines. ACM Trans. Program. Lang. Syst. Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper
1990	A*	`conf`	Markov Decision Processes and Regular Events (Extended Abstract). ICALP Costas Courcoubetis, Mihalis Yannakakis
1990	A*	`conf`	Memory Efficient Algorithms for the Verification of Temporal Properties. CAV Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
1990	—	`conf`	Memory Efficient Algorithms for the Verification of Temporal Properties. CAV (DIMACS/AMS volume) Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
1990	A*	`conf`	Model-Checking for Real-Time Systems LICS Rajeev Alur, Costas Courcoubetis, David L. Dill
1989	J	`jnl`	Stabilizing an Uncertain Production System. Queueing Syst. Theory Appl. Costas Courcoubetis, Panagiotis Konstantopoulos, Jean C. Walrand, Richard R. Weber
1988	A*	`conf`	Verifying Temporal Properties of Finite-State Probabilistic Programs FOCS Costas Courcoubetis, Mihalis Yannakakis
1987	—	`conf`	LAN Broadcast Protocols for Implementing the CCA Model. PSTV Sudhir Aggarwal, Daniel Barbará, Costas Courcoubetis
1987	J	`jnl`	Stability of a Queueing System with Concurrent Service and Locking. SIAM J. Comput. Costas Courcoubetis, Martin I. Reiman, Burton Simon
1986	A*	`conf`	Reasoning about Fair Concurrent Programs STOC Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper
1985	J	`jnl`	Optimal resource allocation for two processes. AT&T Tech. J. Costas Courcoubetis, Pravin Varaiya