Evonne: Interactive Proof Visualization for Description Logics (System Description). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Raimund Dachselt; Patrick Koopmann; Julián Méndez 001 (IJCAR, 2022)

NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. - Raimund Dachselt; Sarah Alice Gaggl; Markus Krötzsch; Julián Méndez 001; Dominik Rusovac; Mei Yang (COMMA, 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 001; Alexej Popovic (Description Logics, 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 001 (CoRR, 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 001; Alexej Popovic (CoRR, 2022)

Visual Analysis of Hyperproperties for Understanding Model Checking Results. - Tom Horak; Norine Coenen; Niklas Metzger 001; Christopher Hahn; Tamara Flemisch; Julián Méndez 001; Dennis Dimov; Bernd Finkbeiner; Raimund Dachselt (IEEE Trans. Vis. Comput. Graph., 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 001 (Zenodo, 2022)

How Does Explainability Look in Hybrid User Interfaces? - Julián Méndez 001; Marc Satkowski; Rufat Rzayev (ISMAR-Adjunct, 2023)

Fantastic Hybrid User Interfaces and How to Define Them. - Marc Satkowski; Julián Méndez 001 (ISMAR-Adjunct, 2023)

PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. - Max Korn; Julián Méndez 001; Sascha Klüppelholz; Ricardo Langner; Christel Baier; Raimund Dachselt (SEFM, 2023)

Interactive Visualization Meets Probabilistic Model Checking Artifact. - Max Korn; Julián Méndez 001; Sascha Klüppelholz; Ricardo Langner; Christel Baier; Raimund Dachselt (Zenodo, 2023)

Interactive Visualization Meets Probabilistic Model Checking Artifact. - Max Korn; Julián Méndez 001; Sascha Klüppelholz; Ricardo Langner; Christel Baier; Raimund Dachselt (Zenodo, 2023)

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. - Julián Méndez 001; Christian Alrabbaa; Patrick Koopmann; Ricardo Langner; Franz Baader; Raimund Dachselt (Comput. Graph. Forum, 2023)

Between Pages and Reality: Exploring a Book Metaphor for Unfolding Data-driven Storytelling in Immersive Environments. - Weizhou Luo; Mark Abdelaziz; Julián Méndez 001; Rufat Rzayev (ISMAR-Adjunct, 2024)

Don't Leave Me Out: Designing for Device Inclusivity in Mixed Reality Collaboration. - Katja Krug; Julián Méndez 001; Weizhou Luo; Raimund Dachselt (CoRR, 2024)

ARbiter: Generating Dialogue Options and Communication Support in Augmented Reality. - Julián Méndez 001; Marc Satkowski (CoRR, 2025)