Centre National de la Recherche Scientifique — France
Computer Science · Physical Sciences
11h-index292citations82works0.52yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(45), Logic, Reasoning, and Knowledge(42), Quantum Computing Algorithms and Architecture(20), Advanced Algebra and Logic(17), Formal Methods in Verification(15)
Publications82 total
Journal of Logic and Computation·2025Open Access
Lecture notes in computer science·2025Open Access
Lecture notes in computer science·2025Open Access
arXiv (Cornell University)·2025Open Access
Electronic Proceedings in Theoretical Computer Science·2025Open Access
Electronic Proceedings in Theoretical Computer Science·2025Open Access
SPIRE - Sciences Po Institutional REpository·2025Open Access
Proving Termination With CPO
SPIRE - Sciences Po Institutional REpository·2025
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
Lecture notes in computer science·2025· 2 citedOpen Access
The Computer Journal·2024Open Access
arXiv (Cornell University)·2024Open Access
Electronic Proceedings in Theoretical Computer Science·2024Open Access
Electronic Proceedings in Theoretical Computer Science·2024Open Access
Mathematical Structures in Computer Science·2024· 5 cited
Lecture notes in computer science·2024· 2 cited
page 1 of 5Next →
Frequent Co-authors
Gilles Dowek(16), Octavio Malherbe(10), Pablo Arrighi(4), Pablo E. Martínez López(4), Benoît Valiron(3), Simon Perdrix(2), Christine Tasson(2), Marcos Villagra(2), Malena Ivnisky(2), Ali Assaf(1), Juan Pablo Rinaldi(1), M. Gadella(1), Jonathan Grattage(1), Guido Martínez(1), Abuzer Yakaryılmaz(1), Giulio Manzonetto(1), Barbara Petit(1), Cristian F. Sottile(1), Francisco Noriega(1), Mario Coppo(1)