Concepedia

Author

Cristiana Chitic

University of Toronto

Also Known As

Cristiana Chitic

4

Publications

550

Citations

3

H-Index

10

Concepts

All Affiliations

University of Toronto
CC

About

Cristiana Chitic is an author at University of Toronto specializing in computational complexity, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

39

2

Computer Science

1

1

39

3

Data Science

1

1

39

4

Software Analysis

1

1

39

5

Automated Reasoning

1

1

39

Cristiana Chitic

×

2

Publications

523

Citations

2

H-Index

YearCitations

Page 1