Concepedia

Author

Karina Gitina

University of Freiburg

Also Known As

Karina Gitina

7

Publications

114

Citations

5

H-Index

12

Concepts

All Affiliations

University of Freiburg
KG

About

Karina Gitina is an author at University of Freiburg specializing in automated reasoning, computer engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

87

2

Computer Engineering

4

4

87

3

Computer Science

4

4

87

4

Systems Engineering

2

2

44

5

Real-time Systems

1

1

10

Karina Gitina

×

4

Publications

87

Citations

4

H-Index

YearCitations

Page 1