Concepedia

Author

Michel Bidoit

Centre National de la Recherche Scientifique

Also Known As

Bidoit, Michel, M Bidoit, M. Bidoit, MICHEL BIDOIT, Michel Bidoit

120

Publications

2.3K

Citations

25

H-Index

27

Concepts

All Affiliations

Centre National de la Recherche ScientifiqueLudwig-Maximilians-Universität MünchenÉcole Normale Supérieure - PSLLaboratoire Spécification et VérificationUniversité Paris-Sud
MB

About

Michel Bidoit is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

11

13

595

2

Computer Science

10

10

375

3

Education

1

1

65

4

Management

1

1

25

5

Behavioral Sciences

1

1

65

Michel Bidoit

×

17

Publications

737

Citations

14

H-Index

YearCitations

Page 1