The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1936-1970 (15) 1971-1981 (15) 1982-1986 (16) 1987-1991 (15) 1992-1994 (18) 1995-1997 (21) 1998-1999 (33) 2000 (22) 2001 (23) 2002-2003 (31) 2004 (28) 2005 (31) 2006 (32) 2007 (33) 2008 (26) 2009 (27) 2010 (16) 2011 (19) 2012 (39) 2013 (38) 2014 (43) 2015 (23) 2016 (46) 2017 (28) 2018 (28) 2019 (45) 2020 (71) 2021 (39) 2022 (49) 2023 (53) 2024 (19)
Publication types (Num. hits)
article(359) book(7) incollection(38) inproceedings(524) phdthesis(8) proceedings(6)
Venues (Conferences, Journals, ...)
CoRR(92) Real-time Linked Dataspaces(18) J. Symb. Log.(14) TLCA(13) WCFLP(11) CSL(9) EMBC(9) HICSS(9) LICS(9) PPDP(9) WFLP(9) ACC(8) DEBS(8) New Horizons for a Data-Driven...(8) PADL(8) POPL(8) More (+10 of total 466)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 209 occurrences of 148 keywords

Results
Found 1067 publication records. Showing 942 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
108María Alpuente, Santiago Escobar 0001, Salvador Lucas UPV-CURRY: An Incremental CURRY Interpreter. Search on Bibsonomy SOFSEM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
100Michael Hanus, Frank Huch, Philipp Niederau ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. Search on Bibsonomy IFL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
90Emilio Jesús Gallego Arias, Julio Mariño An overview of the Sloth2005 curry system: system description. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF constraint definitional trees, sloth, type classes, curry
90Julio Mariño, José María Rey Poza Adding constraints to curry via flat guards. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF definitional trees, sloth, constraints, type classes, curry
77Bernd Braßel, Frank Huch Translating curry to haskell system demo. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF compiler, haskell, translation, curry
73Bernd Braßel, Michael Hanus, Marion Müller High-Level Database Programming in Curry. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
73Michael Hanus A generic analysis environment for declarative programs. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF program analysis, programming environments, functional logic programming
69Jair Minoro Abe, Kazumi Nakamatsu, Fábio Romeu de Carvalho A Note on Monadic Curry System P1. Search on Bibsonomy KES (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Curry algebras, system P1, paracomplete logic, nonclassical logic, algebraic logic
69Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu Monadic Curry Algebras Q tau. Search on Bibsonomy KES (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Curry algebras, monadic algebras, paraconsistent annotated logic, algebraic logic
68J. Guadalupe Ramos, Josep Silva, Germán Vidal An offline partial evaluator for curry programs. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF offline partial evaluation, narrowing
60Bernd Brassel, Frank Huch The Kiel Curry System KiCS. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
60J. Guadalupe Ramos, Josep Silva, Germán Vidal An Embedded Language Approach to Router Specification in Curry. Search on Bibsonomy SOFSEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
60Jean-Louis Krivine The Curry-Howard Correspondence in Set Theory. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
56Michael Hanus Putting declarative programming into the web: translating curry to javascript. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF user interfaces, javascript, web programming, functional logic programming, curry
56Tim Sheard Putting curry-howard to work. Search on Bibsonomy Haskell The full citation details ... 2005 DBLP  DOI  BibTeX  RDF extensional kind system, logic, haskell, GADT, curry-howard isomorphism
56Sebastian Fischer 0001 A functional logic database library. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF database library, dynamic predicates, curry, persistent storage
52Ken-etsu Fujita, Aleksy Schubert Existential Type Systems with No Types in Terms. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
52Michael Hanus A Functional Logic Programming Approach to Graphical User Interfaces. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Iman Poernomo, John N. Crossley, Martin Wirsing Programs, Proofs and Parametrized Specifications. Search on Bibsonomy WADT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Parametrized specifications, CASL, SML, Curry-Howard isomorphism
47Wolfgang Lux Adding Linear Constraints over Real Numbers to Curry. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
47Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal A Partial Evaluation Framework for Curry Programs. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
42Kostia Chardonnet Towards a Curry-Howard Correspondence for Quantum Computation. (Vers une correspondance de Curry-Howard pour le calcul quantique). Search on Bibsonomy 2023   RDF
42Farzad Jafarrahmani Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective. (Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek). Search on Bibsonomy 2023   RDF
42Michael Hanus CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
41Flor Miriam Plaza del Arco, Amanda Cercas Curry, Alba Curry, Gavin Abercrombie, Dirk Hovy Angry Men, Sad Women: Large Language Models Reflect Gendered Stereotypes in Emotion Attribution. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
41Flor Miriam Plaza del Arco, Alba Curry, Amanda Cercas Curry, Dirk Hovy Emotion Analysis in NLP: Trends, Gaps and Roadmap for Future Directions. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
41Alba Curry, Amanda Cercas Curry Computer says "No": The Case Against Empathetic Conversational AI. Search on Bibsonomy ACL (Findings) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Alba Curry, Amanda Cercas Curry Computer says "No": The Case Against Empathetic Conversational AI. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
39Noam Zeilberger Refinement types and computational duality. Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF duality, effects, intersection types, focusing, union types
39Elvira Albert, Michael Hanus, Germán Vidal A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo Some Computational Properties of Intersection Types. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Neelakantan R. Krishnaswami Focusing on pattern matching. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF curry-howard, pattern matching, type theory, focusing
35Jan Christiansen, Sebastian Fischer 0001 EasyCheck - Test Data for Free. Search on Bibsonomy FLOPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Encapsulated Search, Testing, Nondeterminism, Curry
35Jean-Louis Krivine A call-by-name lambda-calculus machine. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lambda-calculus machine, Control instruction, Curry-Howard correspondence
35Atsushi Ohori A proof theory for machine code. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Curry-Howard isomorphism
35Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori Pure patterns type systems. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Curry-Howard, pure type systems, patterns, matching, logics, Lambda-calculus, rewriting
34Murdoch Gabbay, Dominic P. Mulligan One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Maribel Fernández, Murdoch Gabbay Curry-Style Types for Nominal Terms. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polymorphism, type inference, rewriting, binding
34Mayer Goldberg A Variadic Extension of Curry's Fixed-Point Combinator. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fixed-point combinators, applicative order, variadic functions, Scheme, lambda-calculus, fixed points
34Sonia Estévez Martín, Rafael del Vado Vírseda Designing an efficient computation strategy in CFLP(FD) using definitional trees. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF definitional trees, functional logic languages, constraint logic programming, narrowing, finite domains
34Alexandre Miquel A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Michael Hanus High-Level Server Side Web Scripting in Curry. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Matt Fairtlough, Michael Mendler On the Logical Content of Computational Type Theory: A Solution to Curry's Problem. Search on Bibsonomy TYPES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Ken-etsu Fujita, Aleksy Schubert Partially Typed Terms between Church-Style and Curry-Style. Search on Bibsonomy IFIP TCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Atsushi Ohori A Curry-Howard Isomorphism for Compilation and Program Execution. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Milind Gandhe, G. Venkatesh, Amitabha Sanyal Correcting Errors in the Curry System. Search on Bibsonomy FSTTCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
34Thierry Boy de la Tour, Christoph Kreitz Building Proofs by Analogy via the Curry-Horward Isomorphism. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
34Edward Curry, Doug Lea Introduction to the 1st International Middleware Doctoral Symposium. Search on Bibsonomy Doctoral Symposium on Middleware The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Michael Hanus, Christof Kluß Declarative Programming of User Interfaces. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Ana Bove, Peter Dybjer Dependent Types at Work. Search on Bibsonomy LerNet ALFA Summer School The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Michael Moortgat Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Sebastian Fischer 0001, Herbert Kuchen Systematic generation of glass-box test cases for functional logic programs. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF testing, declarative programming, code coverage
26Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch Observing Functional Logic Computations. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Herman Geuvers, Rob Nederpelt Rewriting for Fitch Style Natural Deductions. Search on Bibsonomy RTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26François Maurel Nondeterministic Light Logics and NP-Time. Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Light logics, implicit characterisations of complexity classes, NP complexity
26Jean-Louis Krivine Typed lambda-calculus in classical Zermelo-Frænkel set theory. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03E40, 03B40, 68N18
26Elvira Albert, Michael Hanus, Germán Vidal Using an Abstract Representation to Specialize Functional Logic Programs. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Iman Poernomo, John N. Crossley Protocols between Programs and Proofs. Search on Bibsonomy LOPSTR (LNCS 2042: Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Michael Hanus, Frank Steiner Controlling Search in Declarative Programs. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Jean Goubault-Larrecq Conjunctive Types and SKInT. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Torben Braüner The Girard Translation Extended with Recursion. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
22Jan Christiansen, Daniel Seidel, Janis Voigtländer Free theorems for functional logic programs. Search on Bibsonomy PLPV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF haskell, relational parametricity, curry
22Zena M. Ariola, Aaron Bohannon, Amr Sabry Sequent calculi and abstract machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Krivine machine, duality, explicit substitutions, natural deduction, Curry-Howard isomorphism
22Sebastian Fischer 0001, Herbert Kuchen Data-flow testing of declarative programs. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data flow, code coverage, curry
22Harry Halpin From Typed-Functional Semantic Web Services to Proofs. Search on Bibsonomy ISWC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Functional Programming, Semantic Web Services, Type Theory, Proofs, Curry-Howard Isomorphism
22Yosihiro Yuse, Atsushi Igarashi A modal type system for multi-level generating extensions with persistent code. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism
22Pavel Naumov On Modal Logics of Partial Recursive Functions. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF modal logic, recursive function, Curry-Howard isomorphism
22Philip Wadler Call-by-value is dual to call-by-name. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Curry-Howard correspondence, De Morgan dual, lambda mu calculus, logic, lambda calculus, sequent calculus, natural deduction
22Uday S. Reddy A Typed Foundation for Directional Logic Programming. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Directionality, types, linear logic, sequent calculus, modes, concurrent logic programming, Curry-Howard isomorphism, logic variables
21Juan Climent Vidal, Enric Cosme-Llópez From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Fairouz Kamareddine Substitution in the lambda Calculus and the role of the Curry School. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Pulkit Pattnaik, Rishabh Maheshwary, Kelechi Ogueji, Vikas Yadav, Sathwik Tejaswi Madhusudhan Curry-DPO: Enhancing Alignment using Curriculum Learning & Ranked Preferences. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Gilles Dowek A theory independent Curry-De Bruijn-Howard correspondence. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Kostia Chardonnet, Alexis Saurin, Benoît Valiron A Curry-Howard Correspondence for Linear, Reversible Computation. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Steven Libby RICE: An Optimizing Curry Compiler. Search on Bibsonomy PADL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Kostia Chardonnet, Alexis Saurin, Benoît Valiron A Curry-Howard Correspondence for Linear, Reversible Computation. Search on Bibsonomy CSL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Rafael Félix Mora Ramirez A Pragmatic Dissolution of Curry's Paradox. Search on Bibsonomy Logica Universalis The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Melissa Antonelli, Ugo Dal Lago, Paolo Pistone Curry and Howard Meet Borel. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Melissa Antonelli, Ugo Dal Lago, Paolo Pistone Curry and Howard Meet Borel. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Ivo Pezlar The placeholder view of assumptions and the Curry-Howard correspondence. Search on Bibsonomy Synth. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Cosimo Perini Brogi Curry-Howard-Lambek Correspondence for Intuitionistic Belief. Search on Bibsonomy Stud Logica The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Adam Farris, Aryaman Arora For the Purpose of Curry: A UD Treebank for Ashokan Prakrit. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
21Jonas Böhm, Michael Hanus, Finn Teegen From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. Search on Bibsonomy PPDP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Ivo Pezlar The Placeholder View of Assumptions and the Curry-Howard Correspondence (Extended Abstract). Search on Bibsonomy CLAR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Michael Hanus Combining Static and Dynamic Contract Checking for Curry. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Cosimo Perini Brogi Curry-Howard-Lambek Correspondence for Intuitionistic Belief. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
21Manuel Eduardo Tapia-Navarro, Luis Estrada-González When Curry met Abel. Search on Bibsonomy Log. J. IGPL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Kostia Chardonnet, Alexis Saurin, Benoît Valiron Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. Search on Bibsonomy RC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21James Laird A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λ μ-Calculus. Search on Bibsonomy FoSSaCS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Juan Ferrer Meleiro, Hugo Luiz Mariano Formalizing the Curry-Howard Correspondence. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Michael Hanus, Finn Teegen Adding Data to Curry. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Cécilia Pradic, Colin Riba A Curry-Howard Approach to Church's Synthesis. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Rodolphe Lepigre, Christophe Raffalli Practical Subtyping for Curry-Style Languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Juliana Viscenheski, Artur Ziviani, Thiago Henrique Silva From pizza to curry: preferences for recipes around the world. Search on Bibsonomy WebMedia The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann Tools for Curry-Coloured Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Michael Hanus, Finn Teegen Adding Data to Curry. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones Making a faster Curry with extensional types. Search on Bibsonomy Haskell@ICFP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Jonathan P. Seldin Formalism and Structuralism, a Synthesis: the Philosophical Ideas of H. B. Curry. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
21Federico Aschieri, Agata Ciabattoni, Francesco A. Genco Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
21Rob Arthan, Paulo Oliva A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 942 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license