Seguir
Julián Méndez
Julián Méndez
Interactive Media Lab Dresden, TU Dresden
Dirección de correo verificada de tu-dresden.de - Página principal
Título
Citado por
Citado por
Año
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
142022
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
102021
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
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
82022
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
72022
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
22023
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č
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–10