Determinization and Limit-Determinization of Emerson-Lei Automata. - Tobias John; Simon Jantsch; Christel Baier; Sascha Klüppelholz (ATVA, 2021)

From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. - Tobias John; Simon Jantsch; Christel Baier; Sascha Klüppelholz (Innov. Syst. Softw. Eng., 2022)

Towards Ontology-Mediated Planning with OWL DL Ontologies. - Tobias John; Patrick Koopmann (Description Logics, 2023)

Planning with Ontology-Enhanced States using Problem-Dependent Rewritings. - Tobias John; Patrick Koopmann (PLATO@ICAPS, 2023)

Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version). - Tobias John; Patrick Koopmann (CoRR, 2023)

Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. - Tobias John; Simon Jantsch; Christel Baier; Sascha Klüppelholz (Innov. Syst. Softw. Eng., 2023)

Planning with OWL-DL Ontologies. - Tobias John; Patrick Koopmann (ECAI, 2024)

Risk-Averse Planning and Plan Assessment for Marine Robots. - Mahya Mohammadi Kashani; Tobias John; Jeremy Paul Coffelt; Einar Broch Johnsen; Andrzej Wasowski (IROS, 2024)

Mutation-Based Integration Testing of Knowledge Graph Applications. - Tobias John; Einar Broch Johnsen; Eduard Kamburjan (ISSRE, 2024)

Planning with OWL-DL Ontologies (Extended Version). - Tobias John; Patrick Koopmann (CoRR, 2024)

ISSRE 2024 Ontology Mutation Virtual Machine. - Tobias John; Einar Broch Johnsen; Eduard Kamburjan (Zenodo, 2024)

Artifact for ISSRE 2024 paper "Mutation-Based Integration Testing of Knowledge Graph Applications". - Tobias John; Einar Broch Johnsen; Eduard Kamburjan (Zenodo, 2024)

Supplementary Material for Paper "Language-Based Testing for Knowledge Graphs". - Tobias John; Einar Broch Johnsen; Eduard Kamburjan; Dominic Steinhöfel (Zenodo, 2024)

Language-Based Testing for Knowledge Graphs. - Tobias John; Einar Broch Johnsen; Eduard Kamburjan; Dominic Steinhöfel (ESWC (2), 2025)

Supplementary Material for Paper "Language-Based Testing for Knowledge Graphs". - Tobias John; Einar Broch Johnsen; Eduard Kamburjan; Dominic Steinhöfel (Zenodo, 2025)

Artifact for 2025 ESE paper "Mutation-Based Integration Testing of Knowledge Graph Applications". - Tobias John; Einar Broch Johnsen; Eduard Kamburjan (Zenodo, 2025)

Artifact for 2025 ESE paper "Mutation-Based Integration Testing of Knowledge Graph Applications". - Tobias John; Einar Broch Johnsen; Eduard Kamburjan (Zenodo, 2025)