Statistics
Publications
4
Citations
88
H-Index
4
Active since
2010
Affiliations
University of Freiburg(Current)
Karina Gitina is an author at University of Freiburg specializing in computer science, computing, and boolean algebra.
Publications per year
2010–2015
4
4
Solving DQBF through quantifier elimination
Karina Gitina, Ralf Wimmer, Sven Reimer et al. · Design, Automation, and Test in Europe · 2015 · 20 citations
Bounded Model Checking of Incomplete Networks of Timed Automata
Christian Miller, Karina Gitina, Christoph Scholl et al. · 2010 · 10 citations
1–4 of 4