Concepedia

Author

Louis‐Marie Traonouez

Institut national de recherche en sciences et technologies du numérique

Also Known As

Didier Lime, Louis-Marie Traonouez, Louis-marie Traonouez, Louis‐Marie Traonouez, Traonouez, Louis Marie, Traonouez, Louis-Marie

70

Publications

733

Citations

14

H-Index

26

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numériqueCentre Inria de l'Université de RennesInstitut de Recherche en Informatique et Systèmes AléatoiresAalborg UniversityIT University of Copenhagen
LT

About

Louis‐Marie Traonouez is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

133

2

Computer Science

5

5

123

3

Systems Engineering

5

5

78

4

Computer Engineering

2

2

41

5

Operations Research

1

1

17

Louis‐Marie Traonouez

×

9

Publications

179

Citations

9

H-Index

YearCitations

Page 1