Julián Méndez

According to our database, Julián Méndez authored at least 16 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

ARbiter: Generating Dialogue Options and Communication Support in Augmented Reality.

Julián Méndez, Marc Satkowski

CoRR, March, 2025

2024

Don't Leave Me Out: Designing for Device Inclusivity in Mixed Reality Collaboration.

Katja Krug, Julián Méndez, Weizhou Luo, Raimund Dachselt

CoRR, 2024

Between Pages and Reality: Exploring a Book Metaphor for Unfolding Data-driven Storytelling in Immersive Environments.

Weizhou Luo, Mark Abdelaziz, Julián Méndez, Rufat Rzayev

Proceedings of the IEEE International Symposium on Mixed and Augmented Reality Adjunct, 2024

2023

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging.

Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, Raimund Dachselt

Comput. Graph. Forum, September, 2023

Interactive Visualization Meets Probabilistic Model Checking Artifact.

Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt

Dataset, June, 2023

Interactive Visualization Meets Probabilistic Model Checking Artifact.

Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt

Dataset, June, 2023

PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.

Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Fantastic Hybrid User Interfaces and How to Define Them.

Marc Satkowski, Julián Méndez

Proceedings of the IEEE International Symposium on Mixed and Augmented Reality Adjunct, 2023

How Does Explainability Look in Hybrid User Interfaces?

Julián Méndez, Marc Satkowski, Rufat Rzayev

Proceedings of the IEEE International Symposium on Mixed and Augmented Reality Adjunct, 2023

2022

Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez

Dataset, May, 2022

Visual Analysis of Hyperproperties for Understanding Model Checking Results.

Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt

IEEE Trans. Vis. Comput. Graph., 2022

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version).

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic

CoRR, 2022

Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez

CoRR, 2022

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne.

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces.

Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang

Proceedings of the Computational Models of Argument, 2022

Evonne: Interactive Proof Visualization for Description Logics (System Description).

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022