Concepedia

Author

Pierre-Malo Deniélou

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

Also Known As

Deniélou, Pierre-Malo, Pierre Malo Deniélou,, Pierre-Malo Denielou, Pierre-Malo Deniélou

19

Publications

975

Citations

13

H-Index

23

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numériqueImperial College LondonMicrosoft (United States)Microsoft Research (United Kingdom)University of Twente
PD

About

Pierre-Malo Deniélou is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal verification, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

368

2

Computer Science

7

7

368

3

Communication

2

2

142

4

Systems Engineering

2

2

142

5

Compilers

2

2

108

Pierre-Malo Deniélou

×

8

Publications

472

Citations

8

H-Index

YearCitations

Page 1