Nicolas Braud-Santoni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2013–2018
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FMCAD | Expansion-Based QBF Solving Without Recursion. | Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl |
| 2016 | CAV | Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. | Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs |
| 2013 | PODC | Fast byzantine agreement. | Nicolas Braud-Santoni, Rachid Guerraoui, Florian Huc |