The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pedro Cabalar" ( http://dblp.L3S.de/Authors/Pedro_Cabalar )

URL (Homepage):  http://www.dc.fi.udc.es/~cabalar/  Author page on DBLP  Author page in RDF  Community of Pedro Cabalar in ASPL-2

Publication years (Num. hits)
1995-2005 (15) 2006-2008 (15) 2009-2012 (16) 2013-2015 (16) 2016-2017 (19) 2018-2019 (25)
Publication types (Num. hits)
article(47) inproceedings(58) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 107 publication records. Showing 106 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pedro Cabalar, Carlos Pérez, Gilberto Pérez Equilibrium graphs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano Multi-context systems in dynamic environments. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal Forgetting auxiliary atoms in forks. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn Gelfond-Zhang aggregates as propositional formulas. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thiago Freitas dos Santos, Paulo E. Santos, Leonardo Anjoletto Ferreira, Reinaldo A. C. Bianchi, Pedro Cabalar Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro Founded World Views with Autoepistemic Equilibrium Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal Revisiting Explicit Negation in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal Revisiting Explicit Negation in Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Torsten Schaub Dynamic and Temporal Answer Set Programming on Linear Finite Traces. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
1Pedro Cabalar, Torsten Schaub Temporal Logic Programs with Temporal Description Logic Axioms. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro Splitting Epistemic Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub telingo = ASP + Time. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro Founded World Views with Autoepistemic Equilibrium Logic. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez, Torsten Schaub Towards Dynamic Answer Set Programming over Finite Traces. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn Lower Bound Founded Logic of Here-and-There. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Answer Set Programming from a Logical Point of View. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann Temporal Answer Set Programming on Finite Traces. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001 Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro Splitting Epistemic Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann Temporal Answer Set Programming on Finite Traces. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001 Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thiago Freitas dos Santos, Paulo Santos, Leonardo Anjoletto Ferreira, Reinaldo A. C. Bianchi, Pedro Cabalar Solving a Spatial Puzzle Using Answer Set Programming Integrated with Markov Decision Process. Search on Bibsonomy BRACIS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub Introducing Temporal Stable Models for Linear Dynamic Logic. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce 0001 A short biography of Luis Fariñas del Cerro. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal Temporal Equilibrium Logic with past operators. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Stable reasoning. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez Temporal logic programs with variables. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno Enablers and inhibitors in causal justifications of logic programs. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal Verification for ASP denotational semantics: A case study using the PVS theorem prover. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal Forgetting Auxiliary Atoms in Forks. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pedro Cabalar, Stefania Costantini, Andrea Formisano Multi-Context Systems: Dynamics and Evolution. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn Gelfond-Zhang Aggregates as Propositional Formulas. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde On the Properties of Atom Definability and Well-Supportedness in Logic Programming. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Rodrigo Martín haspie - A Musical Harmonisation Tool Based on ASP. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Paulo E. Santos A qualitative spatial representation of string loops as holes. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paulo E. Santos, Pedro Cabalar Framing holes within a loop hierarchy. Search on Bibsonomy Spatial Cognition & Computation The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno Justifications for Programs with Disjunctive and Causal-choice Rules. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pedro Cabalar, Carlos Pérez, Gilberto Pérez Equilibrium Graphs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno Enablers and Inhibitors in Causal Justifications of Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal Temporal Logic Programs with Variables. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno Justifications for programs with disjunctive and causal-choice rules. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub An ASP Semantics for Default Reasoning with Constraints. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, David Pearce 0001, Gilberto Pérez, Concepción Vidal A Denotational Semantics for Equilibrium Logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, David Pearce 0001, Gilberto Pérez, Concepción Vidal A denotational semantics for equilibrium logic. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez, Concepción Vidal An infinitary encoding of temporal equilibrium logic. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandiño Explaining Preferences and Preferring Explanations. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar Stable Models for Temporal Theories - - Invited Talk -. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno Enablers and Inhibitors in Causal Justifications of Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Michael Fink 0001 Causal Graph Justifications of Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Michael Fink 0001 Causal Graph Justifications of Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandiño, Michael Fink 0001 A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde A Free Logic for Stable Models with Partial Intensional Functions. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez Strong Equivalence of Non-Monotonic Temporal Theories. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno An Algebra of Causal Chains. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Pedro Cabalar, Agustín Valverde Foreword. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal Temporal equilibrium logic: a survey. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Tran Cao Son (eds.) Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paulo E. Santos, Pedro Cabalar An Investigation of Actions, Change and Space. Search on Bibsonomy ICAPS The full citation details ... 2013 DBLP  BibTeX  RDF
1Pedro Cabalar Causal Logic Programming. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal Paving the Way for Temporal Grounding. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar A logical characterisation of ordered disjunction. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Paulo E. Santos Formalising the Fisherman's Folly puzzle. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar Functional answer set programming. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar Answer Set; Programming? Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez STeLP - A Tool for Temporal Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar Temporal Equilibrium Logic. Search on Bibsonomy Log-IC@LPNMR The full citation details ... 2011 DBLP  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal Loop Formulas for Splitable Temporal Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar Logic Programs and Causal Proofs. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Pedro Cabalar, Stéphane Demri Automata-Based Computation of Temporal Equilibrium Models. Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar A Logical Charaterisation of Ordered Disjunction Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Pedro Cabalar Functional Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Pedro Cabalar A Normal Form for Linear Temporal Equilibrium Logic. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde A Revised Concept of Safety for General Answer Set Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 Well-Founded and Partial Stable Semantics Logical Aspects. Search on Bibsonomy CSR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics
1Paulo E. Santos, Pedro Cabalar The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology. Search on Bibsonomy Spatial Cognition & Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar Partial Functions and Equality in Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal Strongly Equivalent Temporal Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde Partial equilibrium logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03B60, 03B55
1Pedro Cabalar, Paolo Ferraris Propositional theories are strongly equivalent to logic programs Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Pedro Cabalar, Paolo Ferraris Propositional theories are strongly equivalent to logic programs. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Minimal Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF minimisation of boolean and multivalued functions, logic programming, answer set programming
1Pedro Cabalar, David Pearce 0001, Panos Rondogiannis, William W. Wadge A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Paulo E. Santos, Pedro Cabalar Holes, Knots and Shapes: A Spatial Ontology of a Puzzle. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2007 DBLP  BibTeX  RDF
1Pedro Cabalar, Gilberto Pérez Vega Temporal Equilibrium Logic: A First Approach. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde On the Logic and Computation of Partial Equilibrium Models. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 Logical Foundations of Well-Founded Semantics. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Pedro Cabalar, Paulo E. Santos Strings and Holes: An Exercise on Spatial Reasoning. Search on Bibsonomy IBERAMIA-SBIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. Search on Bibsonomy IBERAMIA-SBIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Search on Bibsonomy EPIA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Pedro Cabalar, David Lorenzo New Insights on the Intuitionistic Interpretation of Default Logic. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Pedro Cabalar, David Lorenzo Logic Programs with Functions and Default Values. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar Alternative Characterizations for Strong Equivalence of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Pedro Cabalar Alternative characterizations for strong equivalence of logic programs. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Pedro Cabalar A Rewriting Method for Well-Founded Semantics with Explicit Negation. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar A Three-Valued Characterization for Strong Equivalence of Logic Programs. Search on Bibsonomy AAAI/IAAI The full citation details ... 2002 DBLP  BibTeX  RDF
1Pedro Cabalar Well Founded Semantics as Two dimensional Here and There. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 106 (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