Institut catholique de toulouse — France
Computer Science · Physical Sciences
9h-index181citations31works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Testing and Debugging Techniques(12), Formal Methods in Verification(9), Multi-Criteria Decision Making(6), Software Engineering Research(6), Security and Verification in Computing(6)
Publications31 total
SPIRE - Sciences Po Institutional REpository·2024Open Access
Utilisation de l’algorithme de Quine Mc Cluskey pour améliorer la compilation des réseaux possibilistes
SPIRE - Sciences Po Institutional REpository·2022
Lecture notes in computer science·2022
Communications in computer and information science·2020Open Access
Lecture notes in computer science·2019
Formal Aspects of Computing·2018· 14 citedOpen Access
arXiv (Cornell University)·2018Open Access
arXiv (Cornell University)·2018Open Access
Communications in computer and information science·2018· 3 cited
2018· 1 citedOpen Access
Lecture notes in computer science·2018· 12 cited
Lecture notes in computer science·2016· 20 cited
Lecture notes in computer science·2016· 44 citedOpen Access
HAL (Le Centre pour la Communication Scientifique Directe)·2015Open Access
page 1 of 2Next →
Frequent Co-authors
Nikolaï Kosmatov(10), Alain Giorgetti(8), Jacques Julliand(6), Bernard Botella(4), Lionel Blatter(3), Pascale Le Gall(3), Virgile Prévosto(3), Richard Genestier(3), Julien Signoles(2), Louis Dureuil(1), Marie-Laure Potet(1), Thanh‐Ha Le(1), Aude Crohen(1), Philippe de Choudens(1), Wadoud Bousdira(1), Frédéric Gava(1), Louis Gesbert(1), Frédéric Loulergue(1), Christelle Guillin(1), Marine Campedel(1)