Concepedia

Till Mossakowski

TM

29

Publications

859

Citations

18

H-Index

1995

Active since

Affiliations

University of Bremen(Current)

Otto-von-Guericke University Magdeburg

University of Warsaw

Polish Academy of Sciences

Institute of Computer Science

Till Mossakowski is an author at University of Bremen specializing in engineering, automated reasoning, and formal methods.

ORCID

Top concepts

Publications per year

1995–2021

29

Publications

29

Introducing the Open Energy Ontology: Enhancing data interpretation and interfacing in energy systems analysis

Meisam Booshehri, Lukas Emele, Simon Flügel et al. · Energy and AI · 2021 · 87 citations · Full text

Relating CASL with other specification languages: the institution level

Till Mossakowski · Theoretical Computer Science · 2002 · 68 citations

, , +10

Qualitative reasoning about relative direction of oriented points

Till Mossakowski, Reinhard Moratz · Artificial Intelligence · 2011 · 68 citations

, , +10

Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design

Oliver Kutz, Till Mossakowski, Dominik Lücke · Logica Universalis · 2010 · 58 citations

, , +10

Heterogeneous Specification and the Heterogeneous Tool Set

Till Mossakowski · 2004 · 51 citations

Rows per page

1–5 of 29