Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr. In the Hand of the Beholder: Comparing Interactive Proof Visualizations. In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, editors, Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. Volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]
@inproceedings{AlrabbaaBKKRW21,
title = {In the Hand of the Beholder: Comparing Interactive Proof Visualizations},
author = {Christian Alrabbaa and Stefan Borgwardt and Nina Knieriemen and Alisa Kovtunova and Anna Milena Rothermel and Frederik Wiehr},
year = {2021},
url = {http://ceur-ws.org/Vol-2954/paper-2.pdf},
researchr = {https://researchr.org/publication/AlrabbaaBKKRW21},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021},
editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt},
volume = {2954},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}