Julián Méndez (M.Sc.)

@article{gerlach2024evonnemo,
   author = {Lukas Gerlach and Alex Ivliev and Juli\'{a}n M\'{e}ndez and Simon Meusel and Raimund Dachselt and Markus Kr\"{o}tzsch},
   title = {EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization},
   booktitle = {5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), co-located with the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)},
   year = {2024},
   month = {11},
   location = {Hanoi, Vietnam}
}

@inproceedings{luo2024storybook,
   author = {Weizhou Luo and Mark Abdelaziz and Juli\'{a}n M\'{e}ndez and Rufat Rzayev},
   title = {Between Pages and Reality: Exploring a Book Metaphor for Unfolding Data-driven Storytelling in Immersive Environments},
   booktitle = {Proceedings of 2024 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct)},
   series = {ISMAR '24},
   year = {2024},
   month = {10},
   location = {Seattle},
   doi = {10.1109/ISMAR-Adjunct64951.2024.00077},
   publisher = {IEEE}
}

@misc{krug2024inclusivemr,
   author = {Katja Krug and Juli\'{a}n M\'{e}ndez and Weizhou Luo and Raimund Dachselt},
   title = {Don't Leave Me Out: Designing for Device Inclusivity in Mixed Reality Collaboration},
   booktitle = {CHI 2024 Workshop on Designing Inclusive Future Augmented Realities},
   year = {2024},
   month = {5},
   location = {Honolulu, HI, USA},
   doi = {https://doi.org/10.48550/arXiv.2409.05374}
}

@inproceedings{pmc-vis-2023,
   author = {Max Korn and Juli\'{a}n M\'{e}ndez and Sascha Kl\"{u}ppelholz and Ricardo Langner and Christel Baier and Raimund Dachselt},
   title = {PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking},
   booktitle = {Proceedings of the 21st International Conference on Software Engineering and Formal Methods},
   series = {Lecture Notes in Computer Science},
   year = {2023},
   month = {11},
   location = {Eindhoven Netherlands},
   doi = {10.1007/978-3-031-47115-5_20},
   publisher = {Springer}
}

@inproceedings{mendez2023explainability,
   author = {Juli\'{a}n M\'{e}ndez and Marc Satkowski and Rufat Rzayev},
   title = {How Does Explainability Look in Hybrid User Interfaces?},
   booktitle = {Proceedings of 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct)},
   series = {ISMAR '23},
   year = {2023},
   month = {10},
   location = {Sydney},
   doi = {10.1109/ISMAR-Adjunct60411.2023.00058},
   publisher = {IEEE}
}

@inproceedings{satkowski2023fantastic,
   author = {Marc Satkowski and Juli\'{a}n M\'{e}ndez},
   title = {Fantastic Hybrid User Interfaces and How to Define Them},
   booktitle = {Proceedings of 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct)},
   series = {ISMAR '23},
   year = {2023},
   month = {10},
   location = {Sydney},
   doi = {10.1109/ISMAR-Adjunct60411.2023.00057},
   publisher = {IEEE}
}

@article{MAKLBD-CGF-2023,
   author = {Juli\'{a}n M\'{e}ndez and Christian Alrabbaa and Patrick Koopmann and Ricardo Langner and Franz Baader and Raimund Dachselt},
   title = {Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging},
   journal = {Computer Graphics Forum},
   year = {2023},
   month = {3},
   location = {Leipzig, Germany},
   doi = {10.1111/cgf.14730},
   publisher = {John Wiley \& Sons, Ltd}
}

@inproceedings{Dachselt22:Nexas,
   author = {Raimund Dachselt and Sarah Gaggl and Markus Kr\"{o}tzsch and Juli\'{a}n M\'{e}ndez and Dominik Rusovac and Mei Yang},
   title = {NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces},
   booktitle = {Proceedings of the 9th International Conference on Computational Models of Argument},
   year = {2022},
   month = {9},
   location = {Cardiff, Wales},
   doi = {10.3233/FAIA220146}
}

@inproceedings{ABBDKM-IJCAR22,
   author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Raimund Dachselt and Patrick Koopmann and Juli\'{a}n M\'{e}ndez},
   title = {Evonne: Interactive Proof Visualization for Description Logics (System Description)},
   booktitle = {Automated Reasoning - 11th International Joint Conference, IJCAR 2022},
   series = {Lecture Notes in Computer Science},
   year = {2022},
   month = {8},
   location = {Haifa, Israel},
   doi = {10.1007/978-3-031-10769-6_16},
   publisher = {Springer}
}

@inproceedings{ABFKMP-DL-2022,
   author = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and Patrick Koopmann and Juli\'{a}n M\'{e}ndez and Alexej Popovič},
   title = {On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne},
   booktitle = {Proceedings of the 35th International Workshop on Description Logics},
   year = {2022},
   month = {8},
   location = {Haifa, Israel}
}

@inproceedings{ABFKMP-XLoKR-22,
   author = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and Patrick Koopmann and Juli\'{a}n M\'{e}ndez and Alexej Popovič},
   title = {Explaining Description Logic Entailments in Practice with Evee and Evonne},
   booktitle = {3rd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2022), co-located with the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)},
   year = {2022},
   month = {7},
   location = {Haifa, Israel}
}

@article{Horak2021VisualAnalysisHyperproperties,
   author = {Tom Horak and Norine Coenen and Niklas Metzger and Christopher Hahn and Tamara Flemisch and Juli\'{a}n M\'{e}ndez and Dennis Dimov and Bernd Finkbeiner and Raimund Dachselt},
   title = {Visual Analysis of Hyperproperties for Understanding Model Checking Results},
   journal = {IEEE Transactions on Visualization and Computer Graphics},
   year = {2022},
   month = {10},
   location = {Virtual Event},
   doi = {10.1109/TVCG.2021.3114866},
   publisher = {IEEE}
}