Publications HAL du projet ANR. PRODAQ

2019

titre
XPath Parser
auteur
David Baelde, Anthony Lick, Sylvain Schmitz
article
2019, ⟨swh:1:dir:081194c82832b17c4d1229313e85753dfb3ec4cd⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02079276/file/xpparser-1.0.zip BibTex
titre
XPath Benchmark
auteur
Anthony Lick, David Baelde, Sylvain Schmitz
article
2019, ⟨swh:1:dir:1ea68cf5bb3f9f3f2fe8c7995f1802ebadf17fb5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02079114/file/xpath-benchmark-2.0.zip BibTex
titre
A Hypersequent Calculus with Clusters for Data Logic over Ordinals
auteur
Anthony Lick
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02165359/file/main.pdf BibTex
titre
The Parametric Complexity of Lossy Counter Machines
auteur
Sylvain Schmitz
article
ICALP 2019, Jul 2019, Patras, Greece. pp.129:1--129:15, ⟨10.4230/LIPIcs.ICALP.2019.129⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02020728/file/main.pdf BibTex
titre
Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension
auteur
Jérôme Leroux, Sylvain Schmitz
article
LICS 2019, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1--13, ⟨10.1109/LICS.2019.8785796⟩
Accès au bibtex
https://arxiv.org/pdf/1903.08575 BibTex

2018

titre
A Hypersequent Calculus with Clusters for Linear Frames
auteur
David Baelde, Anthony Lick, Sylvain Schmitz
article
Twefth Conference on Advances in Modal Logic, Jul 2018, Bern, Switzerland. pp.36--55
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01756126/file/main.pdf BibTex
titre
Decidable XPath Fragments in the Real World
auteur
David Baelde, Anthony Lick, Sylvain Schmitz
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01852475/file/main.pdf BibTex
titre
A Hypersequent Calculus with Clusters for Tense Logic over Ordinals
auteur
David Baelde, Anthony Lick, Sylvain Schmitz
article
FSTTCS 2018 - 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2018, Ahmedabad, India. pp.15:1--15:19, ⟨10.4230/LIPIcs.FSTTCS.2018.15⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01852077/file/main.pdf BibTex

2017

titre
Algorithmic Complexity of Well-Quasi-Orders
auteur
Sylvain Schmitz
article
Logic in Computer Science [cs.LO]. École normale supérieure Paris-Saclay, 2017
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01663266/file/hdr.pdf BibTex

2016

titre
A Sequent Calculus for a Modal Logic on Finite Data Trees
auteur
David Baelde, Simon Lunel, Sylvain Schmitz
article
CSL 2016, Sep 2016, Marseille, France. pp.1--16, ⟨10.4230/LIPIcs.CSL.2016.32⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01191172/file/main.pdf BibTex
titre
Coverability Trees for Petri Nets with Unordered Data
auteur
Piotr Hofman, Sławomir Lasota, Ranko Lazić, Jérôme Leroux, Sylvain Schmitz, Patrick Totzke
article
FoSSaCS, 2016, Eindhoven, Netherlands. pp.445--461, ⟨10.1007/978-3-662-49630-5_26⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01252674/file/main.pdf BibTex
titre
The Complexity of Coverability in ν-Petri Nets
auteur
Ranko Lazić, Sylvain Schmitz
article
LICS 2016 - 31th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York, United States. pp.467--476, ⟨10.1145/2933575.2933593⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01265302/file/sigplanconf.pdf BibTex

2015

titre
Demystifying Reachability in Vector Addition Systems
auteur
Jérôme Leroux, Sylvain Schmitz
article
LICS 2015, Jul 2015, Kyoto, Japan. pp.56--67, ⟨10.1109/LICS.2015.16⟩
Accès au bibtex
https://arxiv.org/pdf/1503.00745 BibTex