J. Esparza

发表

Javier Esparza, Antonín Kucera, Richard Mayr, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
J. Esparza, A. Kucera, R. Mayr, 2004, LICS 2004.
M. Nielsen, J. Esparza, 1994 .
Sumit Kumar Jha, P. Thiagarajan, Madhavan Mukund, 2014 .
A. Bouajjani, J. Esparza, 2003, CSL.
Bernhard von Stengel, Javier Esparza, B. Stengel, 1993, WG.
J. Esparza, Philipp Hoffmann, 2014 .
J. Esparza, S. Kiefer, Michael Luttenberger, 2007 .
J. Esparza, 1996 .
J. Esparza, Michael Luttenberger, M. Schlund, 2016 .
J. Esparza, Mikhail Raskin, Christoph Welzel, 2021, Petri Nets.
E. Best, S. Melzer, J. Esparza, 1997 .
Jörg Desel, Javier Esparza, J. Desel, 1995 .
Javier Esparza, J. Esparza, 2021, FSTTCS.
Javier Esparza, Petr Jancar, Alexander Miller, 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
Javier Esparza, J. Esparza, 2007 .
Javier Esparza, J. Esparza, 2003, Developments in Language Theory.
Javier Esparza, Claus Schröter, J. Esparza, 2000 .
Javier Esparza, Jörg Desel, J. Desel, 1995 .
Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2008 .
Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2008 .
Javier Esparza, Christoph Welzel, Mikhail Raskin, 2021, Petri Nets.
J. Esparza, Mikhail Raskin, Christoph Welzel, 2022, ArXiv.
Rupak Majumdar, Javier Esparza, R. Majumdar, 2010, Lecture Notes in Computer Science.
Mogens Nielsen, Javier Esparza, M. Nielsen, 1994, Bull. EATCS.
Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2008 .
Michael Luttenberger, Javier Esparza, Stefan Kiefer, 2009, FICS.
Javier Esparza, J. Esparza, 2021, CIAA.
Pierre Wolper, Alain Finkel, Javier Esparza, 2000 .
Jörg Desel, Javier Esparza, J. Desel, 1995 .
Javier Esparza, Antonín Kucera, Richard Mayr, 2004, LICS.
Michael Luttenberger, Javier Esparza, J. Esparza, 2010, Logics and Languages for Reliability and Security.
Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2008 .
Javier Esparza, J. Esparza, 1990 .
Pierre Ganty, Michael Luttenberger, Javier Esparza, 2010, Inf. Process. Lett..
Alois Knoll, Chih-Hong Cheng, Javier Esparza, 2009, SSV 2009.
Javier Esparza, Julian Bart, J. Esparza, 2004 .
Jörg Desel, Javier Esparza, J. Desel, 1995 .
Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2008 .
Tayssir Touili, Javier Esparza, Ahmed Bouajjani, 2003, POPL.
Javier Esparza, Mikhail Raskin, A. R. Balasubramanian, 2020, FoSSaCS.
Javier Esparza, Ahmed Bouajjani, A. Bouajjani, 2021 .
Javier Esparza, J. Esparza, 2016, Dependable Software Systems Engineering.
Javier Esparza, Christian Michaux, Charles Steinhorn, 2011 .
Javier Esparza, J. Esparza, 1989 .
Natarajan Shankar, Thomas Eiter, Javier Esparza, 2018, Bull. EATCS.
Michael Luttenberger, Javier Esparza, Stefan Kiefer, 2010, SIAM J. Comput..
Jörg Desel, Javier Esparza, J. Desel, 1995 .
Jörg Desel, Javier Esparza, J. Desel, 1995 .
Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2008 .
Javier Esparza, Peter Rossmanith, Stefan Schwoon, 2000, Bull. EATCS.
J. Esparza, P. Ganty, Pedro Valero, 2018 .
Javier Esparza, Christian Michaux, Charles Steinhorn, 2011 .
J. Esparza, Mikhail Raskin, Christoph Welzel, 2021, Petri Nets.
J. Esparza, A. Ku, Anton Ceray, 2004 .
J. Esparza, Michael Luttenberger, M. Schlund, 2014, Int. J. Found. Comput. Sci..
J. Raskin, Jan Křetínský, J. Esparza, 2022, International Journal on Software Tools for Technology Transfer.
Jan Křetínský, J. Esparza, Salomon Sickert, 2016, Formal Methods in System Design.
R. Majumdar, J. Esparza, P. Ganty, 2016, Formal Methods in System Design.
Michael Luttenberger, Javier Esparza, Stefan Kiefer, 2010, JACM.
Michael Luttenberger, Javier Esparza, Tomás Brázdil, 2010, Inf. Comput..
Helmut Seidl, Javier Esparza, Stefan Kiefer, 2008, ICALP.
Michael Luttenberger, Javier Esparza, Stefan Kiefer, 2008, Theor. Comput. Sci..
Javier Esparza, J. Esparza, 2021, RP.
Javier Esparza, Antonín Kucera, Michael Blondin, 2018, LICS.
Javier Esparza, Michael Blondin, Stefan Jaax, 2018, STACS.
Javier Esparza, J. Esparza, 1996, Petri Nets.
Mogens Nielsen, Javier Esparza, M. Nielsen, 1994 .
Kousha Etessami, Javier Esparza, K. Etessami, 2004, FSTTCS.
Michael Luttenberger, Javier Esparza, Stefan Kiefer, 2008, IFIP TCS.
Michael Luttenberger, Javier Esparza, Stefan Kiefer, 2007, STACS.
Michael Luttenberger, Javier Esparza, J. Esparza, 2011, CALCO.
Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan, 2014, VMCAI.
Jan Kretínský, Javier Esparza, Stefan Jaax, 2016, CAV.
Rajeev Alur, Javier Esparza, Ahmed Bouajjani, 2018, Handbook of Model Checking.
Javier Esparza, Ahmed Bouajjani, A. Bouajjani, 2006, RTA.
Tayssir Touili, Javier Esparza, Ahmed Bouajjani, 2005, INFINITY.
Javier Esparza, Antonín Kucera, Stefan Schwoon, 2001, Inf. Comput..
Javier Esparza, Antonín Kucera, Stefan Schwoon, 2001, TACS.
J. Esparza, Stefan Schwoon, P. Rossmanith, 2000, CAV.
Pierre Wolper, Alain Finkel, Javier Esparza, 2000, Inf. Process. Lett..
Andreas Podelski, Javier Esparza, A. Podelski, 2000, POPL '00.
Jens Knoop, Javier Esparza, J. Knoop, 1999, FoSSaCS.
Javier Esparza, Ahmed Bouajjani, Oded Maler, 1997, CONCUR.
Javier Esparza, J. Esparza, 2010, SPIN.
Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2008, Monographs in Theoretical Computer Science. An EATCS Series.
Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2001, SPIN '01.
Javier Esparza, Keijo Heljanko, Keijo Heljanko, 2000, ICALP.
Javier Esparza, J. Esparza, 1993, Sci. Comput. Program..
Jörg Desel, Javier Esparza, J. Desel, 1995 .
Javier Esparza, Philipp J. Meyer, J. Esparza, 2015, 2015 Formal Methods in Computer-Aided Design (FMCAD).
Javier Esparza, Glenn Bruns, G. Bruns, 1996, Theor. Comput. Sci..
Javier Esparza, Stefan Schwoon, J. Esparza, 2005, TACAS.
Javier Esparza, Hagen Völzer, Philipp J. Meyer, 2018, TACAS.
Javier Esparza, Stephan Melzer, S. Melzer, 2000, Formal Methods Syst. Des..
Jens Palsberg, Javier Esparza, Allan Cheng, 1993, Theor. Comput. Sci..
Anca Muscholl, Javier Esparza, Alin Stefanescu, 2003, CONCUR.
Javier Esparza, J. Esparza, 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..
Jan Kretínský, Javier Esparza, Salomon Sickert, 2018, LICS.
Jan Kretínský, Jean-François Raskin, Javier Esparza, 2017, TACAS.
Jan Kretínský, Javier Esparza, Jan Křetínský, 2014, CAV.
Jan Kretínský, Javier Esparza, Salomon Sickert, 2014, Formal Methods Syst. Des..
Alain Finkel, Javier Esparza, Richard Mayr, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Javier Esparza, Stephan Melzer, S. Melzer, 1997, ICATPN.
Jörg Desel, Javier Esparza, J. Desel, 2013, Acta Informatica.
J. Esparza, Joerg Desel, 2013, Acta Informatica.
Manuel Silva Suárez, Javier Esparza, M. Suárez, 1991, Applications and Theory of Petri Nets.
Tayssir Touili, Javier Esparza, Ahmed Bouajjani, 2003, Int. J. Found. Comput. Sci..
J. Esparza, Philipp Hoffmann, 2013 .
Javier Esparza, Stefan Kiefer, Stefan Schwoon, 2006, J. Satisf. Boolean Model. Comput..
Javier Esparza, J. Esparza, 2006 .
J. Esparza, S. Kiefer, Michael Luttenberger, 2007 .
Tobias Nipkow, Javier Esparza, Jan-Georg Smaus, 2013, CAV.
Giorgio Delzanno, Andreas Podelski, Javier Esparza, 1999, CSL.
Javier Esparza, Michael Blondin, Stefan Jaax, 2019, ArXiv.
Javier Esparza, Stefan Kiefer, Andreas Gaiser, 2012, CAV.
Javier Esparza, J. Esparza, 2014, CONCUR.
Jörg Desel, Javier Esparza, J. Desel, 2015, Petri Nets.
Jörg Desel, Javier Esparza, J. Desel, 2015, PNSE @ Petri Nets.
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Manuel Silva Suárez, Javier Esparza, M. Suárez, 1991, CONCUR.
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2015, Formal Methods Syst. Des..
Pierre Ganty, Javier Esparza, Tomás Poch, 2014, TOPL.
Helmut Veith, Natasha Sharygina, R. Majumdar, 2013, Lecture Notes in Computer Science.
Michael Luttenberger, Javier Esparza, Maximilian Schlund, 2014, EACL.
Javier Esparza, Loïg Jezequel, Stefan Schwoon, 2013, FSTTCS.
Maciej Koutny, Javier Esparza, Eike Best, 1994, CONCUR.
Jörg Desel, Javier Esparza, J. Desel, 1993, J. Comput. Syst. Sci..
Javier Esparza, Philipp Hoffmann, Ratul Saha, 2016, Perform. Evaluation.
Javier Esparza, Antonín Kucera, J. Esparza, 2022 .
Faron Moller, Javier Esparza, Petr Jancar, 1999, J. Comput. Syst. Sci..
J. Esparza, Roland Guttenberg, Mikhail A. Raskin, 2022, 2211.02889.
J. Esparza, Michael Blondin, 2022, FoSSaCS.
J. Esparza, Jérôme Leroux, P. Czerner, 2021, Distributed Computing.
Javier Esparza, Philipp J. Meyer, Michael Blondin, 2017, Formal Methods in System Design.
Rupak Majumdar, Javier Esparza, Philipp J. Meyer, 2014, CAV.
Javier Esparza, Eike Best, Karsten Wolf, 2006, Ershov Memorial Conference.
Michael Luttenberger, Javier Esparza, Stefan Kiefer, 2007, STOC '07.
Javier Esparza, Tomás Brázdil, Stefan Kiefer, 2013, Formal Methods Syst. Des..
Javier Esparza, Stefan Schwoon, Claus Schröter, 2003, ICATPN.
Pierre Ganty, Javier Esparza, Stefan Schwoon, 2005, SAS.
Javier Esparza, Antonín Kucera, Richard Mayr, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Walter Vogler, Javier Esparza, Stefan Römer, 1996, Formal Methods Syst. Des..
Manuel Silva Suárez, Javier Esparza, M. Suárez, 1991, Applications and Theory of Petri Nets.
Javier Esparza, Eike Best, E. Best, 2016, Inf. Process. Lett..
Javier Esparza, Eike Best, E. Best, 1991, CSL.
Jörg Desel, Javier Esparza, Ludmila Cherkasova, 1990 .
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2016, FSTTCS.
Pierre Ganty, Michael Luttenberger, Javier Esparza, 2010, ArXiv.
R. Majumdar, J. Esparza, P. Czerner, 2023, International Conference on Computer Aided Verification.
Javier Esparza, Martin Leucker, Maximilian Schlund, 2010, Fundam. Informaticae.
Andrea Corradini, Paolo Baldan, Javier Esparza, 2005 .
T. Nipkow, J. Esparza, J. Smaus, 2013, CAV.
Javier Esparza, Olaf Burkart, J. Esparza, 2001, INFINITY.
J. Esparza, 1996 .
Javier Esparza, J. Esparza, 1997, Acta Informatica.
J. Desel, J. Esparza, 1995 .