Scholar

Jerome Leroux

Google Scholar ID: 59lfMX4AAAAJ

CNRS researcher, LaBRI, France

Formal MethodsLogiqueCounter Systems

Citations & Impact

All-time

Citations

1,415

H-index

i10-index

Publications

Co-authors

Contact

No contact links provided.

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)