Concepedia

Author

David Monniaux

VerimagORCID

Also Known As

Bouajjani, Ahmed, D. Monniaux, David MONNIAUX, David Monniaux, David P. Monniaux, Monniaux, David, Quinton, Sophie, Ranzato, Francesco

157

Publications

3.6K

Citations

26

H-Index

56

Concepts

All Affiliations

VerimagCentre National de la Recherche ScientifiqueUniversité Grenoble AlpesInstitut polytechnique de GrenobleÉcole Normale Supérieure
DM

About

David Monniaux is an author at Verimag specializing in formal verification, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

15

23

1.9K

2

Computer Engineering

13

14

1.6K

3

Language Studies

1

1

10

4

Management

1

1

252

5

Natural Sciences

1

1

13

David Monniaux

×

28

Publications

2K

Citations

18

H-Index

YearCitations

Page 1