Jerome Leroux
Université de Bordeaux
H-index: 29
Europe-France
Top articles of Jerome Leroux
A State-of-the-Art Karp-Miller Algorithm Certified in Coq
2024/4/4
On the Home-Space Problem for Petri Nets
2024/3/20
New Lower Bounds for Reachability in Vector Addition Systems
arXiv preprint arXiv:2310.09008
2023/10/13
48th International Symposium on Mathematical Foundations of Computer Science
2023/8
The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets
2023
Compiling Petri Net Mutual Reachability in Presburger
arXiv preprint arXiv:2210.09931
2022/10/18
State complexity of protocols with leaders
2022/7/20
Semilinear Home-space is Decidable for Petri Nets
arXiv preprint arXiv:2207.02697
2022/7/6
Sedimentology of a hypertidal point bar (Mont‐Saint‐Michel Bay, north‐western France) revealed by combining lidar time‐series and sedimentary core data
Sedimentology
2022/4
Marta Cosma
H-Index: 1
Dimitri Lague
H-Index: 19
Jerome Leroux
H-Index: 19
Massimiliano Ghinassi
H-Index: 19
The reachability problem for Petri nets is not primitive recursive
2022/2/7
New Algorithms for Combinations of Objectives using Separating Automata
arXiv preprint arXiv:2109.08322
2021/9/17
Depicting architecture and sedimentology of a hypertidal point bar through Lidar and sedimentary-core data
2021/6/21
Flat Petri Nets (Invited Talk)
2021/6/16
A lower bound for the coverability problem in acyclic pushdown VAS
Information Processing Letters
2021/4/1
The reachability problem for Petri nets is not elementary
Journal of the ACM (JACM)
2020/12/20
Reachability in two-dimensional vector addition systems with states: One test is for free
LICS 2015–Logic in Computer Science
2015
When reachability meets grzegorczyk
2020/7/8
Reachability in fixed dimension vector addition systems with states
arXiv preprint arXiv:2001.04327
2020/1/13