Pierre Chambart

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 3

Top Venues

CoRR

FAB

Theor. Comput. Sci.

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni, Eugen Zalinescu
Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains. FAB (2021)
Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Edward Tate, Sara Tucci Piergiovanni, Eugen Zalinescu
Tenderbake - Classical BFT Style Consensus for Public Blockchains. CoRR (2020)
Pierre Chambart, Alain Finkel, Sylvain Schmitz
Forward analysis and model checking for trace bounded WSTS. Theor. Comput. Sci. 637 (2016)
Pierre Chambart, Alain Finkel, Sylvain Schmitz
Forward Analysis and Model Checking for Trace Bounded WSTS. Petri Nets (2011)
Pierre Chambart, Alain Finkel, Sylvain Schmitz
Forward Analysis and Model Checking for Bounded WSTS CoRR (2010)
Pierre Chambart, Philippe Schnoebelen
Toward a Compositional Theory of Leftist Grammars and Transformations. FoSSaCS (2010)
Pierre Chambart, Philippe Schnoebelen
Toward a Compositional Theory of Leftist Grammars and Transformations CoRR (2010)
Pierre Chambart, Philippe Schnoebelen
Computing Blocker Sets for the Regular Post Embedding Problem. Developments in Language Theory (2010)
Pierre Chambart, Philippe Schnoebelen
Pumping and Counting on the Regular Post Embedding Problem. ICALP (2) (2010)
Pierre Chambart, Philippe Schnoebelen
Mixing Lossy and Perfect Fifo Channels. CONCUR (2008)
Pierre Chambart, Philippe Schnoebelen
The omega-Regular Post Embedding Problem. FoSSaCS (2008)
Pierre Chambart, Philippe Schnoebelen
The Ordinal Recursive Complexity of Lossy Channel Systems. LICS (2008)
Pierre Chambart, Philippe Schnoebelen
Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems. FSTTCS (2007)

Pierre Chambart.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pierre Chambart