Javier Esparza

1. A Unified Translation of Linear Temporal Logic to ω-Automata
   2020/10/17 by Javier Esparza, Jan Křetínský, Salomon Sickert · 4 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory
2. From LTL to Deterministic Automata: A Safraless Compositional Approach
   2014/02/14 by Javier Esparza, Jan Křetínský, Esparza, Javier +1 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #semigroups and automata theory
3. Parameterized Analysis of Immediate Observation Petri Nets
   2019/02/08 by Javier Esparza, Esparza, Javier, Mikhail Raskin +3 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Computer Science · #DNA and Biological Computing #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling