Selected publications by Sylvain Schmitz

2011

• Michel Blockelet and Sylvain Schmitz.  Model-Checking Coverability Graphs of Vector Addition Systems.  In Filip Murlak and Piotr Sankowski (eds.), MFCS'11, LNCS 6907, pages 108-119. Springer, 2011.

  Web page | PDF | BibTeX + Abstract

  doi: 10.1007/978-3-642-22993-0_13

• Sylvain Schmitz.  A Note on Sequential Rule-Based POS Tagging.  In Andreas Maletti (ed.), FSMNLP'11, pages 83-87. ACL Press, 2011.

  Web page | PDF | BibTeX + Abstract

• Sylvain Schmitz and Philippe Schnoebelen.  Multiply-Recursive Upper Bounds with Higman's Lemma.  In Luca Aceto, Monika Henzinger and Jirí Sgall (eds.), ICALP'11, LNCS 6756, pages 441-452. Springer, 2011.

  Web page | PDF | PDF (long version) | BibTeX + Abstract

  doi: 10.1007/978-3-642-22012-8_35

• Pierre Chambart, Alain Finkel and Sylvain Schmitz.  Forward Analysis and Model Checking for Trace Bounded WSTS.  In Lars M. Kristensen and Laure Petrucci (eds.), ICATPN'11, LNCS 6709. Springer, 2011.

  Web page | PDF (long version) | BibTeX + Abstract

  doi: 10.1007/978-3-642-21834-7_4

• Diego Figueira, Santiago Figueira, Sylvain Schmitz and Philippe Schnoebelen.  Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma.  In LICS'11, pages 269-278. IEEE Computer Society Press, 2011.

  Web page | PDF | PDF (long version) | BibTeX + Abstract

  doi: 10.1109/LICS.2011.39

2010

• Pierre-Cyrille Héam, Cyril Nicaud and Sylvain Schmitz.  Parametric Random Generation of Deterministic Tree Automata.  Theoretical Computer Science 411(38-39), pages 3469-3480, 2010.

  PDF | BibTeX + Abstract

  doi: 10.1016/j.tcs.2010.05.036

• Sylvain Schmitz.  On the Computational Complexity of Dominance Links in Grammatical Formalisms.  In ACL'10, pages 514-524. Association for Computational Linguistics, 2010.

  Web page | PDF | BibTeX + Abstract

• Sylvain Schmitz.  An Experimental Ambiguity Detection Tool.  Science of Computer Programming 75(1-2), pages 71-84, 2010.

  Web page | PDF | BibTeX + Abstract

  doi: 10.1016/j.scico.2009.07.002

2009

• Pierre-Cyrille Héam, Cyril Nicaud and Sylvain Schmitz.  Random Generation of Deterministic Tree (Walking) Automata.  In Sebastian Maneth (ed.), CIAA'09, LNCS 5642, pages 115-124. Springer-Verlag, 2009.

  Web page | PDF | BibTeX + Abstract

  doi: 10.1007/978-3-642-02979-0_15

2008

• Sylvain Schmitz and Joseph Le Roux.  Feature Unification in TAG Derivation Trees.  In Claire Gardent and Anoop Sarkar (eds.), TAG+'08, pages 141-148. 2008.

  Web page | PDF | BibTeX + Abstract

• Sylvain Schmitz.  An Experimental Ambiguity Detection Tool.  In Anthony Sloane and Adrian Johnstone (eds.), LDTA'07, ENTCS 203(2), pages 69-84. Elsevier Science Publishers, 2008.

  PDF | Slides | BibTeX + Abstract

  doi: 10.1016/j.entcs.2008.03.045

2007

• Sylvain Schmitz.  Approximating Context-Free Grammars for Parsing and Verification.  Thèse de doctorat, Laboratoire I3S, Université de Nice-Sophia Antipolis, France, September 2007.

  Web page | PDF | BibTeX + Abstract

• Sylvain Schmitz.  Conservative Ambiguity Detection in Context-Free Grammars.  In Lars Arge, Christian Cachin, Tomasz Jurdziński and Andrzej Tarlecki (eds.), ICALP'07, LNCS 4596, pages 692-703. Springer, 2007.

  PDF | BibTeX + Abstract

  doi: 10.1007/978-3-540-73420-8_60

2006

• Jacques Farré, Igor Litovsky and Sylvain Schmitz (eds.).  Revised Selected Papers of the 10th International Conference on Implementation and Application of Automata (CIAA'05), Sophia Antipolis, France, June 2005, LNCS 3845. Springer, 2006.

  Web page | BibTeX

  doi: 10.1007/11605157

• Sylvain Schmitz.  Modular Syntax Demands Verification.  Technical Report I3S/RR-2006-32-FR, Laboratoire I3S, Université de Nice-Sophia Antipolis, France, October 2006.

  PDF | BibTeX + Abstract

• José Fortes Gálvez, Sylvain Schmitz and Jacques Farré.  Shift-Resolve Parsing: Simple, Linear Time, Unbounded Lookahead.  In Oscar H. Ibarra and Hsu-Chun Yen (eds.), CIAA'06, LNCS 4094, pages 253-264. Springer-Verlag, 2006.

  PDF | Slides | BibTeX + Abstract

  doi: 10.1007/11812128_24

• Sylvain Schmitz.  Noncanonical LALR(1) Parsing.  In Zhe Dang and Oscar H. Ibarra (eds.), DLT'06, LNCS 4036, pages 95-107. Springer, 2006.

  PDF | Slides | BibTeX + Abstract

  doi: 10.1007/11779148_10

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique