Sébastien Lê Cong

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 4

Top Topics

Classification Trees

Functional Programs

Top Venues

Publications

Sophie Pinchinat, François Schwarzentruber, Sébastien Lê Cong
Library-Based Attack Tree Synthesis. GraMSec@CSF (2020)
Abdallah Saffidine, Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber
The Packed Interval Covering Problem is NP-complete. CoRR (2019)
Thomas Genet, Tristan Gillard, Timothée Haudebourg, Sébastien Lê Cong
Extending Timbuk to Verify Functional Programs. WRLA@ETAPS (2018)
Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber
Small Undecidable Problems in Epistemic Planning. IJCAI (2018)