Fast byzantine agreement. - Nicolas Braud-Santoni; Rachid Guerraoui; Florian Huc (PODC, 2013)

PODC 2013 review. - Nicolas Braud-Santoni (SIGACT News, 2013)

A Generic Framework for Impossibility Results in Time-Varying Graphs. - Nicolas Braud-Santoni; Swan Dubois; Mohamed-Hamza Kaaouachi; Franck Petit (IPDPS Workshops, 2015)

Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. - Roderick Bloem; Nicolas Braud-Santoni; Swen Jacobs (CAV (1), 2016)

The Next 700 Impossibility Results in Time-Varying Graphs. - Nicolas Braud-Santoni; Swan Dubois; Mohamed-Hamza Kaaouachi; Franck Petit (Int. J. Netw. Comput., 2016)

Expansion-Based QBF Solving Without Recursion. - Roderick Bloem; Nicolas Braud-Santoni; Vedad Hadzic; Uwe Egly; Florian Lonsing; Martina Seidl (FMCAD, 2018)

Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. - Roderick Bloem; Nicolas Braud-Santoni; Vedad Hadzic; Uwe Egly; Florian Lonsing; Martina Seidl (Formal Methods Syst. Des., 2021)