Tobias John

According to our database, Tobias John authored at least 17 papers between 2021 and 2025.

Collaborative distances:

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

2025

Artifact for 2025 ESE paper "Mutation-Based Integration Testing of Knowledge Graph Applications".

Tobias John, Einar Broch Johnsen, Eduard Kamburjan

Dataset, February, 2025

Artifact for 2025 ESE paper "Mutation-Based Integration Testing of Knowledge Graph Applications".

Tobias John, Einar Broch Johnsen, Eduard Kamburjan

Dataset, February, 2025

Supplementary Material for Paper "Language-Based Testing for Knowledge Graphs".

Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel

Dataset, 2025

Language-Based Testing for Knowledge Graphs.

Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel

Proceedings of the Semantic Web - 22nd European Semantic Web Conference, 2025

2024

Supplementary Material for Paper "Language-Based Testing for Knowledge Graphs".

Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel

Dataset, December, 2024

Artifact for ISSRE 2024 paper "Mutation-Based Integration Testing of Knowledge Graph Applications".

Tobias John, Einar Broch Johnsen, Eduard Kamburjan

Dataset, August, 2024

ISSRE 2024 Ontology Mutation Virtual Machine.

Tobias John, Einar Broch Johnsen, Eduard Kamburjan

Dataset, July, 2024

Planning with OWL-DL Ontologies (Extended Version).

Tobias John, Patrick Koopmann

CoRR, 2024

Mutation-Based Integration Testing of Knowledge Graph Applications.

Tobias John, Einar Broch Johnsen, Eduard Kamburjan

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Risk-Averse Planning and Plan Assessment for Marine Robots.

Mahya Mohammadi Kashani, Tobias John, Jeremy Paul Coffelt, Einar Broch Johnsen, Andrzej Wasowski

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

Planning with OWL-DL Ontologies.

Tobias John, Patrick Koopmann

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

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., June, 2023

Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version).

Tobias John, Patrick Koopmann

CoRR, 2023

Planning with Ontology-Enhanced States using Problem-Dependent Rewritings.

Tobias John, Patrick Koopmann

Proceedings of the 1st International Planning and Ontology Workshop co-located with The 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023

Towards Ontology-Mediated Planning with OWL DL Ontologies.

Tobias John, Patrick Koopmann

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022

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

2021

Determinization and Limit-Determinization of Emerson-Lei Automata.

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz

Proceedings of the Automated Technology for Verification and Analysis, 2021