The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Danny De Schreye" ( http://dblp.L3S.de/Authors/Danny_De_Schreye )

URL (Homepage):  http://www.cs.kuleuven.ac.be/~dannyd/  Author page on DBLP  Author page in RDF  Community of Danny De Schreye in ASPL-2

Publication years (Num. hits)
1986-1992 (25) 1993-1995 (19) 1996-1998 (20) 1999-2000 (16) 2001-2005 (17) 2006-2011 (19) 2012-2018 (8)
Publication types (Num. hits)
article(46) incollection(1) inproceedings(74) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 35 occurrences of 24 keywords

Results
Found 125 publication records. Showing 124 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Vincent Nys, Danny De Schreye Compiling Control as Offline Partial Deduction. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Winters, Vincent Nys, Danny De Schreye Automatic Joke Generation: Learning Humor from Examples. Search on Bibsonomy HCI (22) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vincent Nys, Danny De Schreye Compiling Control as Offline Partial Deduction. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vincent Nys, Danny De Schreye Transforming Coroutining Logic Programs into Equivalent CHR Programs. Search on Bibsonomy VPT@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vincent Nys, Danny De Schreye Abstract conjunctive partial deduction for the analysis and compilation of coroutines. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Danny De Schreye, Vincent Nys, Colin J. Nicholson Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Danny De Schreye, Thom W. Frühwirth Probabilistic legal reasoning in CHRiSM. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Danny De Schreye, Gerda Janssens, Andy King (eds.) Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012 Search on Bibsonomy PPDP The full citation details ... 2012 DBLP  BibTeX  RDF
1Dean Voets, Danny De Schreye Non-termination Analysis of Logic Programs with Integer arithmetics Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp Polytool: Polynomial interpretations as a basis for termination analysis of logic programs. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dean Voets, Danny De Schreye Non-termination analysis of logic programs with integer arithmetics. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Colin J. Nicholson, Danny De Schreye, Jon Sneyers Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Danny De Schreye Probabilistic Termination of CHRiSM Programs. Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Pilozzi, Danny De Schreye Improved Termination Analysis of CHR Using Self-sustainability Analysis. Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dean Voets, Danny De Schreye Non-termination Analysis of Logic Programs Using Types. Search on Bibsonomy LOPSTR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Danny De Schreye (eds.) Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp Polytool: polynomial interpretations as a basis for termination analysis of Logic programs Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Yi-Dong Shen, Danny De Schreye, Dean Voets Termination Prediction for General Logic Programs Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Yi-Dong Shen, Danny De Schreye, Dean Voets Termination prediction for general logic programs. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Pilozzi, Danny De Schreye Automating Termination Proofs for CHR. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dean Voets, Danny De Schreye A New Approach to Non-termination Analysis of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF non-termination analysis, program analysis
1Paolo Pilozzi, Danny De Schreye Proving Termination by Invariance Relations. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Pilozzi, Danny De Schreye Termination Analysis of CHR Revisited. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Termination Analysis, Constraint Handling Rules
1Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik Termination of Programs using Term Rewriting and SAT Solving. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
1Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye Termination Analysis of Logic Programs Based on Dependency Graphs. Search on Bibsonomy LOPSTR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Joost Vennekens, Danny De Schreye Probabilistic-Logical Modeling of Music. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF automatic music composition, PRISM, music classification, probabilistic-logical programming
1Manh Thang Nguyen, Danny De Schreye Polytool: Proving Termination Automatically Based on Polynomial Interpretations. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Danny De Schreye Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Alexander Serebrenik, Danny De Schreye Termination of Floating-Point Computations. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF floating point, numerical computation, termination analysis
1Alexander Serebrenik, Danny De Schreye On termination of meta-programs. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Manh Thang Nguyen, Danny De Schreye Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF polynomial interpretations, acceptability, Termination analysis
1Alexander Serebrenik, Danny De Schreye Inference of termination conditions for numerical loops in Prolog. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alexander Serebrenik, Danny De Schreye Hasta-La-Vista: Termination Analyser for Logic Programs. Search on Bibsonomy WLPE The full citation details ... 2003 DBLP  BibTeX  RDF
1Alexander Serebrenik, Danny De Schreye Proving Termination with Adornments. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Danny De Schreye, Alexander Serebrenik Acceptability with General Orderings. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF orderings, acceptability, termination analysis
1Alexander Serebrenik, Danny De Schreye On Termination of Logic Programs with Floating Point Computations. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas Termination proofs for logic programs with tabling. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF prolog, tabling, SLG-resolution
1Sofie Verbaeten, Danny De Schreye Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Logic Programming, Termination, Tabling
1Danny De Schreye, Alexander Serebrenik Acceptability with general orderings Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Alexander Serebrenik, Danny De Schreye Inference of termination conditions for numerical loops Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Alexander Serebrenik, Danny De Schreye Inference of termination conditions for numerical loops in Prolog Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Alexander Serebrenik, Danny De Schreye On termination of meta-programs Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Alexander Serebrenik, Danny De Schreye Inference of Termination Conditions for Numerical Loops in Prolog. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alexander Serebrenik, Danny De Schreye On Termination of Meta-Programs. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments". Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Sofie Verbaeten, Marc Denecker, Danny De Schreye Compositionality of Normal Open Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens Project Report on LP+: A Second Generation Logic Programming Language. Search on Bibsonomy AI Commun. The full citation details ... 2000 DBLP  BibTeX  RDF
1Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas Termination Proofs for Logic Programs with Tabling Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Alexander Serebrenik, Danny De Schreye Termination analysis of logic programs using acceptability with general term orders Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde Semantic interpretation of temporal information by abductive inference Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Alexander Serebrenik, Danny De Schreye Non-tranformational termination analysis of logic programs, based on general term-orderings. Search on Bibsonomy LOPSTR The full citation details ... 2000 DBLP  BibTeX  RDF
1Alexander Serebrenik, Danny De Schreye Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. Search on Bibsonomy LOPSTR (LNCS 2042: Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF acceptability, termination analysis, term-orderings
1Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Wim Vanhoof, Danny De Schreye, Bern Martens Bottom-up Partial Deduction of Logic Programs Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 1999 DBLP  BibTeX  RDF
1Stefaan Decorte, Danny De Schreye, Henk Vandecasteele Constraint-based termination analysis of logic programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF logic programming, constraint solving, termination analysis
1Danny De Schreye, Marc Denecker Assessment of Some Issues in CL-Theory and Program Development. Search on Bibsonomy The Logic Programming Paradigm The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Danny De Schreye (eds.) Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999 Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Sofie Verbaeten, Danny De Schreye Termination Analysis of Tabled Logic Programs Using Mode and Type Information. Search on Bibsonomy Fuji International Symposium on Functional and Logic Programming The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye Modular Termination Proofs for Prolog with Tabling. Search on Bibsonomy PPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde Semantic interpretation of temporal information by abductive inference. Search on Bibsonomy CLIN The full citation details ... 1999 DBLP  BibTeX  RDF
1Marc Denecker, Danny De Schreye SLDNFA: An Abductive Procedure for Abductive Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Danny De Schreye Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Danny De Schreye Constrained Partial Deduction and the Preservation of Characteristic Trees. Search on Bibsonomy New Generation Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Bern Martens, Danny De Schreye Some Achievements and Prospects in Partial Deduction. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Bern Martens, Danny De Schreye Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF program transformation, partial evaluation, flow analysis, partial deduction, supercompilation
1Wim Vanhoof, Danny De Schreye, Bern Martens A Framework for Bottom Up Specialisation of Logic Programs. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck Specialising the Other Way Arond. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Stefaan Decorte, Danny De Schreye Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Wim Vanhoof, Danny De Schreye, Bern Martens Bottom-Up Specialisation of Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Kristof Van Belleghem, Marc Denecker, Danny De Schreye On the Relation Between Situation Calculus and Event Calculus. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Sofie Verbaeten, Marc Denecker, Danny De Schreye Compositionality of Normal Open Logic Programs. Search on Bibsonomy ILPS The full citation details ... 1997 DBLP  BibTeX  RDF
1Stefaan Decorte, Danny De Schreye Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Kristof Van Belleghem, Marc Denecker, Danny De Schreye A Strong Correspondence between Description Logics and Open Logic Programming. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Michael Leuschel, Danny De Schreye Constrained Partial Deduction. Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas Termination Analysis for Tabled Logic Programming. Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Bern Martens, Danny De Schreye Automatic Finite Unfolding Using Well-Founded Measures. Search on Bibsonomy J. Log. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Danny De Schreye Logic Program Specialisation: How To Be More Specific. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael Leuschel, Danny De Schreye, D. Andre de Waal A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael Leuschel, Danny De Schreye Logic Program Specialisation: How to Be More Specific (Abstract). (full paper: PLILP 1996: 137-151) Search on Bibsonomy LOPSTR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Bern Martens, Danny De Schreye Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem. Search on Bibsonomy J. Log. Program. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Danny De Schreye, Kristof Verschaetse Deriving Linear Size Relations for Logic Programs by Abstract Interpretation. Search on Bibsonomy New Generation Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Danny De Schreye Representing Incomplete Knowledge in Abductive Logic Programming. Search on Bibsonomy J. Log. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Danny De Schreye, Michael Leuschel, Bern Martens Tutorial on Program Specialisation (Abstract). Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Michael Leuschel, Danny De Schreye Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters. Search on Bibsonomy PEPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Prolog
1Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye Using Event Calculus for Protocol Specification: An Experiment. Search on Bibsonomy Deductive Databases / Abduction in Deductive Databases The full citation details ... 1995 DBLP  BibTeX  RDF
1Kristof Van Belleghem, Marc Denecker, Danny De Schreye Combining Situation Calculus and Event Calculus. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Danny De Schreye, Stefaan Decorte Termination of Logic Programs: The Never-Ending Story. Search on Bibsonomy J. Log. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Danny De Schreye On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Bern Martens, Danny De Schreye, Tamás Horváth 0001 Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Henk Vandecasteele, Danny De Schreye Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach. Search on Bibsonomy LPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF program transformation, Constraint Logic Programming, finite domains
1Dmitri Boulanger, Danny De Schreye Compiling Control Revisited: A New Approach based upon Abstract Interpretation. Search on Bibsonomy ICLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Kristof Van Belleghem, Marc Denecker, Danny De Schreye Representing Continuous Change in the Abductive Event Calculus. Search on Bibsonomy ICLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Kristof Van Belleghem, Marc Denecker, Danny De Schreye The Abductive Event Calculus as a General Framework for Temporal Databases. Search on Bibsonomy ICTL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Danny De Schreye Representing Incomplete Knowledge in Abductive Logic Programming. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Stefaan Decorte, Danny De Schreye, Massimo Fabris Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs. Search on Bibsonomy LPE The full citation details ... 1993 DBLP  BibTeX  RDF
1Marc Denecker, Danny De Schreye Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1993 DBLP  BibTeX  RDF
1Bern Martens, Danny De Schreye Some Further Issues in Finite Unfolding (Abstract). Search on Bibsonomy LOPSTR The full citation details ... 1993 DBLP  BibTeX  RDF
1Maurice Bruynooghe, Danny De Schreye, Bern Martens A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. Search on Bibsonomy New Generation Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 124 (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