Concepedia

Author

Chantal Keller

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

Also Known As

Beyer, Dirk 1972-, Chantal Keller, Keller, Chantal, Wolff, Burkhart

48

Publications

699

Citations

10

H-Index

17

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numériqueMicrosoft Research (United Kingdom)Laboratoire d'Informatique de l'École PolytechniqueIMDEA Software InstituteUniversity of Maryland, College Park
CK

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

379

2

Computer Science

4

4

347

3

Compilers

2

2

35

4

Computer Engineering

1

1

19

5

Data Security

1

1

19

Chantal Keller

×

7

Publications

390

Citations

7

H-Index

YearCitations

Page 1