Statistics
Publications
2
Citations
30
H-Index
2
Active since
2013
Affiliations
TU Wien(Current)
Mikheil Rukhaia is an author at TU Wien specializing in visualization, interactive theorem proving, and proof visualization.
Publications per year
2013–2014
2
2
PROOFTOOL: a GUI for the GAPT Framework
Cvetan Dunchev, Alexander Leitsch, Tomer Libal et al. · Electronic Proceedings in Theoretical Computer Science · 2013 · 17 citations · Full text
1–2 of 2