The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Costas Courcoubetis" ( http://dblp.L3S.de/Authors/Costas_Courcoubetis )

  Author page on DBLP  Author page in RDF  Community of Costas Courcoubetis in ASPL-2

Publication years (Num. hits)
1986-1991 (15) 1992-1995 (16) 1996-2002 (16) 2003-2006 (19) 2007-2010 (15) 2011-2012 (5)
Publication types (Num. hits)
article(30) inproceedings(55) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 91 occurrences of 72 keywords

Results
Found 86 publication records. Showing 86 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Costas Courcoubetis, Richard R. Weber Economic Issues in Shared Infrastructures. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eleni Agiatzidou, Costas Courcoubetis, Olivier Dugeon, Finn-Tore Johansen, George D. Stamoulis Inter-domain Coordination Models. Search on Bibsonomy Networking Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Antonis Dimakis Fair background data transfers of minimal delay impact. Search on Bibsonomy INFOCOM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Manos Dramitinos, George D. Stamoulis, Gideon Blocq, Avi Miron, Ariel Orda Inter-carrier interconnection services: QoS, economics and business issues. Search on Bibsonomy ISCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Costas 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. Search on Bibsonomy Future Internet Assembly The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dimitrios Antos, Costas Courcoubetis, George D. Stamoulis Economic aspects of building software for service-oriented architectures. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jörn Altmann, Costas Courcoubetis, Marcel Risch A marketplace and its market mechanism for trading commoditized computing resources. Search on Bibsonomy Annales des Télécommunications The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control. Search on Bibsonomy ETM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robin Mason, Costas Courcoubetis, Natalia Miliou A Framework for Analyzing the Economics of a Market for Grid Services. Search on Bibsonomy GECON The full citation details ... 2009 DBLP  DOI  BibTeX  RDF spot market, market failure, Grid services, Grid economics, Grid market, competitive equilibrium
1Marcel Risch, Jörn Altmann, Li Guo, Alan Fleming, Costas Courcoubetis The GridEcon Platform: A Business Scenario Testbed for Commercial Cloud Services. Search on Bibsonomy GECON The full citation details ... 2009 DBLP  DOI  BibTeX  RDF marketplace for computing resources, market-based resource allocation, market emulation tool, service-oriented architectures, Grid computing, Cloud computing, utility computing, market mechanism
1Costas Kalogiros, Costas Courcoubetis, Panayotis Antoniadis WOICE: A Decentralized System for Ubiquitous VoIP Services. Search on Bibsonomy DigiBiz The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Richard R. Weber Economic issues in shared infrastructures. Search on Bibsonomy VISA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF economic-based scheduling, simulation, algorithms, load-balancing, management, price, computational grids, grid scheduling, resource availability, ad-hoc grid
1Costas Courcoubetis, Antonis Dimakis Tariffs, Mechanisms and Equilibria at a Single Internet Link. Search on Bibsonomy NET-COOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF congestion marks, noncooperative equilibrium, congestion control, pricing
1David 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. Search on Bibsonomy Future Internet Assembly The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sergios Soursos, Costas Courcoubetis, Richard R. Weber Dynamic Bandwidth Pricing: Provision Cost, Market Size, Effective Bandwidths and Price Games. Search on Bibsonomy J. UCS The full citation details ... 2008 DBLP  BibTeX  RDF
1Jörn Altmann, Costas Courcoubetis, George D. Stamoulis, Manos Dramitinos, Thierry Rayna, Marcel Risch, Chris Bannink GridEcon: A Market Place for Computing Resources. Search on Bibsonomy GECON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Commercial Grids, Grid Market Place, Grid Computing, Business Models, Utility Computing, Grid Economics, Market Mechanisms
1Costas Courcoubetis, Manos Dramitinos, Thierry Rayna, Sergios Soursos, George D. Stamoulis Market Mechanisms for Trading Grid Resources. Search on Bibsonomy GECON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bid and ask, futures, Market mechanism, grid market, spot
1Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis An auction mechanism for allocating the bandwidth of networks to their users. Search on Bibsonomy Computer Networks The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1George A. Thanos, Costas Courcoubetis, George D. Stamoulis Adopting the Grid for Business Purposes: The Main Objectives and the Associated Economic Issues. Search on Bibsonomy GECON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF virtual organisa-tions, network externalities etc, economics, market, resource sharing, economies of scale, Grid Technology
1Jörn Altmann, Costas Courcoubetis, John Darlington, Jeremy Cohen GridEcon - The Economic-Enhanced Next-Generation Internet. Search on Bibsonomy GECON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Architecture and Next-Generation Internet, Grid Computing, Business Model, Service-Oriented Computing, Markets, Economic Modeling, Grid Economics
1Marina Bitsaki, George D. Stamoulis, Costas Courcoubetis An efficient auction-based mechanism for hierarchically structured bandwidth markets. Search on Bibsonomy Computer Communications The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Panayotis Antoniadis, Costas Courcoubetis Enforcing efficient resource provisioning in peer-to-peer file sharing systems. Search on Bibsonomy Operating Systems Review The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Richard R. Weber Incentives for large peer-to-peer systems. Search on Bibsonomy IEEE Journal on Selected Areas in Communications The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis A Random Walk Model for Studying Allocation Patterns in Auction-Based Resource Allocation. Search on Bibsonomy ICQT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF resource allocation, random walk, Auctions
1Vasilios A. Siris, Costas Courcoubetis Resource control for the EDCA and HCCA mechanisms in IEEE 802.11e networks. Search on Bibsonomy WiOpt The full citation details ... 2006 DBLP  BibTeX  RDF
1Panayotis Antoniadis, Costas Courcoubetis The Case of Multi-hop Peer-to-Peer Implementation of Mobile Social Applications. Search on Bibsonomy ICSNC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Vasilios A. Siris, Costas Courcoubetis Resource Control for the EDCA Mechanism in Multi-Rate IEEE 802.11e Networks. Search on Bibsonomy WOWMOM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Panayotis Antoniadis, Costas Courcoubetis, Ben Strulo Incentives for content availability in memory-less peer-to-peer file sharing systems. Search on Bibsonomy SIGecom Exchanges The full citation details ... 2005 DBLP  DOI  BibTeX  RDF cheap pseudonyms, content availability, design, economics, public goods
1Costas Courcoubetis Invited Talk II Summary: Incentive Schemes in Memory-Less P2P Systems. Search on Bibsonomy WAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marina Bitsaki, George D. Stamoulis, Costas Courcoubetis A new strategy for bidding in the network-wide progressive second price auction for bandwidth. Search on Bibsonomy CoNEXT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF network, efficiency, auctions, bandwidth allocation
1Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis An Innovative Decision Support System for Bidding in Simultaneous Ascending Auctions. Search on Bibsonomy CEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Simultaneous Ascending Auctions, decision support system, Auctions, bidding strategy
1Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis Auction-Based Resource Reservation in 2.5/3G Networks. Search on Bibsonomy MONET The full citation details ... 2004 DBLP  DOI  BibTeX  RDF efficiency, auction, UMTS, utility, resource reservation
1Panayotis Antoniadis, Costas Courcoubetis, Robin Mason Comparing economic incentives in peer-to-peer networks. Search on Bibsonomy Computer Networks The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marina Bitsaki, George D. Stamoulis, Costas Courcoubetis An Efficient Auction Mechanism for Hierarchically Structured Bandwidth Markets. Search on Bibsonomy QofIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF bandwidth markets, efficiency, Auctions
1Vasilios A. Siris, Costas Courcoubetis Resource control for loss-sensitive traffic in CDMA networks. Search on Bibsonomy INFOCOM The full citation details ... 2004 DBLP  BibTeX  RDF
1Vasilios A. Siris, Costas Courcoubetis, George Margetis Service differentiation and performance of weighted window-based congestion control and packet marking algorithms in ECN networks. Search on Bibsonomy Computer Communications The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sergios Soursos, Costas Courcoubetis, George C. Polyzos Pricing Differentiated Services in the GPRS Environment. Search on Bibsonomy Wireless Networks The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Vasilios A. Siris, George D. Stamoulis Simple tariffs based on price multipliers for ATM VBR services. Search on Bibsonomy European Transactions on Telecommunications The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Panayotis Antoniadis, Costas Courcoubetis, Elias C. Efstathiou, George C. Polyzos, Ben Strulo Peer-to-Peer Wireless LAN Consortia: Economic Modeling and Architecture. Search on Bibsonomy Peer-to-Peer Computing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF WLAN, P2P, rules, incentives, roaming
1Costas Courcoubetis, Vasilios A. Siris Procedures and tools for analysis of network traffic measurements. Search on Bibsonomy Perform. Eval. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Antonis Dimakis, George D. Stamoulis Traffic equivalence and subistution in a multiplexer with applications to dynamic available capacity estimation. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2002 DBLP  BibTeX  RDF available capacity, many-sources asymptotic, on-line estimation, call admission control, traffic modeling, effective bandwidth
1Panayotis Antoniadis, Costas Courcoubetis Market Models for P2P Content Distribution. Search on Bibsonomy AP2PC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sergios Soursos, Costas Courcoubetis, George C. Polyzos Differentiated Services in the GPRS Wireless Access Environment. Search on Bibsonomy IWDC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Vasilios A. Siris, Costas Courcoubetis, George Margetis Service Differentiation in ECN Networks Using Weighted Window-Based Congestion Control for Various Packet Marking Algorithms. Search on Bibsonomy QofIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sergios Soursos, Costas Courcoubetis, George C. Polyzos Pricing differentiated services in the GPRS environment. Search on Bibsonomy Wireless Mobile Internet The full citation details ... 2001 DBLP  DOI  BibTeX  RDF tatonnement, two-bit differentiation, differentiated services, GPRS, congestion pricing
1Costas Courcoubetis, Antonis Dimakis, Martin I. Reiman Providing Bandwidth Guarantees over a Best-effort Network: Call-admission and Pricing. Search on Bibsonomy INFOCOM The full citation details ... 2001 DBLP  BibTeX  RDF
1Costas Courcoubetis, Frank P. Kelly, Vasilios A. Siris, Richard R. Weber A study of simple usage-based charging schemes for broadband networks. Search on Bibsonomy Telecommunication Systems The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Edward 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. Search on Bibsonomy SIAM J. Discrete Math. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Vasilios A. Siris, George D. Stamoulis Application of the many sources asymptotic and effective bandwidths to traffic engineering. Search on Bibsonomy Telecommunication Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Antonis Dimakis, George D. Stamoulis Traffic Equivalence and Substitution in a Multiplexer. Search on Bibsonomy INFOCOM The full citation details ... 1999 DBLP  BibTeX  RDF
1Costas Courcoubetis, Frank P. Kelly, Vasilios A. Siris, Richard R. Weber A study of simple usage-based charging schemes for broadband networks. Search on Bibsonomy Broadband Communications The full citation details ... 1998 DBLP  BibTeX  RDF
1Costas Courcoubetis, Vasilios A. Siris, George D. Stamoulis Application and Evaluation of Large Deviation Techniques for Traffic Engineering in Broadband Networks. Search on Bibsonomy SIGMETRICS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ATM, traffic engineering, large deviations, effective bandwidths, broadband networks
1Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger Computing Accumulated Delays in Real-time Systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis Introduction to the Special Issue on Computer-Aided Verification (CAV93). Search on Bibsonomy Formal Methods in System Design The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Stavros Tripakis, Costas Courcoubetis Extending Promela and Spin for Real Time. Search on Bibsonomy TACAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rajeev 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. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Mihalis Yannakakis The Complexity of Probabilistic Verification. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF EXPTIME-complete, model checking, temporal logic, Markov chain, automata, probabilistic algorithm, PSPACE-complete
1Rajeev Alur, Costas Courcoubetis, Mihalis Yannakakis Distinguishing tests for nondeterministic and probabilistic machines. Search on Bibsonomy STOC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger The Observational Power of Clocks. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis From Timed Graphs to Hybrid Automata (Abstract). Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Gustavo de Veciana, Costas Courcoubetis, Jean C. Walrand Decoupling Bandwidths for Networks: A Decomposition Approach to Resource Management. Search on Bibsonomy INFOCOM The full citation details ... 1994 DBLP  BibTeX  RDF
1Rajeev Alur, Costas Courcoubetis, David L. Dill Model-Checking in Dense Real-time Search on Bibsonomy Inf. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger Computing Accumulated Delays in Real-time Systems. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Werner Damm, Bernhard Josko Verification of timing Properties of VHDL. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis (eds.) Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings Search on Bibsonomy CAV The full citation details ... 1993 DBLP  BibTeX  RDF
1Costas Courcoubetis, Mihalis Yannakakis Minimum and Maximum Delay Problems in Real-Time Systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis Memory-Efficient Algorithms for the Verification of Temporal Properties. Search on Bibsonomy Formal Methods in System Design The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi Minimization of Timed Transition Systems. Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi An implementation of three algorithms for timing verification based on automata emptiness. Search on Bibsonomy IEEE Real-Time Systems Symposium The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, David L. Dill, Magda Chatzaki, Panagiotis Tzounakis Verification with Real-Time COSPAN. Search on Bibsonomy CAV The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. Search on Bibsonomy Hybrid Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Manolis Katevenis, Stefanos Sidiropoulos, Costas Courcoubetis Weighted Round-Robin Cell Multiplexing in a General-Purpose ATM Switch Chip. Search on Bibsonomy IEEE Journal on Selected Areas in Communications The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Costas Courcoubetis, David L. Dill Model-Checking for Probabilistic Real-Time Systems (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Susanne Graf, Joseph Sifakis An Algebra of Boolean Processes. Search on Bibsonomy CAV The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis Minimum and Maximum Delay Problems in Real-Time Systems. Search on Bibsonomy CAV The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Costas Courcoubetis, David L. Dill Verifying Automata Specifications of Probabilistic Real-time Systems. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Real-time, Automatic verification, Probabilistic systems
1Edward 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 Search on Bibsonomy STOC The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper Adding Liveness Properties to Coupled Finite-State Machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Mihalis Yannakakis Markov Decision Processes and Regular Events (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis Memory Efficient Algorithms for the Verification of Temporal Properties. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Costas Courcoubetis, David L. Dill Model-Checking for Real-Time Systems Search on Bibsonomy LICS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Panagiotis Konstantopoulos, Jean C. Walrand, Richard R. Weber Stabilizing an Uncertain Production System. Search on Bibsonomy Queueing Syst. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Costas Courcoubetis, Mihalis Yannakakis Verifying Temporal Properties of Finite-State Probabilistic Programs Search on Bibsonomy FOCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF finite-state probabilistic programs, concurrent programs, linear temporal logic, temporal properties, sequential programs, PSPACE, omega -automata
1Costas Courcoubetis, Martin I. Reiman, Burton Simon Stability of a Queueing System with Concurrent Service and Locking. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Sudhir Aggarwal, Daniel Barbará, Costas Courcoubetis LAN Broadcast Protocols for Implementing the CCA Model. Search on Bibsonomy PSTV The full citation details ... 1987 DBLP  BibTeX  RDF
1Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper Reasoning about Fair Concurrent Programs Search on Bibsonomy STOC The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #86 of 86 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.