Concepedia

Author

Ivana Vukotic

Carnegie Mellon UniversityORCID

Also Known As

Ivana Vukotic

4

Publications

98

Citations

3

H-Index

7

Concepts

All Affiliations

Carnegie Mellon University
IV

About

Ivana Vukotic is an author at Carnegie Mellon University specializing in formal methods, automated reasoning, and hybrid systems.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

59

2

Computer Science

1

1

59

3

Automated Reasoning

1

1

59

4

Formal Methods

1

1

59

5

Formal Verification

1

1

59

Ivana Vukotic

×

1

Publications

59

Citations

1

H-Index

YearCitations

Page 1