Costas A. Courcoubetis
#157,388
Most Influential Person Now
Costas A. Courcoubetis's AcademicInfluence.com Rankings
Costas A. Courcoubetismathematics Degrees
Mathematics
#7246
World Rank
#9883
Historical Rank
Measure Theory
#1980
World Rank
#2406
Historical Rank
Download Badge
Computer Science Mathematics
Costas A. Courcoubetis's Degrees
- PhD Computer Science University of California, Berkeley
- Masters Computer Science University of California, Berkeley
Similar Degrees You Can Earn
Why Is Costas A. Courcoubetis Influential?
(Suggest an Edit or Addition)Costas A. Courcoubetis's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- The Algorithmic Analysis of Hybrid Systems (1995) (2184)
- Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1992) (1345)
- Model-Checking in Dense Real-time (1993) (1027)
- The complexity of probabilistic verification (1995) (601)
- Memory-efficient algorithms for the verification of temporal properties (1990) (601)
- Weighted Round-Robin Cell Multiplexing in a General-Purpose ATM Switch Chip (1991) (542)
- Model-checking for real-time systems (1990) (470)
- Pricing Communication Networks (2003) (326)
- Pricing communication networks - economics, technology and modelling (2003) (324)
- Peer-to-Peer Product Sharing: Implications for Ownership, Usage, and Social Welfare in the Sharing Economy (2019) (304)
- Minimum and maximum delay problems in real-time systems (1991) (193)
- Minimization of Timed Transition Systems (1992) (186)
- Distinguishing tests for nondeterministic and probabilistic machines (1995) (150)
- Verifying temporal properties of finite-state probabilistic programs (1988) (147)
- Buffer overflow asymptotics for a buffer handling many traffic sources (1996) (140)
- Comparing economic incentives in peer-to-peer networks (2004) (123)
- Decoupling bandwidths for networks: a decomposition approach to resource management (1994) (121)
- An implementation of three algorithms for timing verification based on automata emptiness (1992) (118)
- Model-Checking for Probabilistic Real-Time Systems (Extended Abstract) (1991) (112)
- Admission control and routing in ATM networks using inferences from measured buffer occupancy (1995) (110)
- Extending Promela and Spin for Real Time (1996) (101)
- A study of simple usage‐based charging schemes for broadband networks (1998) (98)
- Markov Decision Processes and Regular Events (Extended Abstract) (1990) (98)
- Markov decision processes and regular events (1998) (95)
- Measurement-Based Usage Charges in Comminucations Networks (2000) (92)
- The Observational Power of Clocks (1994) (89)
- Application of the many sources asymptotic and effective bandwidths to traffic engineering (1999) (83)
- Effective Bandwidths for Stationary Sources (1995) (80)
- Computing Accumulated Delays in Real-time Systems (1993) (78)
- Integration of pricing and flow control for available bit rate services in ATM networks (1996) (76)
- Managing and pricing service level agreements for differentiated services (1999) (72)
- Verifying Automata Specifications of Probabilistic Real-time Systems (1991) (70)
- Pricing Communication Networks: Economics, Technology and Modelling (Wiley Interscience Series in Systems and Optimization) (2003) (70)
- GridEcon: A Market Place for Computing Resources (2008) (63)
- Incentives for large peer-to-peer systems (2006) (61)
- An auction mechanism for bandwidth allocation over paths (2001) (57)
- An auction mechanism for allocating the bandwidth of networks to their users (2007) (50)
- Bin Packing with Discrete Item Sizes, Part I: Perfect Packing Theorems and the Average Case Behavior of Optimal Packings (2000) (47)
- Adding liveness properties to coupled finite-state machines (1990) (46)
- Fundamental discrepancies between average-case analyses under discrete and continuous distributions: a bin packing case study (1991) (43)
- Auction-Based Resource Reservation in 2.5/3G Networks (2004) (42)
- Memory-Ecient Algorithms for the Verication of Temporal Properties (1992) (42)
- Application and evaluation of large deviation techniques for traffic engineering in broadband networks (1998) (40)
- The GridEcon Platform: A Business Scenario Testbed for Commercial Cloud Services (2009) (37)
- Market mechanisms for cooperative operation of price-maker energy storage in a power network (2017) (36)
- Reasoning about fair concurrent programs (1986) (35)
- Providing bandwidth guarantees over a best-effort network: call-admission and pricing (2001) (34)
- ETICS: QoS-enabled interconnection for Future Internet services (2010) (34)
- Drivers, riders and service providers: the impact of the sharing economy on mobility (2017) (33)
- Incentives for content availability in memory-less peer-to-peer file sharing systems (2005) (32)
- Dynamic Routing for Social Information Sharing (2016) (31)
- On the Performance of an Effective Bandwidths Formula (1994) (30)
- Resource control for the EDCA mechanism in multi-rate IEEE 802.11e networks (2006) (29)
- Information Asymmetry Models in the Internet Connectivity Market (2002) (29)
- Perfect Packing Theorems and the Average-Case Behavior of Optimal and Online Bin Packing (2002) (28)
- Distributed reachability analysis for protocol verification environments (1988) (27)
- Energy Efficiency Embedded Service Lifecycle: Towards an Energy Efficient Cloud Computing Architecture (2014) (27)
- Stability of a Queueing System with Concurrent Service and Locking (1987) (26)
- Optimal control of a queueing system with simultaneous service requirements (1987) (25)
- Resource control for loss-sensitive traffic in CDMA networks (2004) (24)
- GridEcon - The Economic-Enhanced Next-Generation Internet (2007) (24)
- Market Models for P2P Content Distribution (2002) (24)
- Peer-to-peer wireless LAN consortia: economic modeling and architecture (2003) (23)
- Auction-based resource allocation in UMTS high speed downlink packet access (HSDPA) (2005) (22)
- A new strategy for bidding in the network-wide progressive second price auction for bandwidth (2005) (22)
- Economic Issues in Shared Infrastructures (2009) (22)
- Procedures and tools for analysis of network traffic measurements (2002) (21)
- Mobile Data Offloading with Uniform Pricing and Overlaps (2019) (21)
- A marketplace and its market mechanism for trading commoditized computing resources (2010) (21)
- Future Internet Socio-Economics - Challenges and Perspectives (2009) (20)
- Adopting the Grid for Business Purposes: The Main Objectives and the Associated Economic Issues (2007) (20)
- An evaluation of pricing schemes that are based on effective usage (1998) (19)
- Financial Incentives for Joint Storage Planning and Operation in Energy and Regulation Markets (2019) (19)
- An Asymptotically Optimal Scheme for P2P File Sharing (2004) (18)
- An efficient auction-based mechanism for hierarchically structured bandwidth markets (2006) (17)
- Necessary and sufficient conditions for stability of a bin-packing system (1986) (17)
- A Fair and Budget-Balanced Incentive Mechanism for Energy Management in Buildings (2018) (16)
- MEASUREMENT AND ANALYSIS OF REAL NETWORK TRAFFIC (2006) (16)
- Traffic equivalence and substitution in a multiplexer with applications to dynamic available capacity estimation (2002) (16)
- Negotiating Premium Peering Prices (2016) (15)
- Verification with Real-Time COSPAN (1992) (15)
- Asymptotics for Provisioning Problems of Peering Wireless LANs with a Large Number of Participants (2004) (15)
- Resource Control for the EDCA and HCCA Mechanisms in IEEE 802.11e Networks (2006) (15)
- Stackelberg competition between merchant and regulated storage investment in wholesale electricity markets (2020) (13)
- Pricing in a large single link loss system (1999) (13)
- Construction of the stationary regime of queues with locking (1987) (12)
- The serving process with least thinking time maximizes resource utilization (1983) (11)
- Service Differentiation in ECN Networks Using Weighted Window-Based Congestion Control for Various Packet Marking Algorithms (2001) (11)
- From advertising profits to bandwidth prices: A quantitative methodology for negotiating premium peering (2014) (11)
- Enforcing efficient resource provisioning in peer-to-peer file sharing systems (2006) (11)
- An Approach to Investigating Socio-Economic Tussles Arising from Building the Future Internet (2011) (11)
- Peer-to-Peer Product Sharing: Implications for Ownership, Usage and Social Welfare in the Sharing Economy (2015) (10)
- The Case for Peer-to-Peer Wireless LAN Consortia (2003) (10)
- Service differentiation and performance of weighted window-based congestion control and packet marking algorithms in ECN networks (2003) (10)
- Recommending Paths: Follow or Not Follow? (2018) (10)
- An approach to pricing and resource sharing for available bit rate (ABR) services (1998) (10)
- Peer-to-Peer Product Sharing (2019) (10)
- Pricing and Communications Networks (2003) (10)
- Stabilizing an uncertain production system (1989) (9)
- Traffic equivalence and substitution in a multiplexer (1999) (9)
- On Optimal Packing of Randomly Arriving Objects (1991) (9)
- The Case of Multi-hop Peer-to-Peer Implementation of Mobile Social Applications (2006) (9)
- Optimal Pricing for Peer-to-Peer Sharing With Network Externalities (2018) (8)
- Economic issues in shared infrastructures (2012) (8)
- A bin-packing system for objects with sizes from a finite set: Necessary and sufficient conditions for stability and some applications (1986) (8)
- Special article [paid peering: pricing and adoption incentives] (2016) (8)
- Inter-carrier interconnection services: QoS, economics and business issues (2011) (8)
- Revenue Models, Price Differentiation and Network Neutrality Implications in the Internet (2014) (8)
- Market Mechanisms for Trading Grid Resources (2008) (8)
- An Efficient Auction Mechanism for Hierarchically Structured Bandwidth Markets (2004) (8)
- Cost‐Based Pricing (2003) (8)
- Fair background data transfers of minimal delay impact (2012) (7)
- Pricing Resources on Demand (2006) (7)
- Pricing Differentiated Services in the GPRS Environment (2001) (7)
- Stability of Flexible Manufacturing Systems (1994) (7)
- Strategic Storage Operation in Wholesale Electricity Markets: A Networked Cournot Game Analysis (2021) (6)
- An Algebra of Boolean Processes (1991) (6)
- Max-min fairness of generalized AGV mechanisms (2015) (6)
- Invariance in resource sharing problems (1982) (6)
- Economics in mobile data offloading with uniform pricing (2017) (6)
- Pricing the fast-lanes: A qualitative study on the implications of paid peering agreements (2016) (5)
- Probabilistic Model Checking: Formalisms and Algorithms for Discrete and Real-time Systems (2000) (5)
- Resource allocation in multiservice MPLS (1999) (5)
- Future Internet SocioEconomics – Challenges and Perspectives (2009) (5)
- Auction-based bandwidth trading in a competitive hierarchical market (2005) (5)
- A theoretical framework to evaluate the traffic impact of urban freight consolidation centres (2021) (5)
- Network control and usage-based charging: is charging for volume adequate? (1998) (5)
- Comparing usage-based pricing schemes for broadband networks (1997) (5)
- Asymptotics for Provisioning Problems with a Large Number of Participants (2003) (4)
- Ex-Post Max-Min Fairness of Generalized AGV Mechanisms (2017) (4)
- A game-theoretic view of two processes using a single resource (1983) (4)
- Cost-Sharing Models in Participatory Sensing (2015) (4)
- Market Mechanisms for Energy Storage Planning and Operation in a Power Network (2018) (4)
- Catastrophe by Design in Population Games: Destabilizing Wasteful Locked-in Technologies (2020) (4)
- Charging Issues for Services in Broadband Networks (1995) (4)
- The Move-to-Front Rule for Multiple Lists (1990) (4)
- Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings (1993) (4)
- Internet interconnection assured quality services: Issues and strategic impact (2012) (4)
- Resource Control for the Enhanced Distributed Channel Access ( EDCA ) Mechanism in IEEE 802 . 11 e (2005) (4)
- Congestion Control for Background Data Transfers With Minimal Delay Impact (2017) (4)
- Investigation of Cell Scale and Burst Scale Effects on the Cell Loss Probability using Large Deviati (1997) (4)
- Evaluating the Impact of Centralized Goods Receiving Stations at Urban Retail Malls (2017) (3)
- Real-Time Issues in Call Acceptance Management for ATM networks (1991) (3)
- Congestion control and pricing of volume intensive applications (2009) (3)
- Computer Aided Verification (1993) (3)
- Socioeconomic tussles analysis of the ETICS approach for providing QoS-enabled inter-domain services (2012) (3)
- Throughput and Pricing of Ridesharing Systems (2019) (3)
- Grid Business Models (2010) (3)
- Optimal resource allocation for two processes (1985) (3)
- A comparative study of usage-based charging schemes (1996) (3)
- Optimal dynamic allocation of heterogeneous servers under the condition of total overload: the discounted case (1988) (3)
- Efficient adaptation to dynamic pricing communicated by ECN marks: scenarios for experimental assessment (2001) (2)
- Differentiated Services in the GPRS Wireless Access Environment (2001) (2)
- Verification of timing Properties of VHDL (1993) (2)
- Tariffs, Mechanisms and Equilibria at a Single Internet Link (2009) (2)
- An innovative decision support system for bidding in simultaneous ascending auctions (2005) (2)
- A Random Walk Model for Studying Allocation Patterns in Auction-Based Resource Allocation (2006) (2)
- Optimal pricing for a peer-to-peer sharing platform under network externalities (2018) (2)
- Note on Effective Bandwidth of ATM Traffic (1991) (2)
- Optimal call routing in VoIP (2009) (2)
- Distributed double auctions for large-scale device-to-device resource trading (2020) (2)
- A Framework for Analyzing the Economics of a Market for Grid Services (2009) (2)
- Proceedings of the 5th International Conference on Computer Aided Verification (1993) (2)
- Dynamic Bandwidth Pricing: Provision Cost, Market Size, Effective Bandwidths and Price Games (2008) (2)
- Guest Editorial Price-Based Access Control and Economics of Networking (2006) (2)
- Market Models for P 2 P Content Distribution (2002) (1)
- Economic Controls for Smart Water Distribution Networks Undergoing Supply Failures (2021) (1)
- A Practical Iterative Price-Based Approach for Optimal Demand-Response (2013) (1)
- Feature article [Paid peering: pricing and adoption incentives] (2016) (1)
- Introduction to the Special Issue on Computer-Aided Verification (CAV93) (1997) (1)
- Multiple incentive internet pricing for national academic research networks: a case study (2000) (1)
- The optimal control of N servers and customers with simultaneous service requirements (1985) (1)
- Strategic Storage Operation in Wholesale Electricity Markets: A Game Theoretic Analysis (2019) (1)
- Sharing Economics (2020) (1)
- Inter-domain Coordination Models (2012) (1)
- Non-urgent Visits and Emergency Department Congestion: Patients' Choice and Incentive Mechanisms (2019) (1)
- Design and experimental evaluation of market mechanisms for participatory sensing environments (2014) (1)
- Economic aspects of building software for service‐oriented architectures (2010) (1)
- A Preliminary Model for Distributed Algorithms (1980) (1)
- Formal Methods and Tools for the Development of Distributed and Real Time Systems: SPEC -- Esprit Project 3096 (Extended Abstract) (1990) (1)
- LAN Broadcast Protocols for Implementing the CCA Model (1987) (1)
- Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC) (1990) (1)
- Economic incentives for adopting congestion accountability protocols (2014) (1)
- Stackelberg Competition Between Merchant and Regulated Storage Investment under Locational Marginal Pricing (2019) (1)
- Exploring the Potential Impact of Crowdshipping Using Public Transport in Singapore (2022) (1)
- Reducing Non-urgent Visits and Emergency Department Congestion: Pricing or Improving Perceptions? (2020) (1)
- Guest Editorial: Introduction to the Special Section on Economics of Modern Networks (2020) (0)
- Catastrophe by Design: Destabilizing Wasteful Technologies & The Phase Transition from Proof of Work to Proof of Stake (2020) (0)
- Closed Non-atomic Resource Allocation Games (2020) (0)
- Mathematics for Operations Research (2003) (0)
- Special Issue on Pricing and Incentives in Networks and Systems: Guest Editors' Introduction (2014) (0)
- A Special Section on Pricing and Incentives in Networks and Systems : Guest Editors ’ Introduction (2014) (0)
- Network Constraints and Effective Bandwidths (2003) (0)
- Appendix A: Lagrangian Methods for Constrained Optimization (2003) (0)
- Network Services and Contracts (2003) (0)
- A Surge-Type Pricing in Ridesharing Systems is Stability Optimal (2018) (0)
- Integrating Empirical Analysis into Analytical Framework: An Integrated Model Structure for On-Demand Transportation (2021) (0)
- Designing incentive compatible protocols for background data transfers (2014) (0)
- Extending PROMELA and Spin for Real { Time ( Extended Abstract ) (2002) (0)
- An Iterative Price-Based Approach for Optimal Demand-Response (2013) (0)
- Charging Guaranteed Services (2003) (0)
- 5 Grid Business Models (2009) (0)
- AN INTRODUCTION TO COMMUNICATIONS NETWORKS AND SERVICES (2002) (0)
- A web-based tool for advanced statistical analysis of network tra c measurements (2001) (0)
- Fair congestion control for long-lived background flows (2014) (0)
- WOICE: A Decentralized System for Ubiquitous VoIP Services (2009) (0)
- The Price of Queueing (2020) (0)
- Distributed Double Auction Mechanisms for Large-Scale Device-to-Device Resource Trading (2022) (0)
- Design and Experimental Evaluation of Market Mechanisms for Participatory Sensing Environments ( Extended Abstract ) (2014) (0)
- COST BASED PRICING Course Notes (2002) (0)
- Volume Charging Revisited (2008) (0)
- Adaptive control of admissions and routing in an ATM network (1992) (0)
- Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control (2010) (0)
- 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2008, Athens, Greece, October 20-24, 2008 (2008) (0)
- Business Models in a Multipath Word (2009) (0)
- Fixpoint Computation: Leaking Gas Burner (1992) (0)
- Average-Case Analysis of Greedy Matching for D2D Resource Sharing (2021) (0)
- Catastrophe by Design in Population Games: A Mechanism to Destabilize Inefficient Locked-in Technologies (2023) (0)
- Front cover (2016) (0)
- Prom timed graphs to hybrid automata (1994) (0)
- Minimally Intrusive Server Policies for Background Data Transfers (2016) (0)
- Auction-based Resource Reservation in 3 G Networks Serving Multicast (2006) (0)
- Simple tariffs based on price multipliers for ATM VBR services (2003) (0)
- Strategic Production and Trading in Renewable Energy Certificate Markets: Existence, Uniqueness, and Efficiency of Market Equilibria (2023) (0)
- Games Between Competing ISPs Employing Different Pricing Schemes (2012) (0)
- Stable policies for Petri-nets with fluctuating transition processes (1990) (0)
- Appendix B: Convergence of Tatonnement (2003) (0)
- Economic aspects of building software for service-oriented architectures (2010) (0)
- Invited Talk II Summary: Incentive Schemes in Memory-Less P2P Systems (2005) (0)
- Replenishment of Emergency Supplies using Dedicated and Pooled Systems (2022) (0)
- From Timed Graphs to Hybrid Automata (Abstract) (1994) (0)
- Charging Flexible Contracts (2003) (0)
- BASIC ECONOMIC CONCEPTS Course Notes (2003) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Costas A. Courcoubetis?
Costas A. Courcoubetis is affiliated with the following schools:
