University of British Columbia — Canada
Computer Science · Physical Sciences
17h-index1.1kcitations132works0.32yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
semigroups and automata theory(76), Logic, programming, and type systems(50), Formal Methods in Verification(47), Natural Language Processing Techniques(23), Algorithms and Data Compression(20)
Publications132 total
Lecture notes in computer science·2026
Journal of Automated Reasoning·2025Open Access
arXiv (Cornell University)·2025Open Access
TheoretiCS·2025· 2 citedOpen Access
2025Open Access
arXiv (Cornell University)·2025Open Access
2024Open Access
Lecture notes in computer science·2024
International Journal of Foundations of Computer Science·2023· 1 citedOpen Access
arXiv (Cornell University)·2023· 1 citedOpen Access
arXiv (Cornell University)·2023Open Access
Lecture notes in computer science·2023· 4 citedOpen Access
Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles)·2023· 1 citedOpen Access
Formal Methods in System Design·2022· 1 citedOpen Access
Logical Methods in Computer Science·2022Open Access
arXiv (Cornell University)·2022· 1 citedOpen Access
arXiv (Cornell University)·2022· 1 citedOpen Access
arXiv (Cornell University)·2021Open Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2021Open Access
arXiv (Cornell University)·2021Open Access
page 1 of 7Next →
Frequent Co-authors
Jean-François Raskin(19), Pierre-Alain Reynier(10), Jean-Marc Talbot(9), Frédéric Servais(6), Olivier Gauwin(6), Véronique Bruyère(5), Naiyong Jin(5), Raffaella Gentilini(5), Sophie Tison(5), Aaron Bohy(3), Ashutosh Trivedi(3), Krishnendu Chatterjee(3), Laurent Doyen(3), Nathan Lhote(3), Mickaël Randour(2), Ismaël Jecker(2), Shankara Narayanan Krishna(2), Sebastian Maneth(2), Shibashis Guha(2), Nayiong Jin(1)