Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Pierre Chambart
Map detail
Pierre Chambart4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipPierre ChambartAPierre ChambartResearcherToward a Compositional Theory of Leftist Grammars and TransformationsWToward a Compositional ...preprint / 2010Forward Analysis and Model Checking for Trace Bounded WSTSWForward Analysis and Mo...preprint / 2016Tenderbake -- A Solution to Dynamic Repeated Consensus for BlockchainsWTenderbake -- A Solutio...preprint / 2021
Person3 links

Pierre Chambart

Researcher