Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jérôme Leroux
Reachability Analysis of Communicating Pushdown Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Relational Trace Logic for Vector Addition Systems With Application to Context-Freeness
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems
The Reachability Problem for Petri Nets Is Not Elementary
TaPAS: The Talence Presburger Arithmetic Suite
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
FAST: Acceleration From Theory to Practice
International Journal on Software Tools for Technology Transfer
Information Systems
Software
