Concepedia
Statistics
Publications
2
Citations
30
H-Index
Active since
2013
Affiliations
TU Wien(Current)
Martin Riener is an author at TU Wien specializing in proof visualization, deductive verification, and theorem proving.
Publications per year
2013–2014
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
Computing, Computer Science, Visualization +17
Advanced Proof Viewing in ProofTool
Tomer Libal, Martin Riener, Mikheil Rukhaia · Electronic Proceedings in Theoretical Computer Science · 2014 · 13 citations · Full text
1–2 of 2