Selected publications by Pierre Chambart
Conferences
-
P. Chambart, A. Finkel and S. Schmitz. Forward Analysis and Model Checking for Trace Bounded WSTS. In ICATPN'11, LNCS 6709. Springer, 2011. ( Web page | PDF (long version) | BibTeX + Abstract )
-
P. Chambart and Ph. Schnoebelen. Computing blocker sets for the Regular Post Embedding Problem. In DLT'10, LNCS 6224, pages 136-147. Springer, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )
-
P. Chambart and Ph. Schnoebelen. Pumping and Counting on the Regular Post Embedding Problem. In ICALP'10, LNCS 6199, pages 64-75. Springer, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )
-
P. Chambart and Ph. Schnoebelen. Toward a compositional theory of leftist grammars and transformations. In FoSSaCS'10, LNCS 6014, pages 237-251. Springer, 2010. ( PDF | BibTeX + Abstract )
-
P. Chambart and Ph. Schnoebelen. Mixing Lossy and Perfect Fifo Channels. In CONCUR'08, LNCS 5201, pages 340-355. Springer, 2008. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
-
P. Chambart and Ph. Schnoebelen. The Ordinal Recursive Complexity of Lossy Channel Systems. In LICS'08, pages 205-216. IEEE Computer Society Press, 2008. ( PDF | BibTeX + Abstract )
-
P. Chambart and Ph. Schnoebelen. The ω-Regular Post Embedding Problem. In FoSSaCS'08, LNCS 4962, pages 97-111. Springer, 2008. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
P. Chambart and Ph. Schnoebelen. Post Embedding Problem is not Primitive Recursive, with Applications
to Channel Systems. In FSTTCS'07, LNCS 4855, pages 265-276. Springer, 2007. ( PDF | PS | PS.GZ | PDF (long version) | BibTeX + Abstract )
Theses
Other Publications