Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems. - Pierre Chambart; Philippe Schnoebelen (FSTTCS, 2007)

Mixing Lossy and Perfect Fifo Channels. - Pierre Chambart; Philippe Schnoebelen (CONCUR, 2008)

The omega-Regular Post Embedding Problem. - Pierre Chambart; Philippe Schnoebelen (FoSSaCS, 2008)

The Ordinal Recursive Complexity of Lossy Channel Systems. - Pierre Chambart; Philippe Schnoebelen (LICS, 2008)

Computing Blocker Sets for the Regular Post Embedding Problem. - Pierre Chambart; Philippe Schnoebelen (Developments in Language Theory, 2010)

Toward a Compositional Theory of Leftist Grammars and Transformations. - Pierre Chambart; Philippe Schnoebelen (FoSSaCS, 2010)

Pumping and Counting on the Regular Post Embedding Problem. - Pierre Chambart; Philippe Schnoebelen (ICALP (2), 2010)

Forward Analysis and Model Checking for Bounded WSTS - Pierre Chambart; Alain Finkel; Sylvain Schmitz (CoRR, 2010)

On Post's embedding problem and the complexity of lossy channels. (Du problème de sous mot de Post et de la complexité des canaux non fiables). - Pierre Chambart (2011)

Forward analysis and model checking for trace bounded WSTS. - Pierre Chambart; Alain Finkel; Sylvain Schmitz (Theor. Comput. Sci., 2016)

Tenderbake - Classical BFT Style Consensus for Public Blockchains. - Lacramioara Astefanoaei; Pierre Chambart; Antonella Del Pozzo; Edward Tate; Sara Tucci Piergiovanni; Eugen Zalinescu (CoRR, 2020)

Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains. - Lacramioara Astefanoaei; Pierre Chambart; Antonella Del Pozzo; Thibault Rieutord; Sara Tucci Piergiovanni; Eugen Zalinescu (FAB, 2021)

Chamelon : A Delta-Debugger for OCaml. - Milla Valnet; Nathanaëlle Courant; Guillaume Bury; Pierre Chambart; Vincent Laviron (FM (2), 2024)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly. - Léo Andrès; Filipe Marques; Arthur Carcano; Pierre Chambart; José Fragoso Santos; Jean-Christophe Filliâtre (Art Sci. Eng. Program., 2024)