Accéder directement au contenu

Sylvain Schmitz

3
Documents

Présentation

Publications

37693
"jerome-leroux"

Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension

Jérôme Leroux , Sylvain Schmitz
LICS 2019, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1--13, ⟨10.1109/LICS.2019.8785796⟩
Communication dans un congrès hal-02267524v1
Image document

Coverability Trees for Petri Nets with Unordered Data

Piotr Hofman , Sławomir Lasota , Ranko Lazić , Jérôme Leroux , Sylvain Schmitz
FoSSaCS, 2016, Eindhoven, Netherlands. pp.445--461, ⟨10.1007/978-3-662-49630-5_26⟩
Communication dans un congrès hal-01252674v1

Demystifying Reachability in Vector Addition Systems

Jérôme Leroux , Sylvain Schmitz
LICS 2015, Jul 2015, Kyoto, Japan. pp.56--67, ⟨10.1109/LICS.2015.16⟩
Communication dans un congrès hal-01168388v1