Accéder directement au contenu

Sylvain Schmitz

5
Documents

Présentation

Publications

968472
Image document

Decidable XPath Fragments in the Real World

 David Baelde , Anthony Lick , Sylvain Schmitz
38th ACM Symposium on Principles of Database Systems (PODS'19), Jun 2019, Amsterdam, Netherlands. ⟨10.1145/3294052.3319685⟩
Communication dans un congrès hal-01852475v1
Image document

A Hypersequent Calculus with Clusters for Linear Frames

 David Baelde , Anthony Lick , Sylvain Schmitz
Twefth Conference on Advances in Modal Logic, Jul 2018, Bern, Switzerland. pp.36--55
Communication dans un congrès hal-01756126v2
Image document

A Hypersequent Calculus with Clusters for Tense Logic over Ordinals

 David Baelde , Anthony Lick , Sylvain Schmitz
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⟩
Communication dans un congrès hal-01852077v2
Image document

XPath Parser

 David Baelde , Anthony Lick , Sylvain Schmitz
2019, ⟨swh:1:dir:081194c82832b17c4d1229313e85753dfb3ec4cd;origin=https://hal.archives-ouvertes.fr/hal-02079276;visit=swh:1:snp:c65e2c93c0e93ba5789ad3560b50492c942776ff;anchor=swh:1:rev:bac735336055e1e5fe24e87d33b42a802112e7df;path=/⟩
Logiciel hal-02079276v1
Image document

XPath Benchmark

 Anthony Lick , David Baelde , Sylvain Schmitz
2019, ⟨swh:1:dir:1ea68cf5bb3f9f3f2fe8c7995f1802ebadf17fb5;origin=https://hal.archives-ouvertes.fr/hal-02079114;visit=swh:1:snp:7c7faf214f78660c34ea8392a4748f22faf7b432;anchor=swh:1:rev:39b305d6b703c1d2c2557d8c7aa1ae27a5d9e6a6;path=/⟩
Logiciel hal-02079114v1