The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Preorders with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1992 (15) 1993-1996 (21) 1997-2000 (15) 2001-2003 (15) 2004-2006 (19) 2007-2008 (19) 2009-2010 (18) 2011-2013 (18) 2014-2015 (19) 2016-2018 (18) 2019 (3)
Publication types (Num. hits)
article(69) incollection(2) inproceedings(109)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 56 occurrences of 46 keywords

Results
Found 180 publication records. Showing 180 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
139Neelesh Korade, S. Arun-Kumar A Logical Characterization of Efficiency Preorders. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF efficiency preorders, Hennessy-Milner Logic, Concurrency, bisimulation, transition systems, process efficiency
104Rob J. van Glabbeek The Linear Time - Branching Time Spectrum II. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
94Lucian Ilie, Roberto Solis-Oba, Sheng Yu Reducing the Size of NFAs by Using Equivalences and Preorders. Search on Bibsonomy CPM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF state complexity, finite automata, equivalences, regular expression matching, preorders
94Bard Bloom, Wan Fokkink, Rob J. van Glabbeek Precongruence Formats for Decorated Trace Preorders. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF semantic equivalences and preorders, Concurrency, compositionality, labeled transition systems, full abstraction, structural operational semantics
90Roberto Segala Testing Probabilistic Automata. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
81Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang Characterising Testing Preorders for Finite Probabilistic Processes. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
66Fabio Alessi Type Preorders. Search on Bibsonomy CAAP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
51Marco Bernardo 0001, Luca Padovani Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. Search on Bibsonomy FMOODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51Ufuk Celikkan, Rance Cleaveland Generating Diagnostic Information for Behavioral Preorders. Search on Bibsonomy CAV The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
45Jirí Srba Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Bard Bloom, Wan Fokkink, Rob J. van Glabbeek Precongruence formats for decorated trace semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Decorated trace semantics, precongruence
36Gianni Bosi, Javier Gutiérrez García, Esteban Induráin Unified Representability of Total Preorders and Interval Orders through a Single Function: The Lattice Approach. Search on Bibsonomy Order The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 54F05
36Richard Booth 0001, Thomas Andreas Meyer On the Dynamics of Total Preorders: Revising Abstract Interval Orders. Search on Bibsonomy ECSQARU The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Roope Kaivola Using Compositional Preorders in the Verification of Sliding Window Protocal. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
30Martin Berger, Kohei Honda, Nobuko Yoshida Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Marc Aiguier, Diane Bahrami Structures for Abstract Rewriting. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2007 DBLP  DOI  BibTeX  RDF abstract rewriting, abstract deduction procedure, abstract completion procedure, rewrite system, axiomatization
30Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink Compositionality for Markov Reward Chains with Fast Transitions. Search on Bibsonomy EPEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition
30Maria Carla Palmeri, Rocco De Nicola, Mieke Massink Basic Observables for Probabilistic May Testing. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Jean-Marc Champarnaud, Fabien Coulon NFA Reduction Algorithms by Means of Regular Inequalities. Search on Bibsonomy Developments in Language Theory The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Bartek Klin, Pawel Sobocinski Syntactic Formats for Free. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Michele Boreale, Rocco De Nicola, Rosario Pugliese Asynchronous Observations of Processes. Search on Bibsonomy FoSSaCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
30Michele Boreale, Rocco De Nicola, Rosario Pugliese Basic Observables for Processes. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
30Lars Jenner, Walter Vogler Fast Asynchronous Systems in Dense Time. Search on Bibsonomy ICALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
30Roberto Segala Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Ed Brinksma, Bengt Jonsson, Fredrik Orava Refining Interfaces of Communicating Systems. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
30Franz Baader Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
30Rance Cleaveland, Matthew Hennessy Testing Equivalence as a Bisimulation Equivalence. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
30Rocco De Nicola, Matthew Hennessy CCS without tau's. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
28Paolo Boldi, Flavio Chierichetti, Sebastiano Vigna Pictures from Mongolia. Extracting the Top Elements from a Partially Ordered Set. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Algorithms, Ranking, Partial orders, Preorders
28Marc Pouzet, Pascal Raymond Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders
28Eerke A. Boiten, John Derrick Modelling Divergence in Relational Concurrent Refinement. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF internal operations, process algebraic refinement preorders, simulations, divergence, Data refinement
22Caleb C. Levy, Robert E. Tarjan Splaying Preorders and Postorders. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
22Mathias Ruggaard Pedersen Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
22Caleb C. Levy, Robert E. Tarjan Splaying Preorders and Postorders. Search on Bibsonomy WADS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Gregor Kemper, Ngô Viêt Trung, Nguyen Thi Van Anh Toward a theory of monomial preorders. Search on Bibsonomy Math. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22David McCarthy, Kalle M. Mikkola Continuity and completeness of strongly independent preorders. Search on Bibsonomy Mathematical Social Sciences The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Maciej Gazda, Tim A. C. Willemse Cooking Your Own Parity Game Preorders Through Matching Plays. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Giovanni Tito Bernardi, Adrian Francalanza Full-abstraction for client testing preorders. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22José Guerrero, Juan-José Miñana, Óscar Valero On the Use of Fuzzy Preorders in Multi-robot Task Allocation Problem. Search on Bibsonomy IPMU (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Aliaume Lopez, Alex Simpson Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Josep Freixas, Montserrat Pons Preorders in Simple Games. Search on Bibsonomy Trans. Computational Collective Intelligence The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Ferenc Bujtor, Lev Sorokin, Walter Vogler Testing Preorders for dMTS: Deadlock- and the New Deadlock-/DivergenceTesting. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Carlos Bejines, María Jesús Chasco, Jorge Elorza, Susana Montes Some Results About Fuzzy Consequence Operators and Fuzzy Preorders Using Conjunctors. Search on Bibsonomy AGOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Giovanni Bernardi 0001, Adrian Francalanza Full-Abstraction for Must Testing Preorders - (Extended Abstract). Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Yong Chan Kim Categories of fuzzy preorders, approximation operators and Alexandrov topologies. Search on Bibsonomy Journal of Intelligent and Fuzzy Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Rocco De Nicola, Hernán C. Melgratti Multiparty testing preorders. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
22Gianni Bosi, Gerhard Herden On continuous multi-utility representations of semi-closed and closed preorders. Search on Bibsonomy Mathematical Social Sciences The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Lucia Gallina, Andrea Marin, Sabina Rossi Connectivity and energy-aware preorders for mobile ad-hoc networks. Search on Bibsonomy Telecommunication Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi Name-passing calculi: From fusions to preorders and types. Search on Bibsonomy Inf. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22José Carlos Rodriguez Alcantud, Susana Díaz Fuzzy preorders: conditional extensions, extensions and their representations. Search on Bibsonomy FO & DM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Eman Ramadan, Hesham Mekky, Braulio Dumba, Zhi-Li Zhang Adaptive resilient routing via preorders in SDN. Search on Bibsonomy DCC@PODC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Maciej Gazda, Tim A. C. Willemse On Parity Game Preorders and the Logic of Matching Plays. Search on Bibsonomy SOFSEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Jasen Markovski Employing behavioral preorders to define controllability for nondeterministic discrete-event systems. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Yong Chan Kim Join-meet approximation operators and fuzzy preorders. Search on Bibsonomy Journal of Intelligent and Fuzzy Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu 0001 A behavioural theory for a π-calculus with preorders. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Dionís Boixader, Jordi Recasens Generation and Characterization of Fuzzy T-preorders. Search on Bibsonomy Applied Artificial Intelligence The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22José Carlos R. Alcantud, Susana Díaz Conditional extensions of fuzzy preorders. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Rocco De Nicola, Hernán C. Melgratti Multiparty Testing Preorders. Search on Bibsonomy TGC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Ulrich Höhle Many-Valued Preorders I: The Basis of Many-Valued Mathematics. Search on Bibsonomy A Passion for Fuzzy Sets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Ulrich Höhle Many-Valued Preorders II: The Symmetry Axiom and Probabilistic Geometry. Search on Bibsonomy A Passion for Fuzzy Sets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Ferenc Bujtor, Lev Sorokin, Walter Vogler Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu 0001 A Behavioural Theory for a π-calculus with Preorders. Search on Bibsonomy FSEN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Tetsuya Sato Identifying All Preorders on the Subdistribution Monad. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Egor Ianovski, Russell G. Miller, Keng Meng Ng, André Nies Complexity of Equivalence Relations and Preorders from Computability Theory. Search on Bibsonomy J. Symb. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Efe A. Ok, Gil Riella Topological Closure of Translation Invariant Preorders. Search on Bibsonomy Math. Oper. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Yuanye Tao, Hongliang Lai, Dexue Zhang Quantale-valued preorders: Globalization and cocompleteness. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Jeffrey T. Denniston, Austin Melton, Stephen Ernest Rodabaugh Enriched categories and many-valued preorders: Categorical, semantical, and topological perspectives. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Peter Hertling, Victor L. Selivanov Complexity issues for Preorders on finite labeled forests. Search on Bibsonomy Logic, Computation, Hierarchies The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Andrea Cerone, Matthew Hennessy Characterising Testing Preorders for Broadcasting Distributed Systems. Search on Bibsonomy TGC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Dionís Boixader, Jordi Recasens One-dimensional T-preorders. Search on Bibsonomy CCIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez On the Existence of Isotone Galois Connections between Preorders. Search on Bibsonomy ICFCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Marcus Pivato Multiutility representations for incomplete difference preorders. Search on Bibsonomy Mathematical Social Sciences The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Kosta Dosen, Zoran Petric Syntax for split preorders. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Jorge Elorza, Ramón Fuentes-González, Jean Bragard, Pedro J. Burillo On the relation between fuzzy closing morphological operators, fuzzy consequence operators induced by fuzzy preorders and fuzzy closure and co-closure systems. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22S. P. Tiwari, Arun K. Srivastava Fuzzy rough sets, fuzzy preorders and fuzzy topologies. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22S. P. Tiwari, Anupam K. Singh On bijective correspondence between IF-preorders and saturated IF-topologies. Search on Bibsonomy Int. J. Machine Learning & Cybernetics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi Name-Passing Calculi: From Fusions to Preorders and Types. Search on Bibsonomy LICS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Shin-ya Katsumata, Tetsuya Sato Preorders on Monads and Coalgebraic Simulations. Search on Bibsonomy FoSSaCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Manish Gaur, S. Arun-Kumar On Efficiency Preorders. Search on Bibsonomy FSEN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Giovanni Bernardi 0001, Matthew Hennessy Compliance and Testing Preorders Differ. Search on Bibsonomy SEFM Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Yuxing Deng, Alwen Tiu Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
22Marta Bílková, Alexander Kurz 0001, Daniela Petrisan, Jiri Velebil Relation Liftings on Preorders and Posets Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
22Olivier Hudry On the computation of median linear orders, of median complete preorders and of median weak orders. Search on Bibsonomy Mathematical Social Sciences The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
22Yuxing Deng, Alwen Tiu Characterisations of testing preorders for a finite probabilistic π-calculus. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
22L. Agud, Raquel Garcia Catalán, Susana Díaz, Esteban Induráin, Susana Montes Numerical representability of fuzzy total preorders. Search on Bibsonomy Int. J. Comput. Intell. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
22Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou Interference-Sensitive Preorders for MANETs. Search on Bibsonomy QEST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
22Ignacio Montes, Susana Díaz, Susana Montes On complete fuzzy preorders and their characterizations. Search on Bibsonomy Soft Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
22Peter Hertling, Victor L. Selivanov Complexity Issues for Preorders on Finite Labeled Forests. Search on Bibsonomy CiE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
22Marta Bílková, Alexander Kurz 0001, Daniela Petrisan, Jiri Velebil Relation Liftings on Preorders and Posets. Search on Bibsonomy CALCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
22James D. Mitchell, Michal Morayne, Yann H. Péresse, Martyn Quick Generating transformation semigroups using endomorphisms of preorders, graphs, and tolerances. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Peter J. Cameron, Mihyun Kang, Dudley Stark Random preorders and alignments. Search on Bibsonomy Discrete Mathematics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Hongliang Lai, Dexue Zhang Good fuzzy preorders on fuzzy power structures. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Gianni Bosi, Romano Isler Continuous Utility Functions for Nontotal Preorders: A Review of Recent Results. Search on Bibsonomy Preferences and Decisions The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Dionís Boixader, Jordi Recasens Approximating fuzzy preorders and equivalences. A similarity based approach. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Ignacio Montes, Davide Martinetti, Susana Díaz, Susana Montes Characterization of Complete Fuzzy Preorders Defined by Archimedean t-Norms. Search on Bibsonomy IPMU (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Galal Mokhtar Elsalamony Connecting Fuzzifying Topologies and Generalized Ideals by Means of Fuzzy Preorders. Search on Bibsonomy Int. J. Math. Mathematical Sciences The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Lingqiang Li, Dexue Zhang On the relationship between limit spaces, many valued topological spaces, and many valued preorders. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Dionís Boixader, Jordi Recasens Approximate fuzzy preorders and equivalences. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Susana Díaz, Davide Martinetti, Ignacio Montes, Susana Montes Connection Among Some Characterizations of Complete Fuzzy Preorders. Search on Bibsonomy ISDA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 180 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license