Javier Esparza

• Automata Theory
• Automata, Languages, and Programming
• Automated Technology for Verification and Analysis
• Finite and algorithmic model theory
• Free choice Petri nets
• Unfoldings
• Application and Theory of Petri Nets 2002
• Finite and algorithmic model theory
• Foundations of Software Science and Computation Structures
• La cruzada del océano [The Crusade of the Ocean]: La gran aventura de la conquista de América [The Great Adventure of the Conquest of America]
• On the decidability of model checking for several (mu)-calculi and Petri nets
• Tools and Algorithms for the Construction and Analysis of Systems