Pierre‐Cyrille Héam

Université de BourgogneFrance

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

Lecture notes in computer science·2023· 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
HAL (Le Centre pour la Communication Scientifique Directe)·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)