Accéder directement au contenu

Sylvain Schmitz

2
Documents

Présentation

Publications

37693
43582
Image document

The Parametric Complexity of Lossy Counter Machines

Sylvain Schmitz
ICALP 2019, Jul 2019, Patras, Greece. pp.129:1--129:15, ⟨10.4230/LIPIcs.ICALP.2019.129⟩
Communication dans un congrès hal-02020728v2

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