The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1952-1982 (18) 1984-1988 (17) 1989-1992 (17) 1993-2000 (17) 2001-2003 (19) 2004-2006 (15) 2007-2008 (17) 2009-2012 (17) 2013-2021 (15) 2022-2023 (5)
Publication types (Num. hits)
article(40) book(2) incollection(3) inproceedings(108) phdthesis(4)
Venues (Conferences, Journals, ...)
POPL(5) ACM SIGPLAN Notices(4) CoRR(4) SAC(4) CADE(3) CSL(3) ICALP(3) All About Maude(2) COLING(2) Commun. ACM(2) ICFP(2) IEEE Trans. Software Eng.(2) LICS(2) SEKE(2) STACS(2) TLCA(2) More (+10 of total 121)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 71 occurrences of 62 keywords

Results
Found 157 publication records. Showing 157 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
118Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski Kleene Monads: Handling Iteration in a Framework of Generic Effects. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
112I. V. Vel'bitskiy Metalanguage for formal definition of semantics of programming languages. Search on Bibsonomy Methods of Algorithmic Language Implementation The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
68Glynn Winskel A Linear Metalanguage for Concurrency. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
59Sharon C. Adler Delivering the word - integrating publications technologies. Search on Bibsonomy ACM Annual Conference The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
44Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa Ott: effective tool support for the working semanticist. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Pierre Lévy Toward a Self-referential Collective Intelligence Some Philosophical Background of the IEML Research Program. Search on Bibsonomy ICCCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF IEML, semantic interoperability, collective intelligence, philosophy, semantic space, Web of data, semantic tagging, metalanguage
43Andruid Kerne, Phoebe O. Toups Dugas, Blake Dworaczyk, Madhur Khandelwal A concise XML binding framework facilitates practical object-oriented document engineering. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2008 DBLP  DOI  BibTeX  RDF binding framework, Java, XML, object-oriented programming, translation, metalanguage
43Soklei Leong, Stephen M. Jodis, Kevin J. Sullivan, Oliver Jiang, Paul A. D. de Maine A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler System. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF transportable programming language, bifunctional compiler, hypothetical parent, rule modifier, table generator, conversion rule description language, tabular forms, program compilers, high-level-language, high level languages, metalanguage, program translation, code conversion
43F. Keith Hanna, Neil Daeche, Mark Longley Specification and Verification Using Dependent Types. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF VERITAS/sup +/, iterative structures, functional metalanguage, computational implementation, modeling, modelling, formal specification, theorem proving, theorem proving, iterative methods, dependent types, numerals, specification logic
39Ville T. Oikarinen Extracting a domain specific language from an example: a bottom-up method using the ngrease metalanguage. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF code generation, refactoring, method, DSL, metaprogramming
39Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott User Interfaces and Metalanguage Applications. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Shin-ya Katsumata A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. Search on Bibsonomy CSL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Eugenio Moggi, Sonia Fagorzi A Monadic Multi-stage Metalanguage. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Ioannis T. Kassios, Monica M. C. Schraefel Noema: A Metalanguage for Scripting Versionable Hypertexts. Search on Bibsonomy DCW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Gopalan Nadathur The Metalanguage lambda-Prolog and Its Implementation. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29David Turner, Glynn Winskel Nominal Domain Theory for Concurrency. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Julien Wintz, Pascal Schreck, Pascal Mathis A framework for geometric constraint satisfaction problem. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF geometric constraint systems description, geometric universe, software engineering, algebraic specification
29Milena Slavcheva Semantic Representation of Events: Building a Semantic Primes Component. Search on Bibsonomy TSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF event types, verbal predicates, metamodel
29Sam Lindley, Ian Stark Reducibility and TT-Lifting for Computation Types. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Alberto Ciaffaglione, Luigi Liquori, Marino Miculan Imperative Object-Based Calculi in Co-inductive Type Theories. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Alessandro Berarducci, Corrado Böhm General Recursion on Second Order Term Algebras. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29J. Michael Lake Prediction by Grammatical Match. Search on Bibsonomy Data Compression Conference The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Derick Wood Standard Generalized Markup Language: Mathematical and Philosophical Issues. Search on Bibsonomy Computer Science Today The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
29Gian-Luigi Ferrari 0002, Ugo Montanari The Observation Algebra of Spatial Pomsets. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
29David J. Pym, Lincoln A. Wallen Investigations into Proof-Search in a System of First-Order Dependent Function Types. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29Karen A. Lemone A multi-purpose language processing laboratory. Search on Bibsonomy SIGCSE The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
29Flemming Nielson Correctness of Code Generation from a Two-Level Meta-Language. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
29M. A. Nait Abdallah Icons and Local Definitions in Logic Programming. Search on Bibsonomy STACS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
28Maria Raffai Model Oriented Enterprise Integration: Metamodel for Realizing the Integration. Search on Bibsonomy CONFENIS (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Inter-organizational cooperation, Modeling/mapping, Model transformation, metamodel, Enterprise integration, Metalanguage
24Michael Kranzlein, Nathan Schneider 0001, Kevin Tobia CuRIAM: Corpus re Interpretation and Metalanguage in U.S. Supreme Court Opinions. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Prawaal Sharma, Navneet Goyal, Poonam Goyal Multimodal Semantographic Metalanguage (MSM): A novel methodology for digital enablement of semi-literates. Search on Bibsonomy SAC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Yue Niu, Robert Harper 0001 A Metalanguage for Cost-Aware Denotational Semantics. Search on Bibsonomy LICS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Yue Niu, Robert Harper 0001 A metalanguage for cost-aware denotational semantics. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Heng Zhang, Vivian Hsueh Hua Chen Design Consideration of an Educational Video Game Through the Lens of the Metalanguage. Search on Bibsonomy ISAGA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Rea Golan Is there a neutral metalanguage? Search on Bibsonomy Synth. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Weimin Toh, Fei Victor Lim Using Video Games for Learning: Developing a Metalanguage for Digital Play. Search on Bibsonomy Games Cult. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder A metalanguage for guarded iteration. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24William L. Harrison, Chris Hathhorn, Gerard Allwein A Mechanized Semantic Metalanguage for High Level Synthesis. Search on Bibsonomy PPDP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Antoine Gréa Méta-langage endomorphe et planification abstraite pour la reconnaissance des intentions en temps réel. (Endomorphic metalanguage and abstract planning for real-time intent recognition). Search on Bibsonomy 2020   RDF
24Cyrille Ahmed Midingoyi Semantic and modular representation of crop models using a declarative metalanguage. (Représentation sémantique et modulaire des modèles de culture à l'aide d'un métalangage déclaratif). Search on Bibsonomy 2020   RDF
24Andrea Vestrucci Metalanguage and Revelation: Rethinking Theology's Language and Relevance. Search on Bibsonomy Logica Universalis The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Gaziza Yelibayeva, Assel S. Mukanova, Altynbek Sharipbay, Altanbek Zulkhazhav, Banu Zh. Yergesh, Gulmira Bekmanova Metalanguage and Knowledgebase for Kazakh Morphology. Search on Bibsonomy ICCSA (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder A Metalanguage for Guarded Iteration. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Andrey Mokhov, Georgy Lukyanov, Jakob Lechner Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder A Metalanguage for Guarded Iteration. Search on Bibsonomy ICTAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Gian Paolo Donnarumma, Sergio Guardato, Claudio Martino, Giovanni Iannaccone GAMbUSIA - a general purpose metalanguage for instruments with serial interface. Search on Bibsonomy M&N The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Soma Dutta, Mihir K. Chakraborty The role of metalanguage in graded logical approaches. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Vadim Zaytsev Understanding Metalanguage Integration by Renarrating a Technical Space Megamodel. Search on Bibsonomy GEMOC@MoDELS The full citation details ... 2014 DBLP  BibTeX  RDF
24Shomir Wilson Toward Automatic Processing of English Metalanguage. Search on Bibsonomy IJCNLP The full citation details ... 2013 DBLP  BibTeX  RDF
24Konstantina Georganta A Review of "The Metalanguage of Translation"edited by Yves Gambier and Luc van Doorslaer. Amsterdam: John Benjamins, 2009, 192 pp. $128.00 hardcover. ISBN 978-90-272-2250-3 (hardcover). Search on Bibsonomy Inf. Soc. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Walter W. Wilson, Yu Lei A Tiny Specification Metalanguage. Search on Bibsonomy SEKE The full citation details ... 2012 DBLP  BibTeX  RDF
24Tara Athan Syntax Reuse: XSLT as a Metalanguage for Knowledge Representation Languages. Search on Bibsonomy RuleML The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Shomir Wilson The Creation of a Corpus of English Metalanguage. Search on Bibsonomy ACL (1) The full citation details ... 2012 DBLP  BibTeX  RDF
24Christian Doczkal Strong Normalization of Moggis's Computational Metalanguage. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2010 DBLP  BibTeX  RDF
24Michael J. C. Gordon ML: metalanguage or object language? Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Evelina Leivada, Paraskevi Mavroudi, Anna Epistithiou Metalanguage or bidialectism? acquisition of clitic placement by Hellenic Greeks, Greek Cypriots and binationals in the diglossic context of Cyprus. Search on Bibsonomy ExLing The full citation details ... 2010 DBLP  BibTeX  RDF
24Jorn Bettin, Tony Clark 0001 Advanced modelling made simple with the Gmodel metalanguage. Search on Bibsonomy MDI@MoDELS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Benjamin H. Y. Koo, Willard L. Simmons, Edward F. Crawley Algebra of Systems: A Metalanguage for Model Synthesis and Evaluation. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Christian Doczkal, Jan Schwinghammer Formalizing a strong normalization proof for Moggi's computational metalanguage: a case study in Isabelle/HOL-nominal. Search on Bibsonomy LFMTP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras Patterns for Maude Metalanguage Applications. Search on Bibsonomy WRLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens, Robert Hirschfeld, Theo D'Hondt Application-specific models and pointcuts using a logic metalanguage. Search on Bibsonomy Comput. Lang. Syst. Struct. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Kristin Stock Determining Semantic Similarity of Behaviour Using Natural Semantic Metalanguage to Match User Objectives to Available Web Services. Search on Bibsonomy Trans. GIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Joseph Thomas-Kerr, Ian S. Burnett, Christian H. Ritz, Davy De Schrijver, Rik Van de Walle, Sylvain Devillers Is That a Fish in Your Ear? A Universal Metalanguage for Multimedia. Search on Bibsonomy IEEE Multim. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Sergey Andreev 0002 Some properties of a metalinguistic verbal system (in the metalanguage of the Macmillan English Dictionary's defining vocabulary). Search on Bibsonomy Glottometrics The full citation details ... 2007 DBLP  BibTeX  RDF
24Matthew R. Lakin, Andrew M. Pitts A Metalanguage for Structural Operational Semantics. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
24Carol B. Brandt, Doris Ash Metalanguage among Families in a Marine Science Museum. Search on Bibsonomy ICLS The full citation details ... 2006 DBLP  BibTeX  RDF
24Volker Schubert, Stefan W. Hamerich The dialog application metalanguage GDialogXML. Search on Bibsonomy INTERSPEECH The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Boris Gorbis A Primitive Model Of Metalanguage For Universal Grammar. Search on Bibsonomy MLMTA The full citation details ... 2005 DBLP  BibTeX  RDF
24Tiago Stein D'Agostini, Antônio Augusto Fröhlich Bridging AOP to SMP: turning GCC into a metalanguage preprocessor. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF aspects, metaprogramming
24H. Delebecque HDSML: A Lightweigth Authoring Metalanguage with Objectoriented Features. Search on Bibsonomy ICWI The full citation details ... 2003 DBLP  BibTeX  RDF
24Gopalan Nadathur The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations. Search on Bibsonomy WoLLIC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Folkert de Vriend, Peter-Arno Coppen, W. Haeseryn Using Grammatical Description as a Metalanguage Resource. Search on Bibsonomy LREC The full citation details ... 2002 DBLP  BibTeX  RDF
24Ryszard S. Michalski, Kenneth A. Kaufman Building Knowledge Scouts Using KGL Metalanguage. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Andrew M. Pitts, Murdoch Gabbay A Metalanguage for Programming with Bound Names Modulo Renaming. Search on Bibsonomy MPC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada Maude as a metalanguage. Search on Bibsonomy WRLA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Guy McCusker Games and full abstraction for a functional metalanguage with recursive types. Search on Bibsonomy 1998   RDF
24Egidio Astesiano, Gianna Reggio A Metalanguage for the Formal Requirement Specification of Reactive Systems. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
24John D. Evans, Robert R. Kessler DPOS: A Metalanguage and Programming Environment for Parallel Processing. Search on Bibsonomy LISP Symb. Comput. The full citation details ... 1992 DBLP  BibTeX  RDF
24Karl B. Zerangue, Joseph E. Urban The use of a software specification metalanguage. Search on Bibsonomy SAC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
24Karl B. Zerangue, Joseph E. Urban A metalanguage based on a theory of specification. Search on Bibsonomy COMPSAC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
24Carolyn K. Duby, Scott Meyers, Steven P. Reiss CCEL: A Metalanguage for C++. Search on Bibsonomy C++ Conference The full citation details ... 1992 DBLP  BibTeX  RDF
24J. Allan Yang, Young-il Choo Parallel-Program Transformation Using A Metalanguage. Search on Bibsonomy PPoPP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
24Pierre Savéant, Philippe Codognet A Metalanguage for Representation and Control in Assumption-based Problem Solvers. Search on Bibsonomy SEKE The full citation details ... 1990 DBLP  BibTeX  RDF
24Craig Smith A Conversion Specification Metalanguage for applications of the Standard Generalized Markup Language. Search on Bibsonomy 1990   RDF
24Lingzi Jin, Hong Zhu 0002 A metalanguage to express human guidance for program transformation. Search on Bibsonomy TAI The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
24Andrzej Blikle MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics Search on Bibsonomy 1987   DOI  RDF
24Barrett R. Bryant, Balanjaninath Edupuganty, Lee S. Hull Two-Level Grammar as an Implementable Metalanguage for Axiomatic Semantics. Search on Bibsonomy Comput. Lang. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
24Alan E. Wittbecker Genesis of a TeX-based markup metalanguage. Search on Bibsonomy SIGUCCS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
24Enrico Motta, Maria Simi, Giuseppe Attardi Metalanguage and Databases. Search on Bibsonomy Foundations of Knowledge Base Management (Xania) The full citation details ... 1985 DBLP  BibTeX  RDF
24Giuseppe Attardi, Maria Simi Metalanguage and Reasoning Across Viewpoints. Search on Bibsonomy ECAI The full citation details ... 1984 DBLP  BibTeX  RDF
24Roger S. Scowen A standard syntactic metalanguage. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
24Gian Piero Zarri, Jacqueline Léon, Monique Ornato, Joanna Pomian Conversion of a French surface expression into its semantic representation according to the RESEDA metalanguage centre: National de la Recherche Scientifique, Paris, France. Search on Bibsonomy SIGART Newsl. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
24Jacqueline Léon, Daniel Memmi, Monique Ornato, Joanna Pomian, Gian Piero Zarri Conversion Of A French Surface Expression Into Its Semantic Representation According To The Reseda Metalanguage. Search on Bibsonomy COLING The full citation details ... 1982 DBLP  BibTeX  RDF
24Kurt Konolige A Metalanguage Representation of Relational Databases for Deductive Question-Answering Systems. Search on Bibsonomy IJCAI The full citation details ... 1981 DBLP  BibTeX  RDF
24Frank G. Pagan ALGOL 68 as a Metalanguage for Denotational Semantics. Search on Bibsonomy Comput. J. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
24Michael J. C. Gordon, Robin Milner, F. Lockwood Morris, Malcolm C. Newey, Christopher P. Wadsworth A Metalanguage for Interactive Proof in LCF. Search on Bibsonomy POPL The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
24Robert C. Heterick, John A. Gerth, Nathan Huebner A metalanguage for interactive simulation. Search on Bibsonomy WSC The full citation details ... 1977 DBLP  BibTeX  RDF
24E. R. Anderson 0001, Frank C. Belz, Edward K. Blum SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages. Search on Bibsonomy Acta Informatica The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
24Harold B. Pepinsky A metalanguage for systematic research on human communication via natural language. Search on Bibsonomy J. Am. Soc. Inf. Sci. The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
24Jerry R. Hobbs A Metalanguage for Expressing Grammatical Restrictions in Nodal Spans Parsing of Natural-Language. Search on Bibsonomy 1974   RDF
Displaying result #1 - #100 of 157 (100 per page; Change: )
Pages: [1][2][>>]
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