Concepedia

Author

Mathias Péron

Centre National de la Recherche Scientifique

Also Known As

Mathias Péron

4

Publications

209

Citations

3

H-Index

16

Concepts

All Affiliations

Centre National de la Recherche ScientifiqueVerimag
MP

About

Mathias Péron is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

181

2

Computer Science

2

2

181

3

Data Science

2

2

181

4

Compilers

2

2

181

5

Programming Languages

2

2

181

Mathias Péron

×

2

Publications

181

Citations

2

H-Index

YearCitations

Page 1