Follow
Julián Méndez
Julián Méndez
Interactive Media Lab Dresden, TU Dresden
Verified email at tu-dresden.de - Homepage
Title
Cited by
Cited by
Year
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
132022
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
92023
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
82022
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
72022
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
72021
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
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č
The system can't perform the operation now. Try again later.
Articles 1–10