2019
- 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
-
- titre
- XPath Parser
- auteur
- David Baelde, Anthony Lick, Sylvain Schmitz
- article
- 2019, ⟨swh:1:dir:081194c82832b17c4d1229313e85753dfb3ec4cd;origin=https://hal.archives-ouvertes.fr/hal-02079276;visit=swh:1:snp:c65e2c93c0e93ba5789ad3560b50492c942776ff;anchor=swh:1:rev:bac735336055e1e5fe24e87d33b42a802112e7df;path=/⟩
- Accès au texte intégral et bibtex
-
- titre
- Decidable XPath Fragments in the Real World
- auteur
- David Baelde, Anthony Lick, Sylvain Schmitz
- article
- 38th ACM Symposium on Principles of Database Systems (PODS'19), Jun 2019, Amsterdam, Netherlands. ⟨10.1145/3294052.3319685⟩
- Accès au texte intégral et 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
-
- titre
- A Hypersequent Calculus with Clusters for Data Logic over Ordinals
- auteur
- Anthony Lick
- article
- 2019
- Accès au texte intégral et bibtex
-
- titre
- XPath Benchmark
- auteur
- Anthony Lick, David Baelde, Sylvain Schmitz
- article
- 2019, ⟨swh:1:dir:1ea68cf5bb3f9f3f2fe8c7995f1802ebadf17fb5;origin=https://hal.archives-ouvertes.fr/hal-02079114;visit=swh:1:snp:7c7faf214f78660c34ea8392a4748f22faf7b432;anchor=swh:1:rev:39b305d6b703c1d2c2557d8c7aa1ae27a5d9e6a6;path=/⟩
- Accès au texte intégral et 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
-
- 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
-
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
-
2016
- 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
-
- 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
-
- 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
-
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
-