We stand with Ukraine  

Sébastien Lê Cong

According to our database1, Sébastien Lê Cong authored at least 4 papers between 2018 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Library-Based Attack Tree Synthesis.
[BibTeX]
[DOI]
Sophie Pinchinat
,
François Schwarzentruber
,
Sébastien Lê Cong
Proceedings of the Graphical Models for Security - 7th International Workshop, 2020

2019
The Packed Interval Covering Problem is NP-complete.
[BibTeX]
[DOI]
Abdallah Saffidine
,
Sébastien Lê Cong
,
Sophie Pinchinat
,
François Schwarzentruber
CoRR, 2019

2018
Extending Timbuk to Verify Functional Programs.
[BibTeX]
[DOI]
Thomas Genet
,
Tristan Gillard
,
Timothée Haudebourg
,
Sébastien Lê Cong
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Small Undecidable Problems in Epistemic Planning.
[BibTeX]
[DOI]
Sébastien Lê Cong
,
Sophie Pinchinat
,
François Schwarzentruber
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018


  Loading...