Concepedia

Author

Ivan Pérez

University of NottinghamORCID

Also Known As

Havelund, Klaus, IVAN PEREZ, Ivan Perez, Ivan Pérez, Iván Pérez, Muñoz, César A., Perez, Ivan, Vilches Blázquez

38

Publications

282

Citations

9

H-Index

31

Concepts

All Affiliations

University of NottinghamUniversity of BambergNational Institute of Aerospace
IP

About

Ivan Pérez is an author at University of Nottingham specializing in formal methods, program analysis, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

140

2

Computer Science

7

7

140

3

Computer Engineering

4

4

68

4

Operations Research

1

1

13

5

Space Engineering

1

1

11

Ivan Pérez

×

7

Publications

140

Citations

7

H-Index

YearCitations

Page 1