| 2025 | SAGT | On the Effect of Time Preferences on the Price of Anarchy. | Yunpeng Li, Antonis Dimakis, Costas Courcoubetis |
| 2024 | WiOpt | Dynamic Matching for Ride-sharing with Deadlines. | Shuqin Gao, Costas Courcoubetis, Lingjie Duan |
| 2021 | WiOpt | Average-Case Analysis of Greedy Matching for D2D Resource Sharing. | Shuqin Gao, Costas Courcoubetis, Lingjie Duan |
| 2020 | MOBIHOC | Distributed double auctions for large-scale device-to-device resource trading. | Shuqin Gao, Costas Courcoubetis, Lingjie Duan |
| 2019 | INFOCOM | Throughput and Pricing of Ridesharing Systems. | Costas Courcoubetis, Antonis Dimakis |
| 2019 | INFOCOM | Recommending Paths: Follow or Not Follow? | Yunpeng Li, Costas Courcoubetis, Lingjie Duan |
| 2015 | SAGT | Cost-Sharing Models in Participatory Sensing. | Georgios Birmpas, Costas Courcoubetis, Ioannis Giotis, Evangelos Markakis |
| 2012 | INFOCOM | Fair background data transfers of minimal delay impact. | Costas Courcoubetis, Antonis Dimakis |
| 2012 | Networking | Inter-domain Coordination Models. | Eleni Agiatzidou, Costas Courcoubetis, Olivier Dugeon, Finn Tore Johansen, George D. Stamoulis |
| 2011 | ISCC | Inter-carrier interconnection services: QoS, economics and business issues. | Costas Courcoubetis, Manos Dramitinos, George D. Stamoulis, Gideon Blocq, Avi Miron, Ariel Orda |
| 2009 | SIGCOMM | Economic issues in shared infrastructures. | Costas Courcoubetis, Richard R. Weber |
| 2006 | WoWMoM | Resource Control for the EDCA Mechanism in Multi-Rate IEEE 802.11e Networks. | Vasilios A. Siris, Costas Courcoubetis |
| 2006 | WiOpt | Resource control for the EDCA and HCCA mechanisms in IEEE 802.11e networks. | Vasilios A. Siris, Costas Courcoubetis |
| 2005 | CoNEXT | A new strategy for bidding in the network-wide progressive second price auction for bandwidth. | Marina Bitsaki, George D. Stamoulis, Costas Courcoubetis |
| 2004 | INFOCOM | Resource control for loss-sensitive traffic in CDMA networks. | Vasilios A. Siris, Costas Courcoubetis |
| 2001 | INFOCOM | Providing Bandwidth Guarantees over a Best-effort Network: Call-admission and Pricing. | Costas Courcoubetis, Antonis Dimakis, Martin I. Reiman |
| 1999 | INFOCOM | Traffic Equivalence and Substitution in a Multiplexer. | Costas Courcoubetis, Antonis Dimakis, George D. Stamoulis |
| 1998 | SIGMETRICS | Application and Evaluation of Large Deviation Techniques for Traffic Engineering in Broadband Networks. | Costas Courcoubetis, Vasilios A. Siris, George D. Stamoulis |
| 1996 | TACAS | Extending Promela and Spin for Real Time. | Stavros Tripakis, Costas Courcoubetis |
| 1995 | STOC | Distinguishing tests for nondeterministic and probabilistic machines. | Rajeev Alur, Costas Courcoubetis, Mihalis Yannakakis |
| 1994 | CONCUR | The Observational Power of Clocks. | Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger |
| 1994 | CONCUR | From Timed Graphs to Hybrid Automata (Abstract). | Costas Courcoubetis |
| 1994 | INFOCOM | Decoupling Bandwidths for Networks: A Decomposition Approach to Resource Management. | Gustavo de Veciana, Costas Courcoubetis, Jean C. Walrand |
| 1993 | CAV | Computing Accumulated Delays in Real-time Systems. | Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger |
| 1993 | CAV | Verification of timing Properties of VHDL. | Costas Courcoubetis, Werner Damm, Bernhard Josko |
| 1992 | CAV | Verification with Real-Time COSPAN. | Costas Courcoubetis, David L. Dill, Magda Chatzaki, Panagiotis Tzounakis |
| 1992 | CONCUR | Minimization of Timed Transition Systems. | Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi |
| 1992 | RTSS | An implementation of three algorithms for timing verification based on automata emptiness. | Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi |
| 1991 | CAV | Minimum and Maximum Delay Problems in Real-Time Systems. | Costas Courcoubetis |
| 1991 | CAV | An Algebra of Boolean Processes. | Costas Courcoubetis, Susanne Graf, Joseph Sifakis |
| 1991 | ICALP | Model-Checking for Probabilistic Real-Time Systems (Extended Abstract). | Rajeev Alur, Costas Courcoubetis, David L. Dill |
| 1991 | STOC | Fundamental Discrepancies between Average-Case Analyses under Discrete and Continuous Distributions: A Bin Packing Case Study | Edward G. Coffman Jr., Costas Courcoubetis, M. R. Garey, David S. Johnson, Lyle A. McGeoch, Peter W. Shor, Richard R. Weber, Mihalis Yannakakis |
| 1990 | CAV | Memory Efficient Algorithms for the Verification of Temporal Properties. | Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis |
| 1990 | ICALP | Markov Decision Processes and Regular Events (Extended Abstract). | Costas Courcoubetis, Mihalis Yannakakis |
| 1990 | LICS | Model-Checking for Real-Time Systems | Rajeev Alur, Costas Courcoubetis, David L. Dill |
| 1988 | FOCS | Verifying Temporal Properties of Finite-State Probabilistic Programs | Costas Courcoubetis, Mihalis Yannakakis |
| 1986 | STOC | Reasoning about Fair Concurrent Programs | Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper |