Devismes
Articles de cet auteur
Prix du meilleur article pour Stéphane Devismes, Karel Heurtefeux et Yvan Rivierre
mardi 31 janvier 2012
Models of Distributed Algorithms
vendredi 16 octobre 2020
PADEC
vendredi 1er janvier 2016
[M1 internship] Modeling of Graph Topologies Using Coq
dimanche 16 septembre 2018
[Master 2R 2012-2013] Probabilistic Snap-Stabilizing Algorithms for Local Resource Allocation Problems
mardi 30 avril 2013
[Master 2R 2013-2014] Efficient Self-Stabilizing Algorithms for Pervasive Computing Systems
mercredi 8 octobre 2014
[Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
lundi 30 octobre 2023
