Concepedia

Author

Jean-Paul Bodeveix

Institut de Recherche en Informatique de ToulouseORCID

Also Known As

Berthomieu, Bernard, Bodeveix, J,, Bodeveix, J. -P, Bodeveix, Jean-Paul, Jean-Paul Bodeveix, Jean-paul Bodeveix, Ouy, J., Paul Jean Bodeveix

93

Publications

751

Citations

14

H-Index

44

Concepts

All Affiliations

Institut de Recherche en Informatique de ToulouseUniversité Toulouse III - Paul SabatierUniversité Toulouse - Jean JaurèsInstitut Polytechnique de BordeauxUniversité Toulouse-I-Capitole
JB

About

Jean-Paul Bodeveix is an author at Institut de Recherche en Informatique de Toulouse specializing in formal methods, formal verification, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

9

9

265

2

Computer Science

9

9

265

3

Language Studies

3

3

55

4

Computer Engineering

2

2

108

5

Law

1

1

23

Jean-Paul Bodeveix

×

11

Publications

383

Citations

11

H-Index

YearCitations

Page 1