Guillaume Baud-Berthier

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 3

Top Topics

Community Detection Algorithms

Linear Temporal Logic

Community Structure

Top Venues

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Guillaume Baud-Berthier, Laurent Simon
Zigzagging Strategies for Temporal Induction. ICTAI (2018)
Guillaume Baud-Berthier, Laurent Simon
On Selecting Constraints for Replication in Model Checking. ICTAI (2017)
Guillaume Baud-Berthier, Jesús Giráldez-Cru, Laurent Simon
On the Community Structure of Bounded Model Checking SAT Problems. SAT (2017)