Leroux, Jérôme

1. Accurate 3D comparison of complex topography with terrestrial laser scanner: application to the Rangitikei canyon (N-Z)
   2013/02/05 by Dimitri Lague, Lague, Dimitri, Nicolas Brodu +3 · 10 citations
   Earth and Planetary Sciences · Environmental Science · #3D Surveying and Cultural Heritage #FOS: Physical sciences #Geophysics (physics.geo-ph) #Remote Sensing and LiDAR Applications #Remote Sensing in Agriculture
2. The Reachability Problem for Petri Nets is Not Primitive Recursive
   2021/04/26 by Jérôme Leroux, Leroux, Jérôme · 12 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Petri Nets in System Modeling
3. Occam's Razor Applied to the Petri Net Coverability Problem
   2016/07/18 by Thomas Geffroy, Geffroy, Thomas, Jérôme Leroux +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Petri Nets in System Modeling
4. Linear Combinations of Unordered Data Vectors
   2016/10/05 by Piotr Hofman, Hofman, Piotr, Jérôme Leroux +3 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Computer Science · #Computability, Logic, AI Algorithms #DNA and Biological Computing #F.1.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #semigroups and automata theory
5. On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension
   2015/03/13 by Jérôme Leroux, Grégoire Sutre, Leroux, Jérôme +3 · 1 citation
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory
6. New Lower Bounds for Reachability in Vector Addition Systems
   2023/10/13 by Wojciech Czerwiński, Czerwiński, Wojciech, Ismaël Jecker +7 · 1 citation
   Computer Science · #Complexity and Algorithms in Graphs #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #Quantum Computing Algorithms and Architecture