dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Costas Courcoubetis Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Antonis Dimakis: Fair background data transfers of minimal delay impact. INFOCOM 2012: 1053-1061
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEleni Agiatzidou, Costas Courcoubetis, Olivier Dugeon, Finn-Tore Johansen, George D. Stamoulis: Inter-domain Coordination Models. Networking Workshops 2012: 113-120
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Richard R. Weber: Economic Issues in Shared Infrastructures. IEEE/ACM Trans. Netw. 20(2): 594-608 (2012)
2011
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Kalogiros, Costas Courcoubetis, George D. Stamoulis, Michael Boniface, Eric T. Meyer, Martin Waldburger, Daniel Field, Burkhard Stiller: An Approach to Investigating Socio-economic Tussles Arising from Building the Future Internet. Future Internet Assembly 2011: 145-162
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Manos Dramitinos, George D. Stamoulis, Gideon Blocq, Avi Miron, Ariel Orda: Inter-carrier interconnection services: QoS, economics and business issues. ISCC 2011: 779-784
2010
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis: Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control. ETM 2010: 1
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörn Altmann, Costas Courcoubetis, Marcel Risch: A marketplace and its market mechanism for trading commoditized computing resources. Annales des Télécommunications 65(11-12): 653-667 (2010)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitrios Antos, Costas Courcoubetis, George D. Stamoulis: Economic aspects of building software for service-oriented architectures. Concurrency and Computation: Practice and Experience 22(14): 2012-2035 (2010)
2009
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Kalogiros, Costas Courcoubetis, Panayotis Antoniadis: WOICE: A Decentralized System for Ubiquitous VoIP Services. DigiBiz 2009: 74-81
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Hausheer, Pekka Nikander, Vincenzo Fogliati, Klaus Wünstel, María Ángeles Callejo-Rodrígues, Santiago Ristol Jorba, Spiros Spirou, Latif Ladid, Wolfgang Kleinwächter, Burkhard Stiller, Malte Behrmann, Michael Boniface, Costas Courcoubetis, Man-Sze Li: Future Internet Socio-Economics - Challenges and Perspectives. Future Internet Assembly 2009: 1-11
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobin Mason, Costas Courcoubetis, Natalia Miliou: A Framework for Analyzing the Economics of a Market for Grid Services. GECON 2009: 28-45
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcel Risch, Jörn Altmann, Li Guo, Alan Fleming, Costas Courcoubetis: The GridEcon Platform: A Business Scenario Testbed for Commercial Cloud Services. GECON 2009: 46-59
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Antonis Dimakis: Tariffs, Mechanisms and Equilibria at a Single Internet Link. NET-COOP 2009: 234-248
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Richard R. Weber: Economic issues in shared infrastructures. VISA 2009: 89-96
2008
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörn Altmann, Costas Courcoubetis, George D. Stamoulis, Manos Dramitinos, Thierry Rayna, Marcel Risch, Chris Bannink: GridEcon: A Market Place for Computing Resources. GECON 2008: 185-196
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Manos Dramitinos, Thierry Rayna, Sergios Soursos, George D. Stamoulis: Market Mechanisms for Trading Grid Resources. GECON 2008: 58-72
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergios Soursos, Costas Courcoubetis, Richard R. Weber: Dynamic Bandwidth Pricing: Provision Cost, Market Size, Effective Bandwidths and Price Games. J. UCS 14(5): 766-785 (2008)
2007
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge 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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörn Altmann, Costas Courcoubetis, John Darlington, Jeremy Cohen: GridEcon - The Economic-Enhanced Next-Generation Internet. GECON 2007: 188-193
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManos 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
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManos Dramitinos, George D. Stamoulis, Costas Courcoubetis: A Random Walk Model for Studying Allocation Patterns in Auction-Based Resource Allocation. ICQT 2006: 25-36
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPanayotis Antoniadis, Costas Courcoubetis: The Case of Multi-hop Peer-to-Peer Implementation of Mobile Social Applications. ICSNC 2006: 5
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasilios A. Siris, Costas Courcoubetis: Resource Control for the EDCA Mechanism in Multi-Rate IEEE 802.11e Networks. WOWMOM 2006: 419-428
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasilios A. Siris, Costas Courcoubetis: Resource control for the EDCA and HCCA mechanisms in IEEE 802.11e networks. WiOpt 2006: 22-27
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina Bitsaki, George D. Stamoulis, Costas Courcoubetis: An efficient auction-based mechanism for hierarchically structured bandwidth markets. Computer Communications 29(7): 911-921 (2006)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Richard R. Weber: Incentives for large peer-to-peer systems. IEEE Journal on Selected Areas in Communications 24(5): 1034-1050 (2006)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPanayotis Antoniadis, Costas Courcoubetis: Enforcing efficient resource provisioning in peer-to-peer file sharing systems. Operating Systems Review 40(3): 67-72 (2006)
2005
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManos Dramitinos, George D. Stamoulis, Costas Courcoubetis: An Innovative Decision Support System for Bidding in Simultaneous Ascending Auctions. CEC 2005: 414-417
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina 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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis: Invited Talk II Summary: Incentive Schemes in Memory-Less P2P Systems. WAC 2005: 281-282
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPanayotis 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasilios A. Siris, Costas Courcoubetis: Resource control for loss-sensitive traffic in CDMA networks. INFOCOM 2004
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina Bitsaki, George D. Stamoulis, Costas Courcoubetis: An Efficient Auction Mechanism for Hierarchically Structured Bandwidth Markets. QofIS 2004: 308-317
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPanayotis Antoniadis, Costas Courcoubetis, Robin Mason: Comparing economic incentives in peer-to-peer networks. Computer Networks 46(1): 133-146 (2004)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManos Dramitinos, George D. Stamoulis, Costas Courcoubetis: Auction-Based Resource Reservation in 2.5/3G Networks. MONET 9(6): 557-566 (2004)
2003
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPanayotis 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
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasilios 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)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Vasilios A. Siris, George D. Stamoulis: Simple tariffs based on price multipliers for ATM VBR services. European Transactions on Telecommunications 14(2): 97-106 (2003)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergios Soursos, Costas Courcoubetis, George C. Polyzos: Pricing Differentiated Services in the GPRS Environment. Wireless Networks 9(4): 331-339 (2003)
2002
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPanayotis Antoniadis, Costas Courcoubetis: Market Models for P2P Content Distribution. AP2PC 2002: 138-143
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas 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)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Vasilios A. Siris: Procedures and tools for analysis of network traffic measurements. Perform. Eval. 48(1/4): 5-23 (2002)
2001
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Antonis Dimakis, Martin I. Reiman: Providing Bandwidth Guarantees over a Best-effort Network: Call-admission and Pricing. INFOCOM 2001: 459-467
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergios Soursos, Costas Courcoubetis, George C. Polyzos: Differentiated Services in the GPRS Wireless Access Environment. IWDC 2001: 108-119
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasilios 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergios Soursos, Costas Courcoubetis, George C. Polyzos: Pricing differentiated services in the GPRS environment. Wireless Mobile Internet 2001: 62-68
2000
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward 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)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas 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
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Antonis Dimakis, George D. Stamoulis: Traffic Equivalence and Substitution in a Multiplexer. INFOCOM 1999: 1239-1247
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas 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
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis: Introduction to the Special Issue on Computer-Aided Verification (CAV93). Formal Methods in System Design 11(2): 111-112 (1997)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Costas Courcoubetis, Thomas A. Henzinger: Computing Accumulated Delays in Real-time Systems. Formal Methods in System Design 11(2): 137-155 (1997)
1996
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStavros Tripakis, Costas Courcoubetis: Extending Promela and Spin for Real Time. TACAS 1996: 329-348
1995
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Costas Courcoubetis, Mihalis Yannakakis: Distinguishing tests for nondeterministic and probabilistic machines. STOC 1995: 363-372
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Mihalis Yannakakis: The Complexity of Probabilistic Verification. J. ACM 42(4): 857-907 (1995)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis: From Timed Graphs to Hybrid Automata (Abstract). CONCUR 1994: 160
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Costas Courcoubetis, Thomas A. Henzinger: The Observational Power of Clocks. CONCUR 1994: 162-177
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGustavo de Veciana, Costas Courcoubetis, Jean C. Walrand: Decoupling Bandwidths for Networks: A Decomposition Approach to Resource Management. INFOCOM 1994: 466-473
1993
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings Springer 1993
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Costas Courcoubetis, Thomas A. Henzinger: Computing Accumulated Delays in Real-time Systems. CAV 1993: 181-193
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Werner Damm, Bernhard Josko: Verification of timing Properties of VHDL. CAV 1993: 225-236
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Costas Courcoubetis, David L. Dill: Model-Checking in Dense Real-time Inf. Comput. 104(1): 2-34 (1993)
1992
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, David L. Dill, Magda Chatzaki, Panagiotis Tzounakis: Verification with Real-Time COSPAN. CAV 1992: 274-287
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi: Minimization of Timed Transition Systems. CONCUR 1992: 340-354
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi: An implementation of three algorithms for timing verification based on automata emptiness. IEEE Real-Time Systems Symposium 1992: 157-166
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas 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)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Mihalis Yannakakis: Minimum and Maximum Delay Problems in Real-Time Systems. Formal Methods in System Design 1(4): 385-415 (1992)
1991
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis: Minimum and Maximum Delay Problems in Real-Time Systems. CAV 1991: 399-409
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Susanne Graf, Joseph Sifakis: An Algebra of Boolean Processes. CAV 1991: 454-465
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Costas Courcoubetis, David L. Dill: Model-Checking for Probabilistic Real-Time Systems (Extended Abstract). ICALP 1991: 115-126
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Costas Courcoubetis, David L. Dill: Verifying Automata Specifications of Probabilistic Real-time Systems. REX Workshop 1991: 28-44
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManolis 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis: Memory Efficient Algorithms for the Verification of Temporal Properties. CAV 1990: 233-242
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Mihalis Yannakakis: Markov Decision Processes and Regular Events (Extended Abstract). ICALP 1990: 336-349
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Costas Courcoubetis, David L. Dill: Model-Checking for Real-Time Systems LICS 1990: 414-425
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSudhir Aggarwal, Costas Courcoubetis, Pierre Wolper: Adding Liveness Properties to Coupled Finite-State Machines. ACM Trans. Program. Lang. Syst. 12(2): 303-339 (1990)
1989
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Panagiotis Konstantopoulos, Jean C. Walrand, Richard R. Weber: Stabilizing an Uncertain Production System. Queueing Syst. 5(1-3): 37-54 (1989)
1988
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Mihalis Yannakakis: Verifying Temporal Properties of Finite-State Probabilistic Programs FOCS 1988: 338-345
1987
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSudhir Aggarwal, Daniel Barbará, Costas Courcoubetis: LAN Broadcast Protocols for Implementing the CCA Model. PSTV 1987: 297-306
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Moshe Y. Vardi, Pierre Wolper: Reasoning about Fair Concurrent Programs STOC 1986: 283-294

Coauthor Index

1Sudhir Aggarwal [3] [6]
2Eleni Agiatzidou [85]
3Jörn Altmann [68] [72] [75] [80]
4Rajeev Alur [7] [12] [13] [18] [19] [20] [22] [24] [27] [29] [31] [33]
5Panayotis Antoniadis [47] [51] [53] [56] [60] [65] [78]
6Dimitrios Antos [79]
7Chris Bannink [72]
8Daniel Barbará [3]
9Malte Behrmann [77]
10Marina Bitsaki [54] [58] [62]
11Gideon Blocq [82]
12Michael Boniface [77] [83]
13María Ángeles Callejo-Rodrígues [77]
14Magda Chatzaki [21]
15Edward G. Coffman Jr. [11] [40]
16Jeremy Cohen [68]
17Werner Damm [23]
18John Darlington [68]
19David L. Dill [7] [12] [13] [18] [20] [21] [22]
20Antonis Dimakis [38] [44] [46] [74] [86]
21Manos Dramitinos [52] [59] [66] [67] [71] [72] [82]
22Olivier Dugeon [85]
23Elias C. Efstathiou [51]
24Daniel Field [83]
25Alan Fleming [75]
26Vincenzo Fogliati [77]
27M. R. Garey (Michael R. Garey) [11] [40]
28Susanne Graf [14]
29Li Guo [75]
30Nicolas Halbwachs [18] [20] [29]
31David Hausheer [77]
32Thomas A. Henzinger [19] [24] [27] [29] [33]
33Pei-Hsin Ho [19] [29]
34Finn-Tore Johansen [85]
35David S. Johnson [11] [40]
36Santiago Ristol Jorba [77]
37Bernhard Josko [23]
38Costas Kalogiros [78] [83]
39Manolis Katevenis [10]
40Frank P. Kelly [36] [39]
41Wolfgang Kleinwächter [77]
42Panagiotis Konstantopoulos [5]
43Latif Ladid [77]
44Man-Sze Li [77]
45George Margetis [42] [50]
46Robin Mason [53] [76]
47Lyle A. McGeoch [11]
48Eric T. Meyer [83]
49Natalia Miliou [76]
50Avi Miron [82]
51Xavier Nicollin [29]
52Pekka Nikander [77]
53Alfredo Olivero [29]
54Ariel Orda [82]
55George C. Polyzos [41] [43] [48] [51]
56Thierry Rayna [71] [72]
57Martin I. Reiman [2] [44]
58Marcel Risch [72] [75] [80]
59Peter W. Shor [11] [40]
60Stefanos Sidiropoulos [10]
61Joseph Sifakis [14] [29]
62Burton Simon [2]
63Vasilios A. Siris [35] [36] [37] [39] [42] [45] [49] [50] [55] [63] [64]
64Sergios Soursos [41] [43] [48] [70] [71]
65Spiros Spirou [77]
66George D. Stamoulis [35] [37] [38] [46] [49] [52] [54] [58] [59] [62] [66] [67] [69] [71] [72] [79] [82] [83] [85]
67Burkhard Stiller [77] [83]
68Ben Strulo [51] [56]
69George A. Thanos [69]
70Stavros Tripakis [32]
71Panagiotis Tzounakis [21]
72Moshe Y. Vardi [1] [9] [17]
73Gustavo de Veciana [26]
74Martin Waldburger [83]
75Jean C. Walrand [5] [26]
76Richard R. Weber [5] [11] [36] [39] [40] [61] [70] [73] [84]
77Pierre Wolper [1] [6] [9] [17]
78Howard Wong-Toi [18] [20]
79Klaus Wünstel [77]
80Mihalis Yannakakis [4] [8] [9] [11] [16] [17] [30] [31] [40]
81Sergio Yovine [29]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page