Till Mossakowski
- Artificial Intelligence top 5%
- Semantic Web and Ontologies 32
- Logic, programming, and type systems 21
- Logic, Reasoning, and Knowledge 19
- Software top 10%
-
- Formal Methods in Verification 14
- Signal Processing top 10%
-
- Service-Oriented Architecture and Web Services 15
-
- Biomedical Text Mining and Ontologies 11
-
- Health, Medicine and Society 8
-
- Constraint Satisfaction and Optimization 8
In The Last Decade
Till Mossakowski
63 papers receiving 410 citations
Peers
Comparison fields: 5 of 53
- Artificial Intelligence 353
- Software 35
- Computational Theory and Mathematics 146
- Geography, Planning and Development 39
- Signal Processing 57
Countries citing papers authored by Till Mossakowski
This map shows the geographic impact of Till Mossakowski's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Till Mossakowski with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Till Mossakowski more than expected).
Fields of papers citing papers by Till Mossakowski
This network shows the impact of papers produced by Till Mossakowski. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Till Mossakowski. The network helps show where Till Mossakowski may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Till Mossakowski, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | Generic Ontology Design Patterns at Work | 2019 | 1 |
| 2 | 2017 | 2 | |
| 3 | Ontology Patterns with DOWL: The Case of Blending. | 2016 | 3 |
| 4 | On Inconsistency and Unsatisfiability. | 2015 | 1 |
| 5 | A categorical approach to ontology alignment | 2014 | 5 |
| 6 | Three semantics for the core of the distributed ontology language (extended abstract) | 2013 | 3 |
| 7 | Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples. | 2011 | 3 |
| 8 | Chinese whispers and connected alignments | 2010 | 4 |
| 9 | The OWL in the CASL: designing ontologies across logics | 2008 | 2 |
| 10 | 2007 | 0 | |
| 11 | An Institutional View on Categorical Logic. | 2007 | 2 |
| 12 | Colimits of Order-Sorted Specifications | 2007 | 1 |
| 13 | CASL - The Common Algebraic Specification Language: Semantics and Proof Theory | 2003 | 14 |
| 14 | Foundations of Heterogeneous Specification | 2003 | 1 |
| 15 | Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens | 2003 | 3 |
| 16 | Comorphism-based Grothendieck logics | 2002 | 6 |
| 17 | Subsorted Partial Higher-order Logic as an extension of CASL | 2000 | 3 |
| 18 | Static Semantic Analysis and Theorem Proving for CASL | 1998 | 1 |
| 19 | Categorial Fibring of Logics with Terms and Binding Operators. | 1998 | 11 |
| 20 | Combining and Representing Logical Systems Using Model-Theoretic Parchments | 1997 | 3 |
About Till Mossakowski
Till Mossakowski is a scholar working on Software, Artificial Intelligence and Computational Theory and Mathematics, having authored 73 papers that have together received 464 indexed citations. Recurring topics across this work include Semantic Web and Ontologies (32 papers), Logic, programming, and type systems (21 papers), Logic, Reasoning, and Knowledge (19 papers), Service-Oriented Architecture and Web Services (15 papers), Formal Methods in Verification (14 papers), Biomedical Text Mining and Ontologies (11 papers), Health, Medicine and Society (8 papers) and Constraint Satisfaction and Optimization (8 papers). The work is most often cited by research in Artificial Intelligence (353 citations), Software (35 citations) and Computational Theory and Mathematics (146 citations). Till Mossakowski has collaborated with scholars based in Germany, Poland and Italy. Frequent co-authors include Oliver Kutz, Reinhard Moratz, Lutz Schröder, Andrzej Tarlecki, Fabian Neuhaus, Răzvan Diaconescu, Janna Hastings, Diedrich Wolter, Anne E. Haxthausen and Frank Dylla.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.