Computer Science · Physical Sciences
24h-index2.5kcitations102works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(34), semigroups and automata theory(25), Logic, programming, and type systems(23), Robotics and Sensor-Based Localization(17), Petri Nets in System Modeling(15)
Publications102 total
Musurgia·2022
Musurgia·2022
Springer tracts in advanced robotics·2022
Springer tracts in advanced robotics·2022
2022Open Access
Histoire de la recherche contemporaine·2021Open Access
Initiation de la fracture dans la technologie Smart Cut
2020
Journal of Gastrointestinal Surgery·2020· 83 cited
IEEE Robotics and Automation Letters·2019· 18 citedOpen Access
Lecture notes in computer science·2019· 37 citedOpen Access
HAL (Le Centre pour la Communication Scientifique Directe)·2018· 4 citedOpen Access
IEEE Robotics & Automation Magazine·2018Open Access
IEEE Robotics & Automation Magazine·2018· 28 citedOpen Access
ScholarsArchive (Brigham Young University)·2018Open Access
HAL (Le Centre pour la Communication Scientifique Directe)·2017Open Access
Radiotherapy and Oncology·2017
page 1 of 6Next →
Frequent Co-authors
Paul Gastin(14), Éric Marchand(11), Keyvan Kanani(10), Patricia Bouyer(9), Bruno Siciliano(7), Volker Diekert(6), Vincenzo Lippiello(6), Béatrice Bérard(5), Catherine Dufourd(3), Emmanuel Fleury(3), Stéphane Cotin(3), Giuseppe Andrea Fontanelli(3), Michel Bidoit(2), François Laroussinie(2), Laure Petrucci(2), Ph. Schnoebelen(2), Nicolas Golse(2), Éric Vibert(2), Denis Thérien(2), Fabio Ruggiero(2)