-
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