LIST
Identifiers
No identifiers captured yet.
Papers (3)
- Rationals vs Byzantines in Consensus-based Blockchains cs.DC · 2019 · author #2
- Hybrid Information Flow Analysis for Programs with Arrays cs.PL · 2016 · author #2
- The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero cs.LO · 2014 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Bruno Biais (HEC Paris 1 shared papers
- DILS) 1 shared papers
- Emmanuel Haucourt (CEA 1 shared papers
- France) 1 shared papers
- Gerg\"o Barany (CEA 1 shared papers
- LINCS 1 shared papers
- LIP6) 1 shared papers
- LIST) 1 shared papers
- Maria Potop-Butucaru (NPA 1 shared papers
- Nicolas Ninin (CEA 1 shared papers
- NPA) 1 shared papers
- Sara Tucci-Piergiovanni (LIST 1 shared papers
- Software Reliability Laboratory) 1 shared papers
- TSM) 1 shared papers
- University Paris-Sud 1 shared papers
- Yackolley Amoussou-Guenou (LIP6 1 shared papers