World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
58
Citations
14885
World Ranking
3600
National Ranking
161

Research.com Recognitions

  • 2011 - Member of Academia Europaea

Overview

Javier Esparza is affiliated with the Technical University of Munich in Germany. Their academic work primarily focuses on areas within computer science, with a particular emphasis on computational theory and mathematics.

Their research spans several subfields including:

  • Computational Theory and Mathematics
  • Artificial Intelligence
  • Computer Networks and Communications
  • Molecular Biology
  • Software

Esparza's main research topics encompass:

  • Formal Methods in Verification
  • Distributed Systems and Fault Tolerance
  • Logic, Programming, and Type Systems
  • Petri Nets in System Modeling
  • Logic, Reasoning, and Knowledge
  • DNA and Biological Computing
  • Semigroups and Automata Theory

Their publication record includes contributions to several well-known venues, with a total of 21 publications in arXiv (Cornell University), 11 in Leibniz-Zentrum für Informatik (Schloss Dagstuhl), 4 in Zenodo (CERN European Organization for Nuclear Research), 3 in Logical Methods in Computer Science, and 3 in Lecture notes in computer science.

Recent papers authored by Esparza include:

  • Decidability Issues for Petri Nets - a survey, 2024, arXiv (Cornell University)
  • A Uniform Framework for Problems on Context-Free Grammars, 2024, arXiv (Cornell University)
  • A Unified Translation of Linear Temporal Logic to ω-Automata, 2020, Journal of the ACM
  • From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata, 2022, International Journal on Software Tools for Technology Transfer

The scientist frequently collaborates with other researchers including Mikhail Raskin, Philipp Czerner, Christoph Welzel, Michael Blondin, and Martin Helfrich.

Recognition for their work includes membership in the Academia Europaea, awarded in 2011.

Best Publications

  • Free choice Petri nets

    Jörg Desel;Javier Esparza

  • Reachability Analysis of Pushdown Automata: Application to Model-Checking

    Ahmed Bouajjani;Javier Esparza;Oded Maler

  • Decidability Issues for Petri Nets

    Javier Esparza;Mogens Nielsen

  • Efficient Algorithms for Model Checking Pushdown Systems

    Javier Esparza;David Hansel;Peter Rossmanith;Stefan Schwoon

  • Decidability and Complexity of Petri Net Problems - An Introduction

    Javier Esparza

  • An Improvement of McMillan's Unfolding Algorithm

    Javier Esparza;Stefan Römer;Walter Vogler

  • Decidability Issues for Petri Nets - a survey.

    Javier Esparza;Mogens Nielsen

  • On the verification of broadcast protocols

    J. Esparza;A. Finkel;R. Mayr

  • Model checking using net unfoldings

    Javier Esparza

  • Unfoldings: A Partial-Order Approach to Model Checking

    Javier Esparza;Keijo Heljanko

  • Decidability and complexity of Petri net problems : An introduction

    J. Esparza

  • Complexity results for 1-safe nets

    Allan Cheng;Javier Esparza;Jens Palsberg

  • Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)

    Jorg Desel;Javier Esparza

  • Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes

    Javier Esparza

  • Decidability of model checking for infinite-state concurrent systems

    Javier Esparza

  • A generic approach to the static analysis of concurrent programs with procedures

    Ahmed Bouajjani;Javier Esparza;Tayssir Touili

  • A BDD-Based Model Checker for Recursive Programs

    Javier Esparza;Stefan Schwoon

  • A Generic Approach to the Static Analysis of Concurrent Programs with Procedures

    Ahmed Bouajjani;Javier Esparza;Tayssir Touili

  • Model Checking Probabilistic Pushdown Automata

    Antonín Kucera;Javier Esparza;Richard Mayr

  • An Improvement of McMillan's Unfolding Algorithm

    Javier Esparza;Stefan Römer;Walter Vogler

Frequent Co-Authors

Rupak Majumdar
Rupak Majumdar Max Planck Institute for Software Systems
Antonín Kučera
Antonín Kučera Masaryk University
Ahmed Bouajjani
Ahmed Bouajjani Université Paris Cité
Alois Knoll
Alois Knoll Technical University of Munich
Peter Rossmanith
Peter Rossmanith RWTH Aachen University
Manuel Silva
Manuel Silva University of Zaragoza
Andreas Podelski
Andreas Podelski University of Freiburg
Tobias Nipkow
Tobias Nipkow Technical University of Munich
Jens Palsberg
Jens Palsberg University of California, Los Angeles
Mogens Nielsen
Mogens Nielsen Aarhus University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens up a pathway to a wide range of degree options and career opportunities. Whether you’re just starting out or aiming to specialize further, the flexibility of online education can help you reach your goals.

For beginners or those seeking a cost-effective entry point, online associate degree programs offer an affordable and flexible way to build foundational knowledge in computer science. These programs can be a stepping stone to higher degrees or lead to immediate employment in tech support roles.

If affordability is your main concern, look for cheap online college classes. These options allow you to pursue your education without taking on heavy debt, while still gaining relevant skills for the digital job market.

For advanced learners, pursuing masters degrees that are worth it can significantly boost your earning potential and job prospects. Fields like data science, artificial intelligence, and cybersecurity are particularly in demand.

Not all academic journeys are the same; if you have academic challenges, there are online colleges that accept low gpa, making quality computer science education more accessible.

Best Scientists Citing Javier Esparza

Trending Scientists