The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Javier Esparza" ( http://dblp.L3S.de/Authors/Javier_Esparza )

URL (Homepage):  http://www.model.in.tum.de/~esparza/  Author page on DBLP  Author page in RDF  Community of Javier Esparza in ASPL-2

Publication years (Num. hits)
1989-1993 (16) 1994-1996 (18) 1997-2000 (22) 2001-2003 (20) 2004-2006 (19) 2007-2008 (16) 2009-2010 (25) 2011-2012 (17) 2013-2014 (27) 2015-2016 (24) 2017 (15) 2018 (18) 2019 (4)
Publication types (Num. hits)
article(92) book(3) incollection(5) inproceedings(135) proceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22 occurrences of 19 keywords

Results
Found 242 publication records. Showing 241 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jörg Desel, Javier Esparza, Philipp Hoffmann Negotiation as concurrency primitive. Search on Bibsonomy Acta Inf. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Blondin, Javier Esparza, Stefan Jaax Expressive Power of Oblivious Consensus Protocols. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Javier Esparza, Mikhail Raskin, Chana Weil-Kennedy Parameterized Analysis of Immediate Observation Petri Nets. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Philipp J. Meyer, Javier Esparza, Philip Offtermatt Computing the Expected Execution Time of Probabilistic Workflow Nets. Search on Bibsonomy TACAS (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Enrico Tronci Preface for the special issue GandALF 2015. Search on Bibsonomy Acta Inf. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Fraigniaud, Anca Muscholl, Sergio Rajsbaum Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar Alonzo Church Award 2018 - Call for Nominations. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2018 DBLP  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy Verification of Immediate Observation Population Protocols. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Javier Esparza, Jan Kretínský, Salomon Sickert One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Philipp J. Meyer, Javier Esparza, Philip Offtermatt Computing the Expected Execution Time of Probabilistic Workflow Nets. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Blondin, Javier Esparza, Stefan Jaax Large Flocks of Small Birds: On the Minimal Size of Population Protocols. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Blondin, Javier Esparza, Antonín Kucera Automatic Analysis of Expected Termination Time for Population Protocols. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Philipp J. Meyer, Javier Esparza, Hagen Völzer Computing the concurrency threshold of sound free-choice workflow nets. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz Soundness in negotiations. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Ahmed Bouajjani, Javier Esparza Model Checking Procedural Programs. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Blondin, Javier Esparza, Antonín Kucera Automatic Analysis of Expected Termination Time for Population Protocols. Search on Bibsonomy CONCUR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy Verification of Immediate Observation Population Protocols. Search on Bibsonomy CONCUR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp J. Meyer, Javier Esparza, Hagen Völzer Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets. Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Blondin, Javier Esparza, Stefan Jaax Peregrine: A Tool for the Analysis of Population Protocols. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Blondin, Javier Esparza, Stefan Jaax Large Flocks of Small Birds: on the Minimal Size of Population Protocols. Search on Bibsonomy STACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jan Kretínský, Salomon Sickert One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Blondin, Javier Esparza, Stefan Jaax, Antonín Kucera Black Ninjas in the Dark: Formal Analysis of Population Protocols. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar Verification of population protocols. Search on Bibsonomy Acta Inf. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar Model checking parameterized asynchronous shared-memory systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Philipp Hoffmann, Ratul Saha Polynomial analysis algorithms for free choice Probabilistic Workflow Nets. Search on Bibsonomy Perform. Eval. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani Quantitative Implementation Strategies for Safety Controllers. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz Soundness in negotiations. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Javier Esparza, Anca Muscholl, Igor Walukiewicz Static Analysis of Deterministic Negotiations. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Michael Blondin, Stefan Jaax, Javier Esparza, Philipp J. Meyer Towards Efficient Verification of Population Protocols. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza Minimizing Test Suites with Unfoldings of Multithreaded Programs. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Esparza Advances in Parameterized Verification of Population Protocols. Search on Bibsonomy CSR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer Towards Efficient Verification of Population Protocols. Search on Bibsonomy PODC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Andrzej S. Murawski (eds.) Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Esparza Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk). Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Anca Muscholl, Igor Walukiewicz Static analysis of deterministic negotiations. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jan Kretínský, Salomon Sickert From LTL to deterministic automata - A safraless compositional approach. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jörg Desel, Javier Esparza Negotiations and Petri Nets. Search on Bibsonomy T. Petri Nets and Other Models of Concurrency The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eike Best, Javier Esparza Existence of home states in Petri nets is decidable. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar Parameterized Verification of Asynchronous Shared-Memory Systems. Search on Bibsonomy J. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Philipp Hoffmann Reduction Rules for Colored Workflow Nets. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jörg Desel, Javier Esparza, Philipp Hoffmann Negotiation as Concurrency Primitive. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Javier Esparza, Philipp Hoffmann, Ratul Saha Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz Soundness in Negotiations. Search on Bibsonomy CONCUR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Philipp Hoffmann Reduction Rules for Colored Workflow Nets. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretínský Limit-Deterministic Büchi Automata for Linear Temporal Logic. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar Model Checking Population Protocols. Search on Bibsonomy FSTTCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Philipp Hoffmann, Ratul Saha Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Esparza Parameterized Verification of Crowds of Anonymous Processes. Search on Bibsonomy Dependable Software Systems Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Orna Grumberg, Salomon Sickert (eds.) Dependable Software Systems Engineering Search on Bibsonomy 2016 DBLP  BibTeX  RDF
1Javier Esparza, Enrico Tronci (eds.) Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015. Search on Bibsonomy GandALF The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar Model Checking Parameterized Asynchronous Shared-Memory Systems. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Javier Esparza, Michael Luttenberger, Maximilian Schlund FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar Verification of Population Protocols. Search on Bibsonomy CONCUR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ratul Saha, Javier Esparza, Sumit Kumar Jha 0001, Madhavan Mukund, P. S. Thiagarajan Distributed Markov Chains. Search on Bibsonomy VMCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Philipp J. Meyer An SMT-based Approach to Fair Termination Analysis. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar Model Checking Parameterized Asynchronous Shared-Memory Systems. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jörg Desel Negotiation Programs. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jörg Desel, Javier Esparza Negotiations and Petri Nets. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2015 DBLP  BibTeX  RDF
1Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Alain Finkel, Pierre McKenzie, Joël Ouaknine Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jörg Desel On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Javier Esparza, Jan Kretínský From LTL to Deterministic Automata: A Safraless Compositional Approach. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Javier Esparza Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Corrected version). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Javier Esparza, Philipp Hoffmann Negotiation Games. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus A Fully Verified Executable LTL Model Checker. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2014 DBLP  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Tomás Poch Pattern-Based Verification for Multithreaded Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Michael Luttenberger, Maximilian Schlund A Brief History of Strahler Numbers. Search on Bibsonomy LATA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jörg Desel On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. Search on Bibsonomy FoSSaCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza Deterministic Negotiations: Concurrency for Free. Search on Bibsonomy CONCUR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Loïg Jezequel, Javier Esparza Message-Passing Algorithms for the Verification of Distributed Protocols. Search on Bibsonomy VMCAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic An SMT-Based Approach to Coverability Analysis. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jan Kretínský From LTL to Deterministic Automata: A Safraless Compositional Approach. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk). Search on Bibsonomy STACS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias (eds.) Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I Search on Bibsonomy ICALP (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias (eds.) Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II Search on Bibsonomy ICALP (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Michael Luttenberger, Maximilian Schlund FPsolve: A Generic Solver for Fixpoint Equations over Semirings. Search on Bibsonomy CIAA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maximilian Schlund, Michael Luttenberger, Javier Esparza Fast and Accurate Unlexicalized Parsing via Structural Annotations. Search on Bibsonomy EACL The full citation details ... 2014 DBLP  BibTeX  RDF
1Tomás Brázdil, Javier Esparza, Stefan Kiefer, Antonín Kucera Analyzing probabilistic pushdown automata. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Andreas Gaiser, Stefan Kiefer A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Loïg Jezequel, Stefan Schwoon Computation of Summaries Using Net Unfoldings. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar Parameterized Verification of Asynchronous Shared-Memory Systems Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Javier Esparza, Jörg Desel On Negotiation as Concurrency Primitive. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Javier Esparza, Jörg Desel On Negotiation as Concurrency Primitive. Search on Bibsonomy CONCUR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar Parameterized Verification of Asynchronous Shared-Memory Systems. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus A Fully Verified Executable LTL Model Checker. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Loïg Jezequel, Stefan Schwoon Computation of Summaries Using Net Unfoldings. Search on Bibsonomy FSTTCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger Space-efficient scheduling of stochastically generated tasks. Search on Bibsonomy Inf. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar A Perfect Model for Bounded Verification Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Javier Esparza, Andreas Gaiser, Stefan Kiefer Proving Termination of Probabilistic Programs Using Patterns Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Jan Kretínský, Javier Esparza Deterministic Automata for the (F,G)-fragment of LTL Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Javier Esparza, Jörg Kreiker Three Case Studies on Verification of Infinite-State Systems. Search on Bibsonomy Modern Applications of Automata Theory The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andreas Gaiser, Jan Kretínský, Javier Esparza Rabinizer: Small Deterministic Automata for LTL(F, G). Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jan Kretínský, Javier Esparza Deterministic Automata for the (F, G)-Fragment of LTL. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Andreas Gaiser, Stefan Kiefer Proving Termination of Probabilistic Programs Using Patterns. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar A Perfect Model for Bounded Verification. Search on Bibsonomy LICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Christian Kern Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings. Search on Bibsonomy ACSD The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger Parikhʼs theorem: A simple and direct automaton construction. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Andreas Gaiser Probabilistic Abstractions with Arbitrary Domains Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 241 (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