Tobias John

16 papers A 3B 1Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Mutation-based testing of knowledge graphs.
Empir. Softw. Eng.
Tobias John, Einar Broch Johnsen, Eduard Kamburjan
2025 — conf
Language-Based Testing for Knowledge Graphs.
ESWC (2)
Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel
2025 — conf
RDFMutate : Mutation-Based Generation of Knowledge Graphs.
ISWC (2)
Tobias John, Einar Broch Johnsen, Eduard Kamburjan
2025 — conf
Testing Description Logic Reasoners (Extended Abstract).
DL
Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel
2024 A conf
Mutation-Based Integration Testing of Knowledge Graph Applications.
ISSRE
Tobias John, Einar Broch Johnsen, Eduard Kamburjan
2024 J jnl
Planning with OWL-DL Ontologies (Extended Version).
CoRR
Tobias John, Patrick Koopmann
2024 A conf
Planning with OWL-DL Ontologies.
ECAI
Tobias John, Patrick Koopmann
2024 A conf
Risk-Averse Planning and Plan Assessment for Marine Robots.
IROS
Mahya Mohammadi Kashani, Tobias John, Jeremy Paul Coffelt, Einar Broch Johnsen, Andrzej Wasowski
2024 J jnl
Risk-Averse Planning and Plan Assessment for Marine Robots.
CoRR
Mahya Mohammadi Kashani, Tobias John, Jeremy Coffelt, Einar Broch Johnsen, Andrzej Wasowski
2023 J jnl
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.
Innov. Syst. Softw. Eng.
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2023 — conf
Planning with Ontology-Enhanced States using Problem-Dependent Rewritings.
PLATO@ICAPS
Tobias John, Patrick Koopmann
2023 J jnl
Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version).
CoRR
Tobias John, Patrick Koopmann
2023 — conf
Towards Ontology-Mediated Planning with OWL DL Ontologies.
Description Logics
Tobias John, Patrick Koopmann
2022 J jnl
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.
Innov. Syst. Softw. Eng.
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2021 B conf
Determinization and Limit-Determinization of Emerson-Lei Automata.
ATVA
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2021 J jnl
Determinization and Limit-determinization of Emerson-Lei automata.
CoRR
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz