Université de Bourgogne — France
Computer Science · Physical Sciences
11h-index1.7kcitations106works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(35), semigroups and automata theory(26), Software Testing and Debugging Techniques(25), Logic, programming, and type systems(19), Scheduling and Optimization Algorithms(15)
Publications106 total
Journal of Scheduling·2026
Lecture notes in computer science·2025
Future Generation Computer Systems·2025
Lecture notes in computer science·2023· 1 citedOpen Access
Journal of Parallel and Distributed Computing·2022· 7 cited
HAL (Le Centre pour la Communication Scientifique Directe)·2022Open Access
2021· 1 citedOpen Access
Lecture notes in computer science·2021· 6 citedOpen Access
HAL (Le Centre pour la Communication Scientifique Directe)·2019Open Access
arXiv (Cornell University)·2019· 21 citedOpen Access
Lecture notes in computer science·2019· 3 citedOpen Access
Figshare·2019Open Access
HAL (Le Centre pour la Communication Scientifique Directe)·2018Open Access
Mathematics·2018· 1 citedOpen Access
arXiv (Cornell University)·2018Open Access
Lecture notes in computer science·2018· 2 citedOpen Access
arXiv (Cornell University)·2017Open Access
page 1 of 6Next →
Frequent Co-authors
Olga Kouchnarenko(19), Yohan Boichut(9), Christophe Guyeux(7), Louis-Claude Canon(6), Frédéric Dadeau(4), Jacques M. Bahi(4), Roméo Courbis(4), Jérôme Voinot(4), Rafik Kheddam(3), Raphaël Couturier(3), Cyril Nicaud(3), Mohamad El Sayah(2), Ghazi Maatoug(2), Michaël Rusinowitch(2), Jean-François Couchot(2), Gérard Cécé(2), Yann Mainier(2), Sylvain Schmitz(2), Anne Benoît(2), Redouane Elghazi(2)