Concepedia

Author

César Kunz

IMDEA Software Institute

Also Known As

Benjamin Grégoire, Cesar Kunz, César Kunz

32

Publications

794

Citations

12

H-Index

29

Concepts

All Affiliations

IMDEA Software InstituteMicrosoft (United States)Institut national de recherche en sciences et technologies du numériqueMadrid Institute for Advanced StudiesCentre Inria d'Université Côte d'Azur
CK

About

César Kunz is an author at IMDEA Software Institute specializing in formal verification, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

317

2

Computer Science

7

7

317

3

Computer Engineering

5

5

220

4

Compilers

3

3

97

5

Computer Architecture

2

2

76

César Kunz

×

8

Publications

340

Citations

8

H-Index

YearCitations

Page 1