Pierre Chambart
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml. | Joo Madeira Pereira, Filipe Marques, Pedro Ado, Hichem Rami Ait El Hara, Lo Andrs, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, Jos Fragoso Santos |
| 2024 | FM | Chamelon : A Delta-Debugger for OCaml. | Milla Valnet, Nathanalle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron |
| 2010 | DLT | Computing Blocker Sets for the Regular Post Embedding Problem. | Pierre Chambart, Philippe Schnoebelen |
| 2010 | FOSSACS | Toward a Compositional Theory of Leftist Grammars and Transformations. | Pierre Chambart, Philippe Schnoebelen |
| 2010 | ICALP | Pumping and Counting on the Regular Post Embedding Problem. | Pierre Chambart, Philippe Schnoebelen |
| 2008 | CONCUR | Mixing Lossy and Perfect Fifo Channels. | Pierre Chambart, Philippe Schnoebelen |
| 2008 | FOSSACS | The omega-Regular Post Embedding Problem. | Pierre Chambart, Philippe Schnoebelen |
| 2008 | LICS | The Ordinal Recursive Complexity of Lossy Channel Systems. | Pierre Chambart, Philippe Schnoebelen |