Nicolas Braud-Santoni

According to our database, Nicolas Braud-Santoni authored at least 7 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

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

2018

Expansion-Based QBF Solving Without Recursion.

Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

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

Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems.

Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

A Generic Framework for Impossibility Results in Time-Varying Graphs.

Nicolas Braud-Santoni, Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

2013

PODC 2013 review.

Nicolas Braud-Santoni

SIGACT News, 2013

Fast byzantine agreement.

Nicolas Braud-Santoni, Rachid Guerraoui, Florian Huc

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013