% BibTeX of publications by Sylvain Schmitz (and co-authors!).

@string{lncs = "Lecture Notes in Computer Science"}

% 2011

@inProceedings{ltc/GardentPPS11,
  author       = {Claire Gardent and Yannick Parmentier and Guy Perrier and
                  Sylvain Schmitz},
  title        = {Lexical Disambiguation in {LTAG} using Left Context},
  booktitle    = {LTC 2011: Proceedings of the 5th Language \& Technology
                  Conference},
  location     = {Pozna\'n, Poland},
  pages        = {395--399},
  year         = 2011,
  oai          = {hal.archives-ouvertes.fr:hal-00629902},
  url          = {http://hal.archives-ouvertes.fr/hal-00629902/},
}

@inProceedings{mfcs/BlockeletS11,
  author       = {Michel Blockelet and Sylvain Schmitz},
  title        = {Model-Checking Coverability Graphs of Vector Addition
                  Systems},
  booktitle    = {MFCS 2011: Proceedings of the 36th International
                  Symposium on Mathematical Foundations of Computer Science},
  editor       = {Filip Murlak and Piotr Sankowski},
  location     = {Warsaw, Poland},
  series       = lncs,
  volume       = 6907,
  pages        = {108--119},
  year         = 2011,
  publisher    = {Springer},
  doi          = {10.1007/978-3-642-22993-0_13},
  oai          = {hal.archives-ouvertes.fr:hal-00600077},
  url          = {http://hal.archives-ouvertes.fr/hal-00600077/},
}

@inProceedings{fsmnlp/Schmitz11,
  author       = {Sylvain Schmitz},
  title        = {A Note on Sequential Rule-Based {POS} Tagging},
  booktitle    = {FSMNLP 2011: Proceedings of the 9th International
                  Workshop on Finite-State Methods and Natural
                  Language Processing},
  editor       = {Andreas Maletti},
  location     = {Blois, France},
  year         = 2011,
  publisher    = {ACL Press},
  oai          = {hal.archives-ouvertes.fr:hal-00600260},
  pages        = {83--87},
  url          = {http://www.aclweb.org/anthology/W11-4411},
  note         = {Short paper},
}

@inProceedings{icalp/SchmitzS11,
  author       = {Sylvain Schmitz and {\relax Ph}ilippe Schnoebelen},
  title        = {Multiply-Recursive Bounds with {H}igman's {L}emma},
  editor       = {Luca Aceto and Monika Henzinger and Jir\'i Sgall},
  booktitle    = {ICALP 2011: Proceedings of the 38th International
                  Colloquium on Automata, Languages and Programming},
  location     = {Z\"urich, Switzerland},
  series       = lncs,
  volume       = 6756,
  pages        = {441--452},
  year         = {2011},
  doi          = {10.1007/978-3-642-22012-8_35},
  oai          = {arXiv:1103/4399 [cs.LO]},
  url          = {http://arxiv.org/abs/1103.4399},
  publisher    = {Springer},
}

@inProceedings{lics/FigueiraFSS11,
  author      = {Figueira, Diego and Figueira, Santiago and Schmitz, Sylvain
                 and Schnoebelen, {\relax Ph}ilippe},
  title       = {{A}ckermannian and Primitive-Recursive Bounds with {D}ickson's
                 {L}emma},
  booktitle   = {LICS 2011: Proceedings of the 26th Annual IEEE Symposium
                 on Logic in Computer Science},
  location    = {Toronto, Canada},
  pages       = {269--278},
  year        = 2011,
  oai         = {arXiv:1007.2989 [cs.LO]},
  doi         = {10.1109/LICS.2011.39},
  url         = {http://arxiv.org/abs/1007.2989},
  publisher   = {IEEE Press},
}

@inProceedings{icatpn/ChambartFS11,
  author      = {Pierre Chambart and Alain Finkel and Sylvain Schmitz},
  title       = {Forward Analysis and Model Checking for Trace Bounded {WSTS}},
  booktitle   = {Petri Nets 2011: Proceedings of the 32nd International
                 Conference on Application and Theory of Petri Nets},
  editor      = {Lars Michael Kristensen and Laure Petrucci},
  location    = {Newcastle, UK},
  series      = lncs,
  volume      = 6709,
  pages       = {49--68},
  year        = 2011,
  doi         = {10.1007/978-3-642-21834-7_4},
  oai         = {arXiv:1004.2802 [cs.LO]},
  url         = {http://arxiv.org/abs/1004.2802},
  publisher   = {Springer},
}

% 2010

@inProceedings{acl/Schmitz10,
  author      = {Sylvain Schmitz},
  title       = {On the Computational Complexity of Dominance Links
                 in Grammatical Formalisms},
  year        = 2010,
  booktitle   = {ACL 2010: Proceedings of the 48th Annual Meeting of the
                 Association for Computational Linguistics},
  pages       = {514--524},
  location    = {Uppsala, Sweden},
  oai         = {hal.archives-ouvertes.fr:hal-00482396},
  url         = {http://hal.archives-ouvertes.fr/hal-00482396},
  publisher   = {ACL Press}
}

@article{tcs/HeamNS10,
  author      = {H{\'e}am, Pierre-Cyrille and Nicaud, Cyril and
                 Schmitz, Sylvain},
  title       = {Parametric Random Generation of Deterministic Tree Automata},
  volume      = 411,
  number      = {38--39},
  pages       = {3469--3480},
  year        = 2010,
  journal     = tcs,
  doi         = {10.1016/j.tcs.2010.05.036},
  oai         = {hal.inria.fr:inria-00511450},
  url         = {http://hal.inria.fr/inria-00511450},
  publisher   = {Elsevier Science Publishers}
}

@article{scico/Schmitz10,
  author      = {Sylvain Schmitz},
  title       = {An Experimental Ambiguity Detection Tool},
  journal     = {Science of Computer Programming},
  volume      = 75,
  number      = {1--2},
  pages       = {71--84},
  year        = 2010,
  doi         = {10.1016/j.scico.2009.07.002},
  oai         = {hal.archives-ouvertes.fr:hal-00436398},
  url         = {http://hal.archives-ouvertes.fr/hal-00436398},
  publisher   = {Elsevier Science Publishers}
}

% 2009

@inProceedings{ciaa/HeamNS09,
  author      = {H{\'e}am, Pierre-Cyrille and Nicaud, Cyril and
                 Schmitz, Sylvain},
  title       = {Random Generation of Deterministic Tree (Walking) Automata},
  booktitle   = {CIAA 2009: Proceedings of the 14th International Conference
                 on Implementation and Application of Automata},
  editor      = {Maneth, Sebastian},
  series      = lncs,
  volume      = 5642,
  pages       = {115--124},
  year        = 2009,
  isbn        = {978-3-642-02978-3},
  location    = {Sydney, Australia},
  doi         = {10.1007/978-3-642-02979-0_15},
  oai         = {hal.inria.fr:inria-00408316},
  url         = {http://hal.inria.fr/inria-00408316},
  publisher   = {Springer},
  note        = {Superceded by \cite{tcs/HeamNS10}}
}

% 2008

@inProceedings{tagp/SchmitzLR08,
  author      = {Sylvain Schmitz and Le Roux, Joseph},
  title       = {Feature Unification in {TAG} Derivation Trees},
  editor      = {Claire Gardent and Anoop Sarkar},
  booktitle   = {TAG+9: Proceedings of the Ninth International Workshop on
                 Tree Adjoining Grammars and Related Formalisms},
  pages       = {141--148},
  location    = {T\"ubingen, Germany},
  year        = 2008,
  oai         = {arXiv.org:0804.4584},
  url         = {http://arxiv.org/abs/0804.4584}
}

@inProceedings{taln/SchmitzLR08,
  author      = {Sylvain Schmitz and Le Roux, Joseph},
  title       = {Calculs d'unification sur les arbres de d\'erivation {TAG}},
  booktitle   = {TALN 2008: Actes de la 15\`eme conf\'erence sur le Traitement
                 Automatique des Langues Naturelles},
  pages       = {320--329},
  location    = {Avignon, France},
  year        = 2008,
  oai         = {hal.inria.fr:inria-00270922},
  url         = {http://hal.archives-ouvertes.fr/inria-00270922},
  note        = {English version in \cite{tagp/SchmitzLR08}}
}

@inProceedings{ldta/Schmitz07,
  author      = {Sylvain Schmitz},
  title       = {An Experimental Ambiguity Detection Tool},
  booktitle   = {LDTA 2007: Proceedings of the 7th Workshop on Language
                 Descriptions, Tools and Applications},
  editor      = {Anthony Sloane and Adrian Johnstone},
  location    = {Braga, Portugal},
  series      = {Electronic Notes in Theoretical Computer Science},
  volume      = 203,
  number      = 2,
  pages       = {69--84},
  year        = 2008,
  doi         = {10.1016/j.entcs.2008.03.045},
  publisher   = {Elsevier Science Publishers},
  note        = {Superceded by \cite{scico/Schmitz10}}
}

% 2007

@PhDThesis{phd/Schmitz07,
  author      = {Sylvain Schmitz},
  title       = {Approximating Context-Free Grammars for Parsing and Verification},
  month       = sep,
  year        = 2007,
  school      = {Universit\'e de Nice - Sophia Antipolis},
  oai         = {tel.archives-ouvertes.fr:tel-00271168},
  url         = {http://tel.archives-ouvertes.fr/tel-00271168}
}

@inProceedings{icalp/Schmitz07,
  author      = {Sylvain Schmitz},
  title       = {Conservative Ambiguity Detection in Context-Free Grammars},
  booktitle   = {ICALP 2007: Proceedings of the 34th International Colloquium
                 on Automata, Languages and Programming},
  editor      = {Lars Arge and Christian Cachin and Tomasz Jurdzi\'nski and
                 Andrzej Tarlecki},
  series      = lncs,
  volume      = 4596,
  pages       = {692--703},
  location    = {Wroc\l{}aw, Poland},
  year        = 2007,
  isbn        = {978-3-540-73419-2},
  oai         = {hal.archives-ouvertes.fr:hal-00610222},
  doi         = {10.1007/978-3-540-73420-8_60},
  url         = {http://hal.archives-ouvertes.fr/hal-00610222},
  publisher   = {Springer}
}

% 2006

@inProceedings{dlt/Schmitz06,
  author      = {Sylvain Schmitz},
  title       = {Noncanonical {LALR}(1) Parsing},
  booktitle   = {DLT 2006: Proceedings of the 10th International Conference on
                 Developments in Language Theory},
  location    = {Santa Barbara, California, USA},
  editor      = {Zhe Dang and Oscar H. Ibarra},
  series      = lncs,
  publisher   = {Springer},
  year        = 2006,
  volume      = {4036},
  pages       = {95--107},
  isbn        = {3-540-35428-X},
  issn        = {0302-9743},
  doi         = {10.1007/11779148_10}
}

@inProceedings{ciaa/FortesGalvezSF06,
  author      = {Fortes G\'alvez, Jos\'e and Schmitz, Sylvain
                 and Farr\'e, Jacques},
  title       = {Shift-Resolve Parsing: Simple, Linear Time,
                 Unbounded Lookahead},
  booktitle   = {CIAA 2006: Proceedings of the 11th International Conference
                 on Implementation and Application of Automata},
  location    = {Taipei, Taiwan},
  editor      = {Oscar H. Ibarra and Hsu-Chun Yen},
  volume      = 4094,
  pages       = {253--264},
  series      = lncs,
  publisher   = {Springer},
  year        = 2006,
  isbn        = {3-540-37213-X},
  doi         = {10.1007/11812128_24}
}

@TechReport{rr/Schmitz06,
  author      = {Sylvain Schmitz},
  title       = {Modular Syntax Demands Verification},
  institution = {Laboratoire I3S, Universit\'e de Nice - Sophia Antipolis
                 \& CNRS},
  month       = oct,
  year        = 2006,
  number      = {I3S/RR-2006-32-FR},
  url         = {http://www.i3s.unice.fr/~mh/RR/2006/RR-06.32-S.SCHMITZ.pdf}
}

% 2005

@Proceedings{ciaa/2005,
  title       = {Implementation and Application of Automata,
                 10th International Conference,
                 Sophia Antipolis, France,
                 June 27--29, 2005},
  year        = {2006},
  booktitle   = {CIAA'05},
  editor      = {Jacques Farr\'{e} and Igor Litovsky and Sylvain Schmitz},
  volume      = {3845},
  series      = lncs,
  isbn        = {3-540-31023-1},
  publisher   = {Springer},
  doi         = {10.1007/11605157}
}