## Till Mossakowski

## Prof. Dr.-Ing. habil. Till Mossakowski

Head of Institute for Intelligent Cooperating Systems (IKS)

Faculty of Computer Science

Ontologies - Spatial reasoning - Formal methods - Semantics

Ontologies - Spatial reasoning - Formal methods - Semantics

Building 29, Universitätsplatz 2, 39106, Magdeburg, Building 29, Room 006

## Prof. Dr.-Ing. habil. Till Mossakowski

Head of Institute for Intelligent Cooperating Systems (IKS)

Faculty of Computer Science

Ontologies - Spatial reasoning - Formal methods - Semantics

Ontologies - Spatial reasoning - Formal methods - Semantics

Building 29, Universitätsplatz 2, 39106, Magdeburg, G29-006

### Current research projects

- BMWi project Open_ego (open electricity Grid optimization): Entwicklung eines Netzebenen-übergreifenden Planungsinstruments zur Bestimmung des optimalen Netz- und Speicherausbaus in Deutschland
- BMWi project Open_FRED (open Feed-in time series based on a Renewable Energy Database)

### Futher research activties

- Distributed Ontology, Model and Specification Language (DOL), an OMG initiative and standard (chairman)
- The Heterogeneous tool set (Hets), the central analysis tool for DOL
- Ontohub.org - an open-source repository engine for managing distributed heterogeneous ontologies, models and specifications
- DO-ROAM - Activity-Oriented Search and Route Planning with OpenStreetMap (prototypes)
- Formal methods for software development (CoFI, CASL, tools, libraries)
- Habilitation thesis: Heterogeneous specification and the heterogeneous tool set
- Institutions, logics and the like
- monad-based logics for computational effects: slides of AMAST 06 invited talk

### Former research projects

- EU FP7 project CoInvent (Concept Invention Theory)
- SFB/TR 8: Spatial cognition (member)
- R4-[LogoSpace] Constraint-based Reasoning in Qualitative Spatio-Temporal Calculi
- I1-[OntoSpace] Ontologies for Spatial Communication
- I4-[SPIN] Specification for the Integration of Spatial Concepts
- The LATIN Project: Logic Atlas and Integrator
- SHIP - Semantic Heterogeneous Integration of Processes
- SATCLOUD - Secure and highly-available Trust contexts for mixed CLOUD scenarios
- FormalSafe: Formal Development for Safe Robotics
- MULTIPLE (multi-logic systems, heterogeneous specification)
- HasCASL (specification of functional programs)

### Software

1967 | Born in Kiel, Germany |

1986 | University-entrance diploma |

1987 - 1989 | Civilian service |

1986 - 1992 | Study of computer science, University of Bremen |

1989 - 1992 | Scholarship of the German National Academic Foundation |

1992 | Diploma, grade 1.0 (best possible grade) |

1993 - 1996 | PhD scholarship of the German National Academic Foundation |

1996 | PhD, grade "summa cum laude" (best possible grade) |

1996 - 2000 | Scholarship of the University of Bremen at Prof. Hans-Jörg Kreowski |

2000 - 2002 | Research assistant, University of Bremen, Bremen institute for safe and secure systems, Prof. Bernd Krieg-Brückner |

2002 - 2005 | Assistent professor in the group of Prof. Bernd Krieg-Brückner |

2005 | Habilitation (habilition is without grade) |

2008 - 2009 | Substitute professorship "Foundations of artificial intelligence" (in place of Prof. Dr. Bernhard Nebel) at the Albert Ludwigs University of Freiburg |

2011 | Grant of the title "extraordinary Professor" by University of Bremen |

2006 - 2013 | Senior Researcher at German research center for artificial intelligence (DFKI), Bremen |

2013 | Offer of the professorship "Cognitive systems" of Friedrich-Alexander-University Erlangen-Nürnberg (declined) |

since October 2013 | Professor for theoretical computer science, Otto-von-Guericke University Magdeburg |

since March 2015 | Head of department for knowledge and language engineering |

since 2016 | Head of department for intelligent cooperating systems |

### 2017

**A categorical approach to networks of aligned ontologies**.

*Journal on data semantics*, 6(4):155-197, 2017.

Mihai Codescu, Till Mossakowski and Oliver Kutz.

[doi] [BibTeX]

**Ontohub: A semantic repository engine for heterogeneous ontologies**.

*Applied ontology*:1-24, 2017.

Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski and Fabian Neuhaus.

[doi] [BibTeX]

**Specification refinements: calculi, tools, and applications**.

*Science of Computer Programming*, 144:1–49, 2017.

Mihai Codescu, Till Mossakowski, Donald Sannella and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties**.

*ACM Computing Surveys (CSUR)*, 50(1), 2017. earlier version available at http://arxiv.org/abs/1606.00133

Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven and Diedrich Wolter.

[doi] [BibTeX]

**Institutions for database schemas and datasets**.

In:

*CALCO early ideas 2017*. 2017.

Martin Glauer and Till Mossakowski.

[doi] [BibTeX]

**Between Contact and Support: Introducing a logic for image schemas and directed movement**.

In:

*16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017)*. 2017.

Maria M. Hedblom, Oliver Kutz, Till Mossakowski and Fabian Neuhaus.

[BibTeX]

**Multi-view Consistency in UML. A Survey**.

In: R. Heckel and G. Taentzer, editors,

*Formal Methods for Software Systems*. 2017. To appear

Alexander Knapp and Till Mossakowski.

[doi] [abstract] [BibTeX]

**UML interactions meet state machines - an institutional approach**.

In: F. Bonchi and B. König, editors,

*7th Conference on Algebra and Coalgebra in Computer Science (CALCO)*. LIPICS, 2017.

Alexander Knapp and Till Mossakowski.

[doi] [BibTeX]

**Safe Ontology Development with Generic Ontology Design Patterns**.

In:

*Ontology Design and Patterns, workshop at ISWC 2017*. 2017.

Bernd Krieg-Brückner and Till Mossakowski.

[doi] [BibTeX]

**Canonical Selection of Colimits**.

In: M. Roggenbach, editor,

*WADT 2016*, volume 10644, series LNCS. Springer, 2017. to appear

Till Mossakowski, Florian Rabe and Mihai Codescu.

[BibTeX]

**Relations Between Spatial Calculi About Directions and Orientations**.

In:

*International Joint Conference on Artificial Intelligence 2017, Melbourne*. 2017.

Till Mossakowski and Reinhard Moratz.

[doi] [BibTeX]

**The Distributed Ontology, Model and Specification Language – DOL**.

In: M. Roggenbach, editor,

*WADT 2016*, volume 10644, series LNCS. Springer, 2017. to appear

Till Mossakowski.

[BibTeX]

**Web-Retrieval supported Argument Space Exploration**.

In:

*CHIIR 2017*, pages 309-312. 2017.

Marcus Thiel, Philipp Ludwig, Till Mossakowski, Fabian Neuhaus and Andreas Nürnberger.

[doi] [BibTeX]

### 2016

**Heterogeneous verification in the context of model driven engineering**.

*Sci. Comput. Program.*, 126:3-30, 2016.

Daniel Calegari, Till Mossakowski and Nora Szasz.

[doi] [BibTeX]

**Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes**.

*Semantic Web*, 7(1):25-61, 2016.

Mathew Joseph, Gabriel M. Kuper, Till Mossakowski and Luciano Serafini.

[doi] [BibTeX]

**Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies.**.

In: O. Kutz, S. de Cesare, M. M. Hedblom, T. R. Besold, T. Veale, F. Gailly, G. Guizzardi, M. Lycett, C. Partridge, O. Pastor, M. Grüninger, F. Neuhaus, T. Mossakowski, S. Borgo, L. Bozzato, C. D. Vescovo, M. Homola, F. Loebe, A. Barton and J.-R. Bourguet, editors,

*JOWO@FOIS*, volume 1660, series CEUR Workshop Proceedings. CEUR-WS.org, 2016.

Eugen Kuksa and Till Mossakowski.

[doi] [BibTeX]

**Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub**.

In: P. Fontaine, S. Schulz and J. Urban, editors,

*Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016.*, volume 1635, series CEUR Workshop Proceedings, pages 56-68. CEUR-WS.org, 2016.

Eugen Kuksa and Till Mossakowski.

[doi] [BibTeX]

**Ontology Patterns with DOWL: The Case of Blending**.

In: M. Lenzerini and R. Peñaloza, editors,

*Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.*, volume 1577, series CEUR Workshop Proceedings. CEUR-WS.org, 2016.

Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski and Mihai Codescu.

[doi] [BibTeX]

**Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.**.

CEUR Workshop Proceedings. volume 1660. CEUR-WS.org, 2016.

Oliver Kutz, Sergio de Cesare, Maria M. Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton and Jean-Rémi Bourguet.

[doi] [BibTeX]

### 2015

**Model-Driven Engineering in the Heterogeneous Tool Set**.

In: C. Braga and N. Martí-Oliet, editors,

*17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings*, volume 8941, series Lecture Notes in Computer Science, pages 64-79. 2015.

Daniel Calegari García, Till Mossakowski and Nora Szasz.

[doi] [abstract] [BibTeX]

**Modularity of Ontologies in an Arbitrary Institution**.

In:

*Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday*, pages 361-379. 2015.

Yazmin Angélica Ibáñez-Garca, Till Mossakowski, Donald Sannella and Andrzej Tarlecki.

[doi] [BibTeX]

**Modularity of Ontologies in an Arbitrary Institution**.

In: N. Mart-Oliet, P. C. Ölveczky and C. L. Talcott, editors,

*Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday*, volume 9200, series Lecture Notes in Computer Science, pages 361-379. Springer, 2015.

Yazmin Angélica Ibáñez-García, Till Mossakowski, Donald Sannella and Andrzej Tarlecki.

[doi] [BibTeX]

**An Institution for Simple UML State Machines**.

In: A. Egyed and I. Schaefer, editors,

*Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings*, volume 9033, series Lecture Notes in Computer Science, pages 3-18. Springer, 2015.

Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer.

[doi] [BibTeX]

**Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -**.

In: R. D. Nicola and R. Hennicker, editors,

*Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering*, volume 8950, series Lecture Notes in Computer Science, pages 215-230. Springer, 2015.

Alexander Knapp, Till Mossakowski and Markus Roggenbach.

[doi] [BibTeX]

**E pluribus unum - Formalisation, Use-Cases, and Computational Support for Conceptual Blending**.

In: T. R. Besold, M. Schorlemmer and A. Smaill, editors,

*Computational Creativity Research: Towards Creative Machines*, pages 167-196. Atlantis Press, 2015.

Oliver Kutz, John Bateman, Till Mossakowski, Fabian Neuhaus and Mehul Bhatt.

[doi] [abstract] [BibTeX]

**Relations Between Spatial Calculi About Directions and Orientations**.

*J. Artif. Intell. Res. (JAIR)*, 54:277-308, 2015.

Till Mossakowski and Reinhard Moratz.

[doi] [BibTeX]

**The Distributed Ontology, Modeling and Specification Language – DOL**.

In: A. Koslow and A. Buchsbaum, editors,

*The Road to Universal Logic*, pages 489-520. Birkhäuser, 2015.

Till Mossakowski, Mihai Codescu, Fabian Neuhaus and Oliver Kutz.

[doi] [BibTeX]

### 2014

**Space for Space. SpacePortal: the 21st Century Home for Spatial Ontologies**.

In:

*Short paper for Spatial Cognition 2014, Bremen, Germany, 15-19 September 2014*. 2014.

John Bateman, Oliver Kutz, Till Mossakowski, Aleksandra Sojic and Mihai Codescu.

[BibTeX]

**A Categorical Approach to Ontology Alignment**.

In:

*Proc. of the 9th International Workshop on Ontology Matching (OM-2014), ISWC-2014, Riva del Garda, Trentino, Italy.*, series CEUR-WS online proceedings. 2014.

Mihai Codescu, Till Mossakowski and Oliver Kutz.

[abstract] [BibTeX]

**The Institution-Theoretic Scope of Logic Theorems**.

*Logica Universalis*, 8:393–406, 2014.

Razvan Diaconescu, Till Mossakowski and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**An Institutional Framework for Heterogeneous Formal Development in UML**.

2014. Note published in arXiv.

Alexander Knapp, Till Mossakowski and Markus Roggenbach.

[doi] [abstract] [BibTeX]

**Blending in the Hub. Towards a collaborative concept invention platform**.

In:

*Fifth International Conference on Computational Creativity*. 2014.

Oliver Kutz, Mossakowski, Fabian Neuhaus and Mihai Codescu.

[doi] [abstract] [BibTeX]

**A relatively complete calculus for structured heterogeneous specifications**.

In: A. Muscholl, editor,

*17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)*, volume 8412, series Lecture Notes in Computer Science, pages 441-456. Springer-Verlag Berlin Heidelberg, 2014.

Till Mossakowski and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**Ontohub: A semantic repository for heterogeneous ontologies**.

In:

*Proc. of the Theory Day in Computer Science (DACS-2014), satellite workshop of ICTAC-2014, University of Bucharest, September 15-16, 2014*. 2014.

Till Mossakowski, Oliver Kutz and Mihai Codescu.

[abstract] [BibTeX]

**Parchments for CafeOBJ logics**.

In: S. Iida, J. Meseguer and K. Ogata, editors,

*Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi*, volume 8873, series Lecture Notes in Computer Science, pages 66-91. 2014.

Till Mossakowski, Wieslaw Pawlowski, Donald Sannella and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**Proof Support for Common Logic**.

In:

*Proc. of the Workshop on Automated Reasoning for Quantified Non-Classical Logic (ARQNL), July 23, Vienna Summer of Logic,, 2014*. 2014.

Till Mossakowski, Mihai Codescu, Oilver Kutz, C. Lange and M. Gruninger.

[abstract] [BibTeX]

**What Is a Derived Signature Morphism?**.

In: M. Codescu, R. Diaconescu and I. Tutu, editors,

*WADT*, volume 9463, series Lecture Notes in Computer Science, pages 90-109. Springer, 2014.

Till Mossakowski, Ulf Krumnack and Tom Maibaum.

[doi] [BibTeX]

**F. Neuhaus, O. Kutz, M. Codescu, T. Mossakowski Fabricating Monsters is Hard - Towards the Automation of Conceptual Blending**.

In:

*Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014*. 2014.

Fabian Neuhaus, Oliver Kutz, Mihai Codescu and T. Mossakowski.

[abstract] [BibTeX]

### 2013

**Checking conservativity with Hets**.

In: R. Heckel and S. Milius, editors,

*CALCO 2013*, volume 8089, series Lecture Notes in Computer Science, pages 315-321. Springer-Verlag Berlin Heidelberg, 2013.

Mihai Codescu, Till Mossakowski and Christian Maeder.

[doi] [abstract] [BibTeX]

**Compiling Logics**.

In: N. Martí-Oliet and M. Palomino, editors,

*Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012*, volume 7841, series Lecture Notes in Computer Science, pages 111-126. Springer, 2013.

Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski and Florian Rabe.

[doi] [abstract] [BibTeX]

**The VSE Refinement Method in Hets**.

*Electronic Communications of the EASST*, 62, 2013.

Mihai Codescu, Bruno Langenstein, Christian Maeder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Algebraic Properties of Qualitative Spatio-Temporal Calculi**.

In: T. Tenbrink, J. G. Stell, A. Galton and Z. Wood, editors,

*Proceedings of Conference On Spatial Information Theory 2013*, volume 8116, series Lecture Notes in Computer Science, pages 516-536. Springer-Verlag Berlin Heidelberg, 2013.

Frank Dylla, Till Mossakowski, Thomas Schneider and Diedrich Wolter.

[doi] [abstract] [BibTeX]

**Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL**.

In: N. Martí-Oliet and M. Palomino, editors,

*Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012*, volume 7841, series Lecture Notes in Computer Science, pages 178-194. Springer, 2013.

Phillip James, Alexander Knapp, Till Mossakowski and Markus Roggenbach.

[doi] [abstract] [BibTeX]

**A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory**.

In: J. Carette, J. H. Davenport, W. Windsteiger, P. Sojka, D. Aspinall and C. Lange, editors,

*Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics*, volume 7961, series Lecture Notes in Computer Science, pages 200-215. Springer-Verlag Berlin Heidelberg, 2013.

Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel and Wolfgang Windsteiger.

[doi] [abstract] [BibTeX]

**Semantics of the distributed ontology language: Institutes and Institutions**.

In: N. Martí-Oliet and M. Palomino, editors,

*Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012*, volume 7841, series Lecture Notes in Computer Science, pages 212-230. Springer, 2013.

Till Mossakowski, Oliver Kutz and Christoph Lange.

[doi] [abstract] [BibTeX]

**The Distributed Ontology, Modeling and Specification Language**.

In: C. D. Vescovo, T. Hahmann, D. Pearce and D. Walther, editors,

*WoMo 2013*, volume 1081, series CEUR-WS online proceedings. 2013.

Till Mossakowski, Oliver Kutz, Mihai Codescu and Christoph Lange.

[doi] [abstract] [BibTeX]

**Three Semantics for the Core of the Distributed Ontology Language**.

In: F. Rossi, editor,

*IJCAI 2013*. 2013. IJCAI 2013 track on Best Papers in Sister Conferences

Till Mossakowski, Oliver Kutz and Christoph Lange.

[doi] [abstract] [BibTeX]

**Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward**.

In:

*36th Annual Conference on Artificial Intelligence (KI 2013)*, volume 8077, series Lecture Notes in Artificial Intelligence, pages 248-259. Springer, 2013.

André van Delden and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 2012

**A Proof Theoretic Interpretation of Model Theoretic Hiding**.

In: H.-Jö. K. Till Mossakowski, editor,

*Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010*, volume 7137, series Lecture Notes in Computer Science, pages 118-138. Springer, 2012.

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski and Florian Rabe.

[BibTeX]

**Ontology-based Route Planning for OpenStreetMap**.

In: D. Kolas, M. Perry, R. Grütter and M. Koubarakis, editors,

*Terra Cognita 2012: Foundations, Technologies and Applications of the Geospatial Web*, volume 901, series CEUR-WS online proceedings, pages 62-73. 2012.

Mihai Codescu, Daniel Couto Vale, Oliver Kutz and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Towards Logical Frameworks in the Heterogeneous Tool Set Hets**.

In: H.-Jö. K. Till Mossakowski, editor,

*Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010*, volume 7137, series Lecture Notes in Computer Science, pages 139-159. Springer, 2012.

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe and Kristina Sojakova.

[BibTeX]

**The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics**.

In:

*TKE (Terminology and Knowledge Engineering) Conference 2012*. 2012.

Christian Galinski, Oliver Kutz, Christoph Lange and Till Mossakowski.

[BibTeX]

**Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs**.

In: A. Ramsay and G. Agre, editors,

*15th International Conference on Artificial Intelligence: Methodology, Systems, Applications*, volume 7557, series Lecture Notes in Computer Science, pages 103-111. Springer, 2012.

Oliver Kutz, Janna Hastings and Till Mossakowski.

[abstract] [BibTeX]

**The Babel of the Semantic Web Tongues - In Search of the Rosetta Stone of Interoperability**.

In: F. van Harmelen, J. A. Hendler, P. Hitzler, K. Janowicz and D. Vrandev ci'c, editors,

*What will the Semantic Web look like 10 Years from now? Workshop at ISWC*. 2012.

Oliver Kutz, Christoph Lange, Till Mossakowski, C. Maria Keet, Fabian Neuhaus and Michael Grüninger.

[doi] [BibTeX]

**LoLa: A Modular Ontology of Logics, Languages, and Translations**.

In: T. Schneider and D. Walther, editors,

*Workshop on modular ontologies*, volume 875, series CEUR-WS online proceedings. 2012.

Christoph Lange, Till Mossakowski and Oliver Kutz.

[doi] [abstract] [BibTeX]

**The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization**.

In:

*Conferences on Intelligent Computer Mathematics CICM 2012*, volume 7362, series Lecture Notes in Computer Science. Springer, 2012.

Christoph Lange, Oliver Kutz, Till Mossakowski and Michael Grüninger.

[doi] [abstract] [BibTeX]

**Qualitative Reasoning about Relative Direction of Oriented Points**.

*Artificial Intelligence Journal*, 180–181:34–45, 2012.

Till Mossakowski and Reinhard Moratz.

[doi] [abstract] [BibTeX]

**Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010**.

Lecture Notes in Computer Science. volume 7137. Springer, 2012.

Till Mossakowski and Hans-Jörg Kreowski.

[doi] [BibTeX]

**Three Semantics for the Core of the Distributed Ontology Language**.

In: M. Donnelly and G. Guizzardi, editors,

*FOIS 2012: 7th International Conference on Formal Ontology in Information Systems*, pages 337-352. IOS Press; Amsterdam; http://www.iospress.nl, 2012. Best paper award

Till Mossakowski, Christoph Lange and Oliver Kutz.

[doi] [abstract] [BibTeX]

**Compositional modelling and reasoning in an institution for processes and data**.

In: T. Mossakowski and H.-Jö. Kreowski, editors,

*WADT 2010*, volume 7137, series Lecture Notes in Computer Science, pages 251-269. Springer, 2012.

Liam O'Reilly, Till Mossakowski and Markus Roggenbach.

[abstract] [BibTeX]

**Intuitive and Natural Interfaces for Geospatial Data Classification**.

In:

*Place-related Knowledge Acquisition Research (P-KAR) workshop at Spatial Cognition 2012*. 2012.

Falko Schmid, Oliver Kutz, Lutz Frommberger, Till Mossakowski, Tomi Kauppinen and Cunyuan Cai.

[BibTeX]

### 2011

**DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap**.

In: C. Claramunt, S. Levashkin and M. Bertolotto, editors,

*Fourth International Conference on GeoSpatial Semantics*, volume 6631, series Lecture Notes in Computer Science, pages 88–107. Springer, 2011.

Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski and Rafaela Rau.

[doi] [abstract] [BibTeX]

**OSMonto - An Ontology of OpenStreetMap Tags**.

In:

*State of the map Europe (SOTM-EU) 2011*. 2011.

Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski and Rafaela Rau.

[abstract] [BibTeX]

**Project Abstract: Logic Atlas and Integrator (LATIN)**.

In: J. H. Davenport, W. M. Farmer, J. Urban and F. Rabe, editors,

*Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings*, volume 6824, series Lecture Notes in Computer Science, pages 289-291. Springer-Verlag Berlin Heidelberg, 2011.

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski and Florian Rabe.

[doi] [BibTeX]

**Refinement trees: calculi, tools and applications**.

In: B. K. Andrea Corradini, editor,

*Algebra and Coalgebra in Computer Science, CALCO'11*, volume 6859, series Lecture Notes in Computer Science, pages 145-160. Springer, 2011.

Mihai Codescu and Till Mossakowski.

[doi] [abstract] [BibTeX]

**How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications**.

In:

*Deep Knowledge Representation Challenge Workshop, co-located with K-CAP 2011*. 2011.

Janna Hastings, Oliver Kutz and Till Mossakowski.

[doi] [abstract] [BibTeX]

**A Modular Consistency Proof for Dolce**.

In: W. Burgard and D. Roth, editors,

*Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference*, pages 227-234. AAAI Press; Menlo Park, CA, 2011.

Oliver Kutz and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Hyperontology for the Biomedical Ontologist - A Sketch and Some Examples**.

In:

*Workshop on Working with Multiple Biomedical Ontologies (at ICBO 2011)*. 2011.

Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander Garcia Castro and Aleksandra Sojic.

[doi] [abstract] [BibTeX]

**The Onto-Logical Translation Graph**.

In: O. Kutz and T. Schneider, editors,

*Modular Ontologies Proceedings of the Fifth International Workshop (WoMO 2011)*, volume 230, series Frontiers in Artificial Intelligence and Applications, pages 94-109. IOS Press, 2011.

Oliver Kutz and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Towards a Standard for Heterogeneous Ontology Integration and Interoperability**.

In: K.-S. C. et al, editor,

*Proceedings of the First International Conference on terminology, languages and content resources (LarC 2011)*, pages 97-106. Seoul: KATS e.a, 2011.

Oliver Kutz, Till Mossakowski, Christian Galinski and Christoph Lange.

[abstract] [BibTeX]

**Streets to the OPRA - Finding your destination with imprecise knowledge**.

In: J. Renz, A. G. Cohn and S. Wölfl, editors,

*IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning*, pages 25-32. 2011.

Dominik Lücke, Till Mossakowski and Reinhard Moratz.

[doi] [abstract] [BibTeX]

**A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments**.

*Artificial Intelligence Journal*, 175:2099-2127, 2011.

Reinhard Moratz, Dominik Lücke and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap**.

In:

*Magdeburger Logistiktagung*. 2011.

Till Mossakowski, Mihai Codescu and Oliver Kutz.

[BibTeX]

### 2010

**Change Management for Heterogeneous Development Graphs**.

In: S. Siegler and N. Wasser, editors,

*Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther*, pages 54-80. Springer, 2010.

Serge Autexier, Dieter Hutter and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Creating a HasCASL library**.

In: J. Aldrich and R. Massa, editors,

*14th Brazilian Symposium on Programming Languages (SBLP 2010)*. 2010.

Glauber Cabral, Christian Maeder, Till Mossakowski and Lutz Schröder.

[abstract] [BibTeX]

**Integrating Maude into Hets**.

In: M. Johnson and D. Pavlovic, editors,

*AMAST 2010*, volume 6486, series Lecture Notes in Computer Science, pages 60-75. Springer, 2010.

Mihai Codescu, Till Mossakowski, Adrían Riesco and Christian Maeder.

[doi] [abstract] [BibTeX]

**Towards Ontological Blending**.

In: D. Dicheva and D. Dochev, editors,

*Artificial Intelligence: Methodology, Systems, and Applications, 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings*, volume 6304, series Lecture Notes in Computer Science, pages 263-264. Springer, 2010.

Joana Hois, Oliver Kutz, Till Mossakowski and John A. Bateman.

[doi] [abstract] [BibTeX]

**Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design**.

*Logica Univeralis*, 4(2):255-333, 2010.

Oliver Kutz, Till Mossakowski and Dominik Lücke.

[doi] [abstract] [BibTeX]

**Chinese Whispers and Connected Alignments**.

In: P. S. et al., editor,

*Proc. of the 5th International Workshop on Ontology Matching, OM-2010, collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010, Shanghai, China.*, volume 689, series CEUR-WS online proceedings, pages 25-36. 2010.

Oliver Kutz, Immanuel Normann, Till Mossakowski and Dirk Walther.

[doi] [abstract] [BibTeX]

**A much better polynomial time approximation of consistency in the LR calculus**.

In: A. Gomez-Perez and T. Agotnes, editors,

*Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010)*, volume 222, series Frontiers in Artificial Intelligence and Applications, pages 175-185. IOS Press; Amsterdam; http://www.iospress.nl, 2010.

Dominik Lücke and Till Mossakowski.

[doi] [abstract] [BibTeX]

**A Generic Complete Dynamic Logic for Reasoning about Purity and Effects**.

*Formal Aspects of Computing*, 22(3-4):363-384, 2010.

Till Mossakowski, Lutz Schröder and Sergey Goncharov.

[doi] [abstract] [BibTeX]

**Preface**.

*Logical Methods in Computer Science*, 2010. SPECIAL ISSUE: Selected Papers of the Conference "Algebraic and Coalgebraic Methods in Computer Science 2007" Bergen, Norway, 2007

Till Mossakowski and Ugo Montanari.

[doi] [BibTeX]

**Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity**.

*CoRR. abs/0912.5533*, 2010.

Till Mossakowski and Reinhard Moratz.

[doi] [abstract] [BibTeX]

### 2009

**The VSE Refinement Method in HETS**.

In: K. Breitman and A. Cavalcanti, editors,

*ICFEM 2009*, volume 5885, series Lecture Notes in Computer Science, pages 660-678. Springer, 2009.

Mihai Codescu, Bruno Langenstein, Christian Maeder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Kleene Monads: Handling Iteration in a Framework of Generic Effects**.

In: A. Kurz and A. Tarlecki, editors,

*Algebra and Coalgebra in Computer Science (CALCO 2009)*, volume 5728, series Lecture Notes in Computer Science, pages 18-33. Springer, 2009.

Sergey Goncharov, Lutz Schröder and Till Mossakowski.

[BibTeX]

**Specification, Transformation, Navigation - Festschrift Sedicated to Bernd Krieg-Brückner on the Ooccasion of his 60th Birthday**.

DFKI Bremen, Sichere Kognitive Systeme, 2009.

Berthold Hoffmann, Christoph Lüth, Till Mossakowski, Markus Roggenbach and Lutz Schröder.

[BibTeX]

**Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects**.

*CoRR*, abs/0912.5533, 2009. abs/0912.5533

Reinhard Moratz, Dominik Lücke and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Heterogeneous Logical Environments for Distributed Specifications**.

In: A. Corradini and U. Montanari, editors,

*WADT 2008*, volume 5486, series Lecture Notes in Computer Science, pages 266–289. Springer, 2009.

Till Mossakowski and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**On Teaching Logic and Algebraic Specification**.

In: F. Drewes, A. Habel, B. Hoffmann and D. Plump, editors,

*Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday*, pages 269-286. 2009.

Till Mossakowski.

[doi] [BibTeX]

**What is a logic translation?**.

*Logica Universalis*, 3(1):95-124, 2009. Winner of the universal logic 2007 contest.

Till Mossakowski, Andrzej Tarlecki and Razvan Diaconescu.

[doi] [abstract] [BibTeX]

**HasCASL: Integrated Higher-Order Specification and Program Development**.

*Theoretical Computer Science*, 410(12-13):1217-1260, 2009.

Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 2008

**Heterogeneous colimits**.

In: F. Boulanger, C. Gaston and P.-Y. Schobbens, editors,

*MoVaH'08 Workshop on Modeling, Validation and Heterogeneity*. IEEE press, 2008.

Mihai Codescu and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Conservativity in Structured Ontologies**.

In: M. Ghallab, C. Spyropoulos, N. Fakotakis and N. Avouris, editors,

*ECAI 2008*, volume 178, series Frontiers in Artificial Intelligence and Applications. IOS Press, 2008.

Oliver Kutz and Till Mossakowski.

[abstract] [BibTeX]

**Heterogeneously Structured Ontologies: Integration, Connection, and Refinement**.

In:

*Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia*. 2008.

Oliver Kutz, Dominik Lücke and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE**.

In:

*First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08)*. 2008.

Oliver Kutz, Dominik Lücke and Till Mossakowski.

[doi] [BibTeX]

**Shapes of Alignments - Construction, Combination, and Computation**.

In: U. Sattler and A. Tamilin, editors,

*International Workshop on Ontologies: Reasoning and Modularity (WORM-08)*, volume 348, series CEUR-WS online proceedings. 2008.

Oliver Kutz, Till Mossakowski and Mihai Codescu.

[doi] [abstract] [BibTeX]

**The OWL in the CASL - Designing Ontologies Across Logics**.

In: C. Dolbear, A. Ruttenberg and U. Sattler, editors,

*OWL: Experiences and Directions, 5th International Workshop (OWLED-08)*. CEUR-WS, 2008.

Oliver Kutz, Dominik Lücke, Till Mossakowski and Immanueal Normann.

[doi] [BibTeX]

**Qualitative reasoning about convex relations**.

In: C. Freksa, N. S. Newcombe and P. Gaerdenfors, editors,

*Spatial Cognition VI 2008*, volume 5248, series Lecture Notes in Computer Science, pages 426-440. Springer, 2008.

Dominik Lücke, Till Mossakowski and Diedrich Wolter.

[doi] [abstract] [BibTeX]

**A generic complete dynamic logic for reasoning about purity and effects**.

In: J. Fiadeiro and P. Inverardi, editors,

*Fundamental Approaches to Software Engineering (FASE 2008)*, volume 4961, series Lecture Notes in Computer Science, pages 199-214. Springer, 2008.

Till Mossakowski, Lutz Schröder and Sergey Goncharov.

[doi] [abstract] [BibTeX]

**CASL, the Common Algebraic Specification Language**.

In: M. H. D. Bjorner, editor,

*Logics of formal specification languages*, chapter 3, pages 241-298. Springer-Verlag Heidelberg, 2008.

Till Mossakowski, Anne Haxthausen, Don Sannella and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

### 2007

**Ontological Modularity and Spatial Diversity**.

*Spatial Cognition and Computation*, 7(1):97-128, 2007.

John Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo and Till Mossakowski.

[doi] [abstract] [BibTeX]

**An Institutional View on Categorical Logic**.

In:

*Int J Software Informatics*, volume 1, pages 129-152. 2007.

Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe and Lutz Schröder.

[abstract] [BibTeX]

**Modules in Transition - Conservativity, Composition, and Colimits**.

In: A. Schlicht, editor,

*Second International Workshop on Modular Ontologies*. 2007.

Oliver Kutz and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Reasoning Support for CASL with Automated Theorem Proving Systems**.

In: J. Fiadeiro, editor,

*WADT 2006*, volume 4409, pages 74-91. Springer-Verlag Heidelberg, 2007.

Klaus Lüttich and Till Mossakowski.

[abstract] [BibTeX]

**Structured CSP - A Process Algebra as an Institution**.

In: J. Fiadeiro, editor,

*WADT 2006*, volume 4409, series Lecture Notes in Computer Science, pages 92-110. Springer-Verlag Heidelberg, 2007.

Till Mossakowski and Markus Roggenbach.

[abstract] [BibTeX]

**The Heterogeneous Tool Set**.

In: B. Beckert, editor,

*VERIFY 2007, 4th International Verification Workshop*, pages 119-135. 2007.

Till Mossakowski, Christian Maeder and Klaus Lüttich.

[doi] [abstract] [BibTeX]

**The Heterogeneous Tool Set, Hets.**.

In: O. Grumberg and M. Huth, editors,

*TACAS*, volume 4424, series Lecture Notes in Computer Science, pages 519-522. Springer, 2007.

Till Mossakowski, Christian Maeder and Klaus Lüttich.

[doi] [BibTeX]

**What is a Logic? (revised version)**.

In: J.-Y. Beziau, editor,

*Logica Universalis*, pages 111-133. Birkhäuser, 2007.

Till Mossakowski, Joseph Goguen, Razvan Diaconescu and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**Coalgebraic Modal Logic in CoCASL**.

In: J. L. Fiadeiro, editor,

*Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006*, volume 4409, series Lecture Notes in Computer Science, pages 128-142. Springer, 2007.

Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Translating Haskell to Isabelle**.

In: K. Schneider and J. Brandt, editors,

*Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings*, pages 178–193. Uni Kaiserslautern, 2007.

Paolo Torrini, Christpoh Lüth, Christian Maeder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables**.

In: D. Wilson and G. Sutcliffe, editors,

*20th International FLAIRS Conference (FLAIRS-20)*, pages 665-670. AAAI Press, 2007.

Stefan Wölfl, Till Mossakowski and Lutz Schröder.

[abstract] [BibTeX]

### 2006

**Maya: Maintaining Structured Developments**.

In: M. Kohlhase, editor,

*OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]*, pages 281-285. Springer, 2006.

Serge Autexier, Dieter Hutter, Till Mossakowski and Axel Schairer.

[doi] [BibTeX]

**Completeness of Global Evaluation Logic**.

In: R. Kralovic and P. Urzyczyn, editors,

*Mathematical Foundations of Computer Science*, volume 4162, series Lecture Notes in Computer Science, pages 447-458. Springer; Berlin; http://www.springer.de, 2006.

Sergey Goncharov, Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**A Coalgebraic Approach to the Semantics of the Ambient Calculus**.

*Theoretical Computer Science*, 366(1-2):121-143, 2006. Extends (Hausmann et al. 2005)

Daniel Hausmann, Till Mossakowski and Lutz Schröder.

[doi] [abstract] [BibTeX]

**Development Graphs - Proof Management for Structured Specifications**.

*Journal of Logic and Algebraic Programming*, 67(1-2):114-145, 2006.

T. Mossakowski, S. Autexier and D. Hutter.

[doi] [abstract] [BibTeX]

**A Categorical Perspective on Qualitative Constraint Calculi**.

In: S. Wölfl and T. Mossakowski, editors,

*Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006*, pages 28-39. 2006.

Till Mossakowski, Lutz Schröder and Stefan Wölfl.

[abstract] [BibTeX]

**Algebraic-co-algebraic specification in CoCASL**.

*Journal of Logic and Algebraic Programming*, 67(1-2):146-197, 2006. Extends (Mossakowski et al. 2003)

Till Mossakowski, Lutz Schröder, Markus Roggenbach and Horst Reichel.

[doi] [abstract] [BibTeX]

**Hets User Guide**.

Department of Computer Science; Universität Bremen; http://www.informatik.uni-bremen.de/, 2006.

Till Mossakowski, Christian Maeder and Klaus Lüttich.

[abstract] [BibTeX]

**Hets: The Heterogeneous Tool Set**.

In: M. Kohlhase, editor,

*Maya: Maintaining Structured Developments*, pages 286-289. Springer, 2006.

Till Mossakowski, Christian Maeder and Klaus Lüttich.

[doi] [BibTeX]

**Institutional 2-cells and Grothendieck institutions**.

In: K. Futatsugi, J.-P. Jouannaud and J. Meseguer, editors,

*Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday*, volume 4060, series Lecture Notes in Computer Science, pages 124-149. Springer; Berlin; http://www.springer.de, 2006.

Till Mossakowski.

[doi] [abstract] [BibTeX]

**Monad-Based Logics for Computational Effects**.

In: M. Johnson and V. Vene, editors,

*AMAST 2006*, volume 4019, series Lecture Notes in Computer Science, pages 3-4. Springer; Berlin; http://www.springer.de, 2006.

Till Mossakowski.

[abstract] [BibTeX]

### 2005

**Iterative Circular Coinduction for CoCASL in Isabelle/HOL**.

In: M. Cerioli, editor,

*Fundamental Approaches to Software Engineering 2005*, volume 3442, series Lecture Notes in Computer Science, pages 341-356. Springer; Berlin; http://www.springer.de, 2005.

Daniel Hausmann, Till Mossakowski and Lutz Schröder.

[doi] [abstract] [BibTeX]

**Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus**.

In: J. Fiadeiro, N. Harman, M. Roggenbach and J. Rutten, editors,

*Algebra and Coalgebra in Computer Science*, volume 3629, series Lecture Notes in Computer Science, pages 232-246. Springer; Berlin, 2005.

Daniel Hausmann, Till Mossakowski and Lutz Schröder.

[doi] [abstract] [BibTeX]

**High-Level Nets with Nets and Rules as Tokens**.

In:

*26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency*, pages 268-288. Springer Verlag, London, 2005.

Kathrin Hoffmann, Hartmut Ehrig and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Higher-order nets for mobile policies**.

In:

*Workshop on Petri Nets and Graph Transformations*, volume 127, series Electronic Notes in Theoretical Computer Science, pages 87-105. Elsevier Science; http://www.elsevier.nl/, 2005.

Kathrin Hoffmann, Francesco Parisi-Presicce and Till Mossakowski.

[BibTeX]

**Specification of an Ontology for Route Graphs**.

In: C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel and T. Barkowsky, editors,

*Spatial Cognition IV*, pages 390-412. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, 2005.

B. Krieg-Brückner, U. Frese, K. Lüttich, C. Mandel, T. Mossakowski and R. Ross.

[doi] [BibTeX]

**Ontologies for the Semantic Web in CASL**.

In: J. L. Fiadeiro, P. Mosses and F. Orejas, editors,

*Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004)*, volume 3423, series Lecture Notes in Computer Science, pages 106-125. Springer; Berlin; http://www.springer.de, 2005.

K. Lüttich, T. Mossakowski and B. Krieg-Brückner.

[doi] [abstract] [BibTeX]

**A simple refinement language for CASL**.

In: J. L. Fiadeiro, editor,

*WADT 2004*, pages 162-185. Springer; Berlin; http://www.springer.de, 2005.

T. Mossakowski, D. Sannella and A. Tarlecki.

[doi] [abstract] [BibTeX]

**Heterogeneous specification and the heterogeneous tool set**.

Universitaet Bremen, 2005. Habilitation thesis.

Till Mossakowski.

[BibTeX]

**Heterogeneous Theories and the Heterogeneous Tool Set**.

In: Y. Kalfoglou, M. Schorlemmer, A. Sheth, S. Staab and M. Uschold, editors,

*Semantic Interoperability and Integration*, series Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ, 2005.

Till Mossakowski.

[doi] [BibTeX]

**What is a Logic?**.

In: J.-Y. Beziau, editor,

*Logica Universalis*, pages 113-133. Birkhäuser, 2005.

Till Mossakowski, Joseph Goguen, Razvan Diaconescu and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**Amalgamation in the semantics of CASL**.

*Theoretical Computer Science*, 331(1):215-247, 2005.

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman and Bartek Klin.

[doi] [abstract] [BibTeX]

**Type class polymorphism in an institutional framework**.

In: J. Fiadeiro, editor,

*Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004)*, volume 3423, series Lecture Notes in Computer Science, pages 234-248. Springer; Berlin; http://www.springer.de, 2005.

Lutz Schröder, Till Mossakowski and Christoph Lüth.

[doi] [abstract] [BibTeX]

**Parametrized Exceptions**.

In: J. Fiadeiro and J. Rutten, editors,

*Algebra and Coalgebra in Computer Science*, volume 3629, series Lecture Notes in Computer Science, pages 424-438. Springer; Berlin; http://www.springer.de, 2005.

Dennis Walter, Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**CASL Specifications of Qualitative Calculi**.

In: A. G. Cohn and D. M. Mark, editors,

*Conference on Spatial Information Theory*, volume 3693, series Lecture Notes in Computer Science, pages 200-217. Springer; Berlin, 2005.

Stefan Wölfl and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 2004

**CASL Semantics**.

In: P. D. Mosses, editor,

*CASL Reference Manual*, chapter ÏII. Springer Verlag, London, 2004. Ëdited by D. Sannella and A. Tarlecki

Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter D. Mosses, Donald Sannella and Andrzej Tarlecki.

[doi] [BibTeX]

**Specification of Ontologies in CASL**.

In: A. C. Varzi and L. Vieu, editors,

*Formal Ontology in Information Systems - Proceedings of the Third International Conference (FOIS-2004)*, volume 114, series Frontiers in Artificial Intelligence and Applications, pages 140-150. IOS Press; Amsterdam; http://www.iospress.nl, 2004.

K. Lüttich and T. Mossakowski.

[abstract] [BibTeX]

**Tramway Networks as Route Graphs**.

In: E. Schnieder and G. Tarnai, editors,

*FORMS/FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems*, pages 109-119. 2004.

K. Lüttich, B. Krieg-Brückner and T. Mossakowski.

[abstract] [BibTeX]

**CASL Basic Libraries**.

In: M. Bidoit and P. D. Mosses, editors,

*CASL User Manual*, pages 143-154. Springer Verlag, London, 2004.

T. Mossakowski.

[doi] [BibTeX]

**CASL Sublanguages and extensions**.

In: P. D. Mosses, editor,

*CASL Reference Manual*, chapter I:7, pages 61-69. Springer Verlag, London, 2004.

T. Mossakowski.

[BibTeX]

**CASL Tools**.

In: M. Bidoit and P. D. Mosses, editors,

*CASL User Manual*, pages 131-142. Springer Verlag, London, 2004.

T. Mossakowski.

[doi] [BibTeX]

**ModalCASL - Specification with Multi-Modal Logics. Language Summary**.

2004.

T. Mossakowski.

[abstract] [BibTeX]

**CASL Logic**.

In: P. D. Mosses, editor,

*CASL Reference Manual*, chapter ÏV. Springer Verlag, London, 2004. Ëdited by T. Mossakowski

Till Mossakowski, Piotr Hoffman, Serge Autexier and Dieter Hutter.

[doi] [BibTeX]

**Libraries**.

In: P. Mosses, editor,

*CASL reference manual*. Springer; Berlin; http://www.springer.de, 2004. Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html

Markus Roggenbach, Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Generic exception handling and the Java monad**.

In: C. Rattray, S. Maharaj and C. Shankland, editors,

*Algebraic Methodology and Software Technology*, volume 3116, series Lecture Notes in Computer Science, pages 443-459. Springer; Berlin; http://www.springer.de, 2004.

Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Monad-independent dynamic logic in HasCASL**.

*Journal of Logic and Computation*, 14(4):571-619, 2004. Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441

Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 2003

**Algebraic Higher Order Nets: Graphs and Petri Nets as Tokens**.

In: M. Wirsing, D. Pattinson and R. Hennicker, editors,

*Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers*, volume 2755, series Lecture Notes in Computer Science, pages 253-267. Springer Verlag, London, 2003.

Kathrin Hoffmann and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Foundations of heterogeneous specification**.

In: M. Wirsing, D. Pattinson and R. Hennicker, editors,

*Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers*, series Lecture Notes in Computer Science, pages 359-375. Springer Verlag, London, 2003.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**A temporal-logic extension of role-based access control covering dynamic separation of duties**.

In:

*Proceedings of the 4th International Conference on Temporal Logic,*, pages 83-90. IEEE Computer Society Press, 2003.

Till Mossakowski, Michael Drouineaud and Karsten Sohr.

[abstract] [BibTeX]

**Algebraic-co-algebraic specification in CoCASL**.

In: M. Wirsing, D. Pattinson and R. Hennicker, editors,

*Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02*, volume 2755, series Lecture Notes in Computer Science, pages 376-392. Springer; Berlin; http://www.springer.de, 2003.

Till Mossakowski, Horst Reichel, Markus Roggenbach and Lutz Schröder.

[doi] [abstract] [BibTeX]

**CASL, the Common Algebraic Specification Language: Semantics and Proof Theory**.

*Computing and Informatics*, 22:285-321, 2003.

Till Mossakowski, Anne Haxthausen, Donald Sannella and Andrzej Tarlecki.

[abstract] [BibTeX]

**CoCASL at work -- Modelling Process Algebra**.

In: H.-P. Gumm, editor,

*Coalgebraic Methods in Computer Science*, volume 82, series Electronic Notes in Theoretical Computer Science. Elsevier Science; http://www.elsevier.nl/, 2003.

Till Mossakowski, Markus Roggenbach and Lutz Schröder.

[abstract] [BibTeX]

**HasCASL - Integrated functional specification and programming. Language summary.**.

2003.

L. Schröder, T. Mossakowski and C. Maeder.

[abstract] [BibTeX]

**Monad-independent Hoare logic in HasCASL**.

In: M. Pezze, editor,

*Fundamental Approaches to Software Engineering (FASE 2003)*, volume 2621, series Lecture Notes in Computer Science, pages 261-277. Springer; Berlin; http://www.springer.de, 2003.

Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 2002

**Integrating HOLCASL into the Development Graph Manager MAYA**.

In: A. Armando, editor,

*Frontiers of Combining Systems, 4th International Workshop*, volume 2309, series Lecture Notes in Computer Science, pages 2-17. Springer Verlag, London, 2002.

S. Autexier and T. Mossakowski.

[doi] [abstract] [BibTeX]

**The Development Graph Manager MAYA (System description)**.

In: H. Kirchner and C. Reingeissen, editors,

*Algebraic Methodology and Software Technology, 2002*, volume 2422, series Lecture Notes in Computer Science, pages 495-502. Springer Verlag, London, 2002.

S. Autexier, D. Hutter, T. Mossakowski and A. Schairer.

[doi] [abstract] [BibTeX]

**Comorphism-based Grothendieck logics**.

In: K. Diks and W. Rytter, editors,

*Mathematical foundations of computer science*, volume 2420, series Lecture Notes in Computer Science, pages 593-604. Springer Verlag, London, 2002.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Heterogeneous development graphs and heterogeneous borrowing**.

In: M. Nielsen and U. Engberg, editors,

*Foundations of Software Science and Computation Structures*, pages 326-341. Springer-Verlag, 2002.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Institution Independent Static Analysis for CASL**.

In: M. Cerioli and G. Reggio, editors,

*Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy*, volume 2267, series Lecture Notes in Computer Science, pages 221-237. Springer Verlag, London, 2002.

T. Mossakowski and B. Klin.

[doi] [abstract] [BibTeX]

**Relating CASL with Other Specification Languages: the Institution Level**.

*Theoretical Computer Science*, 286:367-475, 2002.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Methodological guidelines (for CASL)**.

2002. CoFI note M-6.

Markus Roggenbach and Till Mossakowski.

[doi] [abstract] [BibTeX]

**HasCASL: towards integrated specification and development of functional programs**.

In: Hé. Kirchner and C. Ringeissen, editors,

*Algebraic Methodology And Software Technology (AMAST 2002)*, volume 2422, series Lecture Notes in Computer Science, pages 99-116. Springer; Berlin; http://www.springer.de, 2002.

Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 2001

**Checking amalgamability conditions for CASL architectural specifications**.

In: J. Sgall, A. Pultr and P. Kolman, editors,

*Mathematical Foundations of Computer Science*, volume 2136, series Lecture Notes in Computer Science, pages 512-523. Springer; Berlin; http://www.springer.de, 2001.

Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder and Till Mossakowski.

[doi] [BibTeX]

**Extending Development Graphs With Hiding**.

In: H. Hußmann, editor,

*Fundamental Approaches to Software Engineering*, volume 2029, series Lecture Notes in Computer Science, pages 269-283. Springer Verlag, London, 2001.

T. Mossakowski, S. Autexier and D. Hutter.

[doi] [abstract] [BibTeX]

**Amalgamation via enriched CASL signatures**.

In: F. Orejas, P. Spirakis and J. van Leeuwen, editors,

*International Colloquium on Automata, Languages and Programming (ICALP 2001)*, volume 2076, series Lecture Notes in Computer Science, pages 993-1004. Springer; Berlin; http://www.springer.de, 2001.

Lutz Schröder, Till Mossakowski and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

**Semantics of Architectural Specifications in CASL**.

In: H. Hußmann, editor,

*Fundamental Approaches to Software Engineering*, volume 2029, series Lecture Notes in Computer Science, pages 253-268. Springer; Berlin; http://www.springer.de, 2001.

Lutz Schröder, Till Mossakowski, Piotr Hoffman, Bartek Klin and Andrzej Tarlecki.

[doi] [abstract] [BibTeX]

### 2000

**Specification in an arbitrary institution with symbols**.

In: C. Choppy, D. Bert and P. Mosses, editors,

*Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France*, pages 252-270. Springer Verlag, London, 2000.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Subsorted Partial Higher-Order Logic as an Extension of CASL**.

In: C. Choppy, D. Bert and P. Mosses, editors,

*Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France*, pages 126-145. Springer Verlag, London, 2000.

T. Mossakowski, A. Haxthausen and B. Krieg-Brückner.

[doi] [abstract] [BibTeX]

**CASL: From Semantics to Tools**.

In: S. Graf and M. Schwartzbach, editors,

*TACAS 2000*, volume 1785, series Lecture Notes in Computer Science, pages 93-108. Springer Verlag, London, 2000.

Till Mossakowski.

[doi] [abstract] [BibTeX]

**How to write consistent CASL design specifications**.

2000. CoFI note M-8.

Till Mossakowski.

[doi] [abstract] [BibTeX]

**Specifying real numbers in CASL**.

In: C. Choppy and D. Bert, editors,

*Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99*, volume 1827, series Lecture Notes in Computer Science, pages 146-161. Springer; Berlin; http://www.springer.de, 2000.

Markus Roggenbach, Lutz Schröder and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Categorical Fibring of Logics with Terms and Binding Operators**.

In: D. Gabbay and M. d. Rijke, editors,

*Frontiers of Combining Systems 2*, pages 295-316. Research Studies Press, 2000.

A. Sernadas, C. Sernadas, C. Caleiro and T. Mossakowski.

[abstract] [BibTeX]

### 1999

**From total equational to partial first order logic**.

In: E. Astesiano, H.-J. Kreowski and B. Krieg-Brückner, editors,

*Algebraic Foundations of Systems Specifications*, pages 31-104. Springer Verlag, London, 1999.

M. Cerioli, T. Mossakowski and H. Reichel.

[abstract] [BibTeX]

**Translating OBJ3 to CASL: the institution level**.

In: J. L. Fiadeiro, editor,

*Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers*, volume 1589, series Lecture Notes in Computer Science, pages 198-214. Springer Verlag, London, 1999.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**The datatypes REAL and COMPLEX in CASL**.

1999. CoFI note M-7.

Till Mossakowski and Markus Roggenbach.

[doi] [abstract] [BibTeX]

**Proposal of some annotations and literal syntax in CASL**.

1999. CoFI note L-11.

Markus Roggenbach and Till Mossakowski.

[doi] [abstract] [BibTeX]

### 1998

**Extending CASL with higher-order functions - design proposal**.

1998. CoFI note L-8.

Anne Haxthausen, Bernd Krieg-Brückner and Till Mossakowski.

[doi] [abstract] [BibTeX]

**Subsorted partial higher-order logic as an extension of CASL**.

1998. CoFI note L-10.

Anne Haxthausen, Bernd Krieg-Brückner and Till Mossakowski..

[doi] [abstract] [BibTeX]

**Colimits of Order-Sorted Specifications**.

In: F. Parisi Presicce, editor,

*Recent trends in algebraic development techniques. Proc. 12th International Workshop*, volume 1376, series Lecture Notes in Computer Science, pages 316-332. Springer Verlag, London, 1998.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Combining and Representing Logical Systems Using Model-Theoretic Parchments**.

In: F. Parisi Presicce, editor,

*Recent trends in algebraic development techniques. Proc. 12th International Workshop*, volume 1376, series Lecture Notes in Computer Science, pages 349-364. Springer Verlag, London, 1998.

T. Mossakowski, A. Tarlecki and W. Pawlowski.

[doi] [abstract] [BibTeX]

**Static Semantic Analysis and Theorem Proving for C<small><small>ASL</small></small>**.

In: F. Parisi-Pressice, editor,

*Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97*, series Lecture Notes in Computer Science, pages 333-348. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, 1998.

T. Mossakowski, Kolyang and B. Krieg-Brückner.

[BibTeX]

**Standard annotations for parsers and static semantic checkers - a proposal**.

1998. CoFI note T-6.

Till Mossakowski.

[doi] [abstract] [BibTeX]

**Two "functional programming" sublanguages of CASL**.

1998. CoFI note L-9.

Till Mossakowski.

[doi] [abstract] [BibTeX]

### 1997

**Permissive Subsorted Partial Logic in CASL**.

In: M. Johnson, editor,

*Algebraic methodology and software technology, 6th international conference, AMAST 97*, series Lecture Notes in Computer Science, pages 91–107. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, 1997.

M. Cerioli, A. Haxthausen, B. Krieg-Brückner and T. Mossakowski.

[doi] [BibTeX]

**Combining and Representing Logical Systems**.

In: E. Moggi and G. Rosolini, editors,

*Category Theory and Computer Science, 7th Int. Conf.*, volume 1290, series Lecture Notes in Computer Science, pages 177-196. Springer Verlag, London, 1997.

T. Mossakowski, A. Tarlecki and W. Pawlowski.

[doi] [abstract] [BibTeX]

### 1996

**Different Types of Arrow Between Logical Frameworks**.

In: F. M. auf der Heide and B. Monien, editors,

*Proc. ICALP 96*, volume 1099, series Lecture Notes in Computer Science, pages 158-169. Springer Verlag, London, 1996.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Equivalences among various logical frameworks of partial algebras**.

In: H. K. Büning, editor,

*Computer Science Logic. 9th Workshop, CSL'95. Paderborn, Germany, September 1995, Selected Papers*, volume 1092, series Lecture Notes in Computer Science, pages 403-433. Springer Verlag, London, 1996.

T. Mossakowski.

[doi] [abstract] [BibTeX]

**Representations, hierarchies and graphs of institutions**.

PhD thesis, Universität Bremen; www.uni-bremen.de, 1996. Also appeared as book in Logos Verlag

T. Mossakowski.

[abstract] [BibTeX]

**Using limits of parchments to systematically construct institutions of partial algebras**.

In: M. Haveraaen, O. Owe and O.-J. Dahl, editors,

*Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types*, volume 1130, series Lecture Notes in Computer Science, pages 379-393. Springer Verlag, London, 1996.

T. Mossakowski.

[doi] [abstract] [BibTeX]

### 1995

**Equivalence and Difference of Institutions: Simulating Horn Clause Logic With Based Algebras**.

*Mathematical Structures in Computer Science*, 5:189-215, 1995.

H.-J. Kreowski and T. Mossakowski.

[abstract] [BibTeX]

**A Hierarchy of Institutions separated by properties of parameterized abstract data types**.

In: E. Astesiano, G. Reggio and A. Tarlecki, editors,

*Recent Trends in Data Type Specification. Proceedings*, volume 906, series Lecture Notes in Computer Science, pages 389-405. Springer Verlag, London, 1995.

T. Mossakowski.

[doi] [abstract] [BibTeX]

### 1993

**Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods**.

In: M. Nivat, C. Rattray, T. Rus and G. Scollo, editors,

*Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, 1993*, series Workshops in Computing, pages 139-146. Springer-Verlag, London, 1993. Long version appears in Theoretical Computer Science

T. Mossakowski.

[abstract] [BibTeX]

### 1992

**Spezifizierbarkeit und Berechenbarkeit parametrischer partieller Datentypen**.

1992. Diploma thesis, Universität Bremen.

T. Mossakowski.

[BibTeX]

### 1991

**Some modifications of auxiliary pushdown automata**.

*RAIRO Informatique théorique et Applications*:545-556, 1991.

G. Buntrock, F. Drewes, C. Lautemann and T. Mossakowski.

[BibTeX]

**Algebra $cup$ Topology**.

In: H. Herrlich and H.-E. Porst, editors,

*Category Theory at Work*, volume 137--148. Heldermann Verlag; Berlin, 1991.

H. Herrlich, T. Mossakowski and G. E. Strecker.

[BibTeX]

### 1988

**Programmieren in Turbo-Prolog. Theorie und Praxis der logischen Programmierung**.

1988.

T. Mossakowski, J. W. Janneck and C. Holsten.

[BibTeX]

### 1987

**Die arithmetische Komplexität der Semantik und der SLD-Bäume von logischen Programmen**.

1987. Bundeswettbewerb "Jugend forscht", 1. Preis.

T. Mossakowski.

[BibTeX]

### 1986

**Symbolische Formelmanipulation. Implementation eines LISP-Interpreters, Überlegungen zur seiteneffektfreien Programmierung**.

1986. Bundeswettbewerb "Jugend forscht".

T. Mossakowski.

[BibTeX]

### 1984

## Faculty

- Member of faculty council
- Head of institute for intelligent cooperating systems
- Leder of course of studies
*computer science*(Studiengangsleiter Informatik) - Vice chair of examination board (stellv. Vorsitzender des Prüfungssauschusses)

## Research community

- IFIP WG 1.3 Foundations of systems specification (member, chair 2010-2015)
- WADT, CALCO (member of steering committees, co-chair 2010-2015)
- CoFI: Common Framework Initiative for Algebraic Specification and Development (chair of steering committee)
- PhD Summer School: Logics of Formal Software Specification Languages Slides: CASL CASL tutorial HasCASL CoCASL SB-CASL HetCASL
- FLIRTS group:
**F**ormalisms,**L**ogics,**I**nstitutions -**R**epresenting,**T**ranslating,**S**tructuring (coordinator)

## PC memberships

- PC (co-)chair: CALCO tools 2017, FOIS competition 2014, WADT 2010, CALCO 2007
- PC memberships
- 2017: IMBSA 2017, KI 2017, FroCoS 2017, CALCO 2017, CALCO tools 2017 (chair), GCAI 2017, KESW 2017, K-CAP 2017
- 2016: KI 2016, FOIS 2016, WOMoCoE 2016, LRCM 2016, ARQNL 2016
- 2015: FroCoS 2015, IJCAI 2015, KI 2015, WoMo 2015, FOFAI 2015
- 2014: IBMSA 2014, KI 2104, FOIS 2014, FOIS 2014 competition chair, WADT 2014, ARNQL 2014
- 2013: IJCAI 2013, FroCoS 2013, CICM 2013, CALCO 2013, CALCO tools 2013, CALCO early ideas 2013, DoForm 2013, LRCM2013
- 2012: WoMO 2012, WADT 2012, SWUMA 2012
- 2011: FroCoS 2011, CALCO 2011, WoMO 2011
- 2010: AMAST 2010, MLPA 2010, WoMO 2010, WADT 2010
- 2009: CALCO 2009, MLPA-09, WoMO 2009
- 2008: AMAST 2008, WADT 2008
- 2007: FroCoS 2007, VERIFIY 07, ISWC workshop on modular ontologies 2007
- earlier: WADT 2006, MKM 2005, CSL 2004, CombLog 2004, AMiLP-3 2003, FLIRTS track at WADT 2002, FroCoS 2000

- Public GPG key
- Mossakowski
- My Erdös number is 3: Till Mossakowski, George E. Strecker, Marcel Erne, Paul Erdös
- start a healthy life

## Supervised Bachelor, Master and PhD theses

**Supervised PhD theses**- Matrin Glauer (current PhD student, topic: logics for UML and databases)
- Madhura Thosar (current PhD student, topic: tool substitution for robots)
- Maria Hedblom (current PhD student, topic: concept invention for AI using image schemas in conceptual blending)
- Eugen Kuksa (current PhD student, topic: axiom selection for theorem provers)
- Stephan Günther (current PhD student, topic: reachability logic)
- Christoph Engel (current PhD student, topic: extraction of traffic information from microblogs)
- Andre Scholz (current PhD student, topic: qualitative spatial reasoning)
- Mihai Codescu (2012). Architectural Refinement in Hets
- Dominik Lücke (2012). Qualitative Spatial Reasoning about Relative Orientation - A Question of Consistency
- Klaus Lüttich (2006). Development of Structured Ontologies in CASL
**Second referee or review committee member of PhD theses**- Armen Inants (2016). Qualitative Calculi with Heterogeneous Universes (supervisor: Dr. Jérôme Euzenat)
- Matthias Westphal (2015). Qualitative Constrained-Based Reasoning: Methods and Applications (first referee: Prof. Dr. Bernhard Nebel)
- Fulya Horozal (2014). Theories, Extensions and Translations (first referee: Prof. Dr. Michael Kohlhase)
- Dennis Chong (2011). Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel/Transitions-Netzen (first referee: Prof. Dr. Hans-Jörg Kreowski)
- Florian Rabe (2008). Representing Logics and Logic Translations (first referee: Prof. Dr. Michael Kohlhase)
- Immanuel Normann (2008). Automated Theory Interpretation (first referee: Prof. Dr. Michael Kohlhase)
- Morten P. Lindegaard (2004). Proof support for Raise. A reuse approach based on institutions (informal supervision)
- Andreas Beck (1999). The liar lies and snow is white (informal supervision)
**Supervised diploma theses**- Olaf Struß (2012). Open-Source-Modellierung und auktionsorientierte Regulierung dezentraler Energienetze
- Martin Kühl (2010). Integrating Maude into Hets
- Mingyi Liu (2008). Konsistenz-Check von CASL-Spezifikationen
- Dennis Walter (2005). Monadic Dynamic Logic: Application and Implementation
- Tina Krausser (2005). Hoare-Logik für monadische Berechnungen
- Thomas Soller (2005). Spezifikation und Integration von qualitativem Orientierungswissen
- Sonja Gröning (2005). Beweisunterstützung für HasCASL in Isabelle/HOL
**Second referee of diploma theses**- Kai Mahlmann (2012). Ein graphtransformatorischer Zugang zu Ramsey-Zahlen
- Wiebke Kukielka (2012). Implementierung und Evaluierung des kombinierten Ansatzes zum Ontologie-basierten Datenzugriff
- Thorsten Klenke (2010). Über die Entscheidbarkeit von konjunktiven Anfragen mit Ungleichheit in der Beschreibungslogik EL
- Hanns-Martin Kreie (2009). Transformation von CASL-Spezifikationen in UML-Klassendiagramme
- Ahmadullah Aminy (2008). Variants of the rush hour problem: analysis and implementation
- Heng Jiang (2008). Qualitative Formklassifikation durch die Orientierung der Segmente
- Andreas Daniel (2004). Interaktive Realisierung eines Algorithmus zur Kostenoptimierung von Flüssen (second referee, supervisor: Prof. Dr. Hans-Jörg Kreowski)
**Supervised Master theses**- Norman Günther (current master student). Modeling of inter-station communication for voltage control in UML.
- Carlo Dib (2016). Syntax Highlighting for Nested Formal Languages
- Kamlesh Koladiya (2016). Model Driven Realization for MMS Protocol
- Ramya Dirsumilli (2016). RESTful Encapsulation of OWL API
- Eugen Kuksa (2016). Driving in the Rain and Eating Cookies – Do We Need This? Logic-independent Axiom Selection for Automated Theorem Proving in Ontohub
- Martin Glauer (2015). Institution for hierarchical UML State Machines
- Tim Reddehase (2015). Ontohub Federation API. Webschnittstelle für ein Open-Ontology-Repository
- Codruta Girlea (2011). An Extended Modal Logic Institution
**Second referee of Master theses**- Sascha Graef (2016). Valogy. Ontologiebasierte Objektvalidierung in Ruby on Rails-Anwendungen
- Tim Gonschorek (2015). A Backward Model Checking Approach with Slicing
- Fabian Benduhn (2014). Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques
- Viviana Alcalde (2014). Wizard Design Patterns for enhancing the Usability and User Experience of Communtu's Website
- Peter Hansen (2013). Non-Uniform Data Complexity of Query Answering in the Presence of Weakly Guarded TDGs
**Supervised Bachelor theses**- Eileen Bolloff (2015). Von Selenium nach Cucumber - Testgenerierung durch Anwendungsnutzung
- Christopher Wennhold (2012). Quelloffene Modellierung und auktionsbasierte Regulierung dezentraler Energienetze
**Second referee of Bachelor theses**- Michael Jacobsen (2015). Navigation auf Plätzen mit Hilfe von OpenStreetMap-Daten
- Eugen Kuksa (2012). Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen
- Jet Hoe Tang (2009). AI agent for Tetris
- Omar Hentati (2009). Embedding of a Multi-Word Synonyms Module in the Information Retrieval System MorphoSaurus
- Damian Lilla, Björn Mellies (2009). Allgemeinwissen spielerisch erwerben. Emotionale Bindung an einen Spielcharakter als Element einer experimentellen Applikation
- Florian Pommerening (2008). Norms and Space: Integrating Qualitative Rules in the Situation Calculus