Skip to content

Scientist · Computer Science

Jérôme Leroux

Centre National de la Recherche Scientifique, Paris, France

iD0000-0002-7214-9467

Citations, last 5 years: 75
Works, last 5 years: 27
h-index: 23
Citations, all time: 1 966
In Computer Science: #130,737

Research topics

Formal Methods in Verification129Computer Science
semigroups and automata theory121Computer Science
Petri Nets in System Modeling103Computer Science
Logic, programming, and type systems47Computer Science
Software Testing and Debugging Techniques7Computer Science

Recent works

Discussion

Ask Jérôme about their research. When the scientist claims this card, they will see your question.

Start a discussion