Evonne: Interactive Proof Visualization for Description Logics (System Description) C Alrabbaa, F Baader, S Borgwardt, R Dachselt, P Koopmann, J Méndez International Joint Conference on Automated Reasoning, 271-280, 2022 | 15 | 2022 |
Visual analysis of hyperproperties for understanding model checking results T Horak, N Coenen, N Metzger, C Hahn, T Flemisch, J Méndez, D Dimov, ... IEEE Transactions on Visualization and Computer Graphics 28 (1), 357-367, 2021 | 11 | 2021 |
Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging J Méndez, C Alrabbaa, P Koopmann, R Langner, F Baader, R Dachselt Computer Graphics Forum, 2023 | 10 | 2023 |
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces R Dachselt, SA Gaggl, M Krötzsch, J Méndez, D Rusovac, M Yang Computational Models of Argument: Proceedings of COMMA 2022 353, 116, 2022 | 8 | 2022 |
On the eve of true explainability for OWL ontologies: Description logic proofs with Evee and Evonne C Alrabbaa, S Borgwardt, T Friese, P Koopmann, J Méndez, A Popovič Proc. DL 22, 2022 | 8 | 2022 |
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking M Korn, J Méndez, S Klüppelholz, R Langner, C Baier, R Dachselt International Conference on Software Engineering and Formal Methods, 361-375, 2023 | 2 | 2023 |
Fantastic Hybrid User Interfaces and How to Define Them M Satkowski 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct …, 2023 | | 2023 |
How Does Explainability Look in Hybrid User Interfaces? J Mendez, M Satkowski, R Rzayev 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct …, 2023 | | 2023 |
Don’t Leave Me Out: Designing for Device Inclusivity in Mixed Reality Collaboration K Krug, J Méndez, W Luo, R Dachselt | | |
Explaining Description Logic Entailments in Practice with Evee and Evonne C Alrabbaa, S Borgwardt, T Friese, P Koopmann, J Méndez, A Popovič | | |