Esparza, Javier
- From LTL to Deterministic Automata: A Safraless Compositional Approach
2014/02/14 by Javier Esparza, Esparza, Javier, Jan Křetínský +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
- Fast and Succinct Population Protocols for Presburger Arithmetic
2022/02/23 by Czerner, Philipp, Guttenberg, Roland, Helfrich, Martin +1 · 2 citations
#Distributed #F.1.1 #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
- Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Corrected version)
2014/05/08 by Esparza, Javier · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- 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
- Succinct Population Protocols for Presburger Arithmetic
2019/10/10 by Blondin, Michael, Esparza, Javier, Genest, Blaise +2 · 1 citation
#Computational Complexity (cs.CC) #Distributed #F.1.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA) #Parallel #and Cluster Computing (cs.DC)
- Geometry of Reachability sets of Vector Addition Systems
2022/11/05 by Guttenberg, Roland, Raskin, Mikhail, Esparza, Javier · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- A Resolution-Based Interactive Proof System for UNSAT
2024/01/26 by Czerner, Philipp, Esparza, Javier, Krasotin, Valentin +1 · 1 citation
#F.1.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)