Concepedia

Author

Jorge A. Navas

University of New MexicoORCID

Also Known As

JORGE A. NAVAS, Jorge A. Navas, Jorge Navas, Navas, J., Navas, Jorge, Navas, Jorge A., Todd Kovach

90

Publications

1.4K

Citations

19

H-Index

36

Concepts

All Affiliations

University of New MexicoThe University of MelbourneNational University of SingaporeUniversidad Politécnica de Madrid
JA

About

Jorge A. Navas is an author at University of New Mexico specializing in software analysis, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

248

2

Computer Engineering

6

6

248

3

Computer Science

6

6

248

4

Systems Engineering

3

3

165

5

Operations Research

1

1

18

Jorge A. Navas

×

7

Publications

271

Citations

7

H-Index

YearCitations

Page 1