dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Javier Esparza (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonín Kucera, Javier Esparza, Richard Mayr: Model Checking Probabilistic Pushdown Automata. Logical Methods in Computer Science 2(1): (2006)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Javier Esparza, Antonín Kucera: Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (Extended Abstract). FOCS 2005: 521-530
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Antonín Kucera, Richard Mayr: Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances. LICS 2005: 117-126
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Antonín Kucera, Richard Mayr: Model Checking Probabilistic Pushdown Automata CoRR abs/cs/0508003: (2005)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Antonín Kucera, Richard Mayr: Model Checking Probabilistic Pushdown Automata. LICS 2004: 12-21
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Antonín Kucera, Stefan Schwoon: Model checking LTL with regular valuations for pushdown systems. Inf. Comput. 186(2): 355-376 (2003)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonín Kucera, Javier Esparza: A Logical Viewpoint on Process-algebraic Quotients. J. Log. Comput. 13(6): 863-880 (2003)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Antonín Kucera, Stefan Schwoon: Model-Checking LTL with Regular Valuations for Pushdown Systems. TACS 2001: 316-339
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonín Kucera, Javier Esparza: A Logical Viewpoint on Process-Algebraic Quotients. CSL 1999: 499-514

Selection of 9 from 147 records - Javier Esparza has 69 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page