The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FroCoS"( http://dblp.L3S.de/Venues/FroCoS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/frocos

Publication years (Num. hits)
1996 (21) 2000 (19) 2002 (20) 2005 (20) 2007 (19) 2009 (24) 2011 (19) 2013 (25) 2015 (22) 2017 (20)
Publication types (Num. hits)
inproceedings(199) proceedings(10)
Venues (Conferences, Journals, ...)
FroCoS(209)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 15 keywords

Results
Found 209 publication records. Showing 209 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Franz Baader A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Simon Cruanes Superposition with Structural Induction. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost Metric Temporal Description Logics with Interval-Rigid Names. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Çigdem Gencer Finitariness of Elementary Unification in Boolean Region Connection Calculus. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jelena Vlasenko, Volker Haarslev, Brigitte Jaumard Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, Xuan-Tung Vu Subtropical Satisfiability. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Silvio Ghilardi, Alessandro Gianola Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case). Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Voigt The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals Is Decidable. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Wernhard The Boolean Solution Problem from the Perspective of Predicate Logic. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu 0001, Christian Sternagel, René Thiemann, Dmitriy Traytel Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan Using Ontologies to Query Probabilistic Numerical Data. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos Caleiro, Sérgio Marcelino, João Marcos 0001 Merging Fragments of Classical Logic. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Dejan Jovanovic, Clark Barrett Designing Theory Solvers with Extensions. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Anela Lolic First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jens Claßen, Benjamin Zarrieß Decidable Verification of Decision-Theoretic Golog. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Naaf, Florian Frohn, Marc Brockschmidt, Carsten Fuhs, Jürgen Giesl Complexity Analysis for Term Rewriting by Integer Transition Systems. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Clare Dixon, Marcelo Finger (eds.) Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho On Solving Nominal Fixpoint Equations. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gábor Alagi, Christoph Weidenbach NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franz Baader, Gerhard Brewka, Oliver Fernandez Gil Adding Threshold Concepts to the Description Logic EL. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin Axiomatic Constraint Systems for Proof Search Modulo Theories. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tobias Philipp An Expressive Model for Instance Decomposition Based Parallel SAT Solvers. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Färber 0002, Cezary Kaliszyk Random Forests for Premise Selection. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andreas Teucke, Christoph Weidenbach First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amira Zaki, Slim Abdennadher, Thom W. Frühwirth Combining Forward and Backward Propagation. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefan Borgwardt, Rafael Peñaloza Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sarah Winkler, René Thiemann Formalizing Soundness and Completeness of Unravelings. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson Proofs and Reconstructions. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Backeman, Philipp Rümmer Free Variables and Theories: Revisiting Rigid E-unification. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paula Chocron, Pascal Fontaine, Christophe Ringeissen A Rewriting Approach to the Combination of Data Structures with Bridging Theories. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guillaume Burel, Gilles Dowek, Ying Jiang A Completion Method to Decide Reachability in Rewrite Systems. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stephan Böhme, Marcel Lippmann Decidable Description Logics of Context with Rigid Roles. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke Weakly Equivalent Arrays. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tianyi Liang, Nestan Tsiskaridze, Andrew Reynolds, Cesare Tinelli, Clark Barrett A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francesco Alberti, Silvio Ghilardi, Natasha Sharygina A New Acceleration-Based Combination Framework for Array Properties. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine Adapting Real Quantifier Elimination Methods for Conflict Set Computation. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Josef Urban, Jirí Vyskocil Lemmatization for Stronger Reasoning in Large Theories. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Silvio Ranise (eds.) Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings Search on Bibsonomy FroCoS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen Unification and Matching in Hierarchical Combinations of Syntactic Theories. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ralf Karrenberg, Marek Kosta, Thomas Sturm 0001 Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guillaume Burel, Simon Cruanes Detection of First Order Axiomatic Theories. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin Non-cyclic Sorts for First-Order Satisfiability. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rafael Peñaloza, Tingting Zou Roughening the Envelope. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin From Resolution and DPLL to Solving Arithmetic Constraints. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Clara Bertolissi, Silvio Ranise Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Patrick Koopmann, Renate A. Schmidt Uniform Interpolation of -Ontologies Using Fixpoints. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fabio Papacchini, Renate A. Schmidt Computing Minimal Models Modulo Subset-Simulation for Modal Logics. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Takahito Aoto 0001 Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Raul Fervari, Guillaume Hoffmann Tableaux for Relation-Changing Modal Logics. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Clark Barrett, Stéphane Demri, Morgan Deters Witness Runs for Counter Machines. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Horbach, Viorica Sofronie-Stokkermans Obtaining Finite Local Theory Axiomatizations via Saturation. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Szabolcs Mikulás Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil, Barbara Morawska Hybrid Unification in the Description Logic. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cynthia Kop, Naoki Nishida 0001 Term Rewriting with Logical Constraints. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joël Ouaknine Specification and Verification of Linear Dynamical Systems: Advances and Challenges. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Franz Baader, Benjamin Zarrieß Verification of Golog Programs over Description Logic Actions. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.) Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings Search on Bibsonomy FroCoS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lawrence C. Paulson MetiTarski's Menagerie of Cooperating Systems. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Abdelkader Kersani, Nicolas Peltier Combining Superposition and Induction: A Practical Realization. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Francesco Alberti, Silvio Ghilardi, Natasha Sharygina Definability of Accelerated Relations in a Theory of Arrays and Its Applications. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran On Forward Closure and the Finite Variant Property. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christoph Wernhard Abduction in Logic Programming as Second-Order Quantifier Elimination. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefan Borgwardt, Marcel Lippmann, Veronika Thost Temporal Query Answering in the Description Logic DL-Lite. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Andrei Popescu 0001 Mechanizing the Metatheory of Sledgehammer. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow Automatic Proof and Disproof in Isabelle/HOL. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Stéphane Demri The Complexity of Reversal-Bounded Model-Checking. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shahab Tasharrofi, Eugenia Ternovska A Semantic Account for Modularity in Multi-language Modelling of Search Problems. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.) Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1François Bobot, Andrey Paskevich Expressing Polymorphic Types in a Many-Sorted Language. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christophe Ringeissen, Valerio Senni Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Lange Size-Change Termination and Satisfiability for Linear-Time Temporal Logics. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manfred Schmidt-Schauß, David Sabel, Altug Anis Congruence Closure of Compressed Terms in Polynomial Time. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach Superposition Modulo Non-linear Arithmetic. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig The Modal Logic of Equilibrium Models. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Pascal Fontaine Combining Theories: The Ackerman and Guarded Fragments. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dejan Jovanovic, Clark Barrett Sharing Is Caring: Combination of Theories. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franz Baader, Rafael Peñaloza On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Sternagel, René Thiemann Generalized and Formalized Uncurrying. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carsten Fuhs, Cynthia Kop Harnessing First Order Termination Provers Using Higher Order Dependency Pairs. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai Controlled Term Rewriting. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ernst Althaus, Evgeny Kruglov, Christoph Weidenbach Superposition Modulo Linear Arithmetic SUP(LA). Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Salvador Lucas, José Meseguer Termination Modulo Combinations of Equational Theories. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cédric Piette, Youssef Hamadi, Lakhdar Sais Efficient Combination of Decision Procedures for MUS Computation. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ashish Tiwari Combining Equational Reasoning. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Armando Building SMT-Based Software Model Checkers: An Experience Report. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch Data Structures with Arithmetic Constraints: A Non-disjoint Combination. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stéphane Lescuyer, Sylvain Conchon Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Silvio Ghilardi, Roberto Sebastiani (eds.) Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christopher Lynch, Ralph Eric McGregor Combining Instance Generation and Resolution. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch Unification Modulo Homomorphic Encryption. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Boris Motik Combining Description Logics, Description Graphs, and Rules. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner Combining Nonmonotonic Knowledge Bases with External Sources. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Clare Dixon, Michael Fisher 0001, Boris Konev Taming the Complexity of Temporal Epistemic Reasoning. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Takahito Aoto 0001, Toshiyuki Yamada Argument Filterings and Usable Rules for Simply Typed Dependency Pairs. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 209 (100 per page; Change: )
Pages: [1][2][3][>>]
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