Présentation
Publications
4
4
Publications
|
|
Shadoks Approach to Low-Makespan Coordinated Motion PlanningACM Journal of Experimental Algorithmics, 2022, 27, pp.1-17. ⟨10.1145/3524133⟩
Article dans une revue
hal-04051506
v1
|
|
|
A Unified Symbolic Analysis of WireGuardUsenix Network and Distributed System Security Symposium, Feb 2024, San Diego (CA), United States. ⟨10.14722/ndss.2024.24364⟩
Communication dans un congrès
hal-04615393
v1
|
|
|
Generic Blockchain on Generic Human BehaviorSECRYPT 2023, Jul 2023, Rome, Italy
Communication dans un congrès
hal-04097883
v2
|
|
|
Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge)37th International Symposium on Computational Geometry, SoCG 2021, June 7-11, 2021, Buffalo, NY, USA (Virtual Conference), Jun 2021, Buffalo, United States. ⟨10.4230/LIPIcs.SoCG.2021.63⟩
Communication dans un congrès
hal-03485486
v1
|
Chargement...
Chargement...