Till Mossakowski

Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger: A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. CoRR abs/1303.4193 (2013)

Till Mossakowski, Reinhard Moratz: Qualitative reasoning about relative direction of oriented points. Artif. Intell. 180-181: 34-45 (2012)

Oliver Kutz, Janna Hastings, Till Mossakowski: Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs. AIMSA 2012: 103-111

Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger: The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. AISC/MKM/Calculemus 2012: 463-467

Till Mossakowski, Christoph Lange, Oliver Kutz: Three Semantics for the Core of the Distributed Ontology Language. FOIS 2012: 337-352

Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe: Compiling Logics. WADT 2012: 111-126

Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach: Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. WADT 2012: 178-194

Till Mossakowski, Oliver Kutz, Christoph Lange: Semantics of the Distributed Ontology Language: Institutes and Institutions. WADT 2012: 212-230

Christoph Lange, Till Mossakowski, Oliver Kutz: LoLa: A Modular Ontology of Logics, Languages, and Translations. WoMO 2012

Till Mossakowski, Hans-Jörg Kreowski (Eds.): Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Lecture Notes in Computer Science 7137, Springer 2012, isbn 978-3-642-28411-3

Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger: The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. CoRR abs/1204.5093 (2012)

Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Couto Vale: The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility. CoRR abs/1208.0293 (2012)

Reinhard Moratz, Dominik Lücke, Till Mossakowski: A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Artif. Intell. 175(16-17): 2099-2127 (2011)

Oliver Kutz, Till Mossakowski: A Modular Consistency Proof for DOLCE. AAAI 2011

Mihai Codescu, Till Mossakowski: Refinement Trees: Calculi, Tools, and Applications. CALCO 2011: 145-160

Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau: DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. GeoS 2011: 88-107

Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander García Castro, Aleksandra Sojic: Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples. ICBO 2011

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM 2011: 289-291

Till Mossakowski, Oliver Kutz: The Onto-Logical Translation Graph. WoMO 2011: 94-109

Till Mossakowski: On Teaching Logic and Algebraic Specification. ECEASST 26 (2010)

Till Mossakowski, Lutz Schröder, Sergey Goncharov: A generic complete dynamic logic for reasoning about purity and effects. Formal Asp. Comput. 22(3-4): 363-384 (2010)

Oliver Kutz, Till Mossakowski, Dominik Lücke: Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis 4(2): 255-333 (2010)

Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman: Towards Ontological Blending. AIMSA 2010: 263-264

Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder: Integrating Maude into Hets. AMAST 2010: 60-75

Serge Autexier, Dieter Hutter, Till Mossakowski: Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis 2010: 54-80

Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther: Chinese whispers and connected alignments. OM 2010

Dominik Lücke, Till Mossakowski: A much better polynomial time approximation of consistency in the LR calculus. STAIRS 2010: 175-185

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT 2010: 118-138

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova: Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT 2010: 139-159

Liam O'Reilly, Till Mossakowski, Markus Roggenbach: Compositional Modelling and Reasoning in an Institution for Processes and Data. WADT 2010: 251-269

Till Mossakowski, Reinhard Moratz: Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity. CoRR abs/1011.0098 (2010)

Till Mossakowski, Razvan Diaconescu, Andrzej Tarlecki: What is a Logic Translation? Logica Universalis 3(1): 95-124 (2009)

Lutz Schröder, Till Mossakowski: HasCasl: Integrated higher-order specification and program development. Theor. Comput. Sci. 410(12-13): 1217-1260 (2009)

Sergey Goncharov, Lutz Schröder, Till Mossakowski: Kleene Monads: Handling Iteration in a Framework of Generic Effects. CALCO 2009: 18-33

Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski: The VSE Refinement Method in Hets. ICFEM 2009: 660-678

Reinhard Moratz, Dominik Lücke, Till Mossakowski: Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects. CoRR abs/0912.5533 (2009)

Oliver Kutz, Till Mossakowski: Conservativity in Structured Ontologies. ECAI 2008: 89-93

Till Mossakowski, Lutz Schröder, Sergey Goncharov: A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE 2008: 199-214

Mihai Codescu, Till Mossakowski: Heterogeneous colimits. ICST Workshops 2008: 131-140

Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann: The OWL in the CASL - Designing Ontologies Across Logics. OWLED 2008

Dominik Lücke, Till Mossakowski, Diedrich Wolter: Qualitative Reasoning about Convex Relations. Spatial Cognition 2008: 426-440

Till Mossakowski, Andrzej Tarlecki: Heterogeneous Logical Environments for Distributed Specifications. WADT 2008: 266-289

Oliver Kutz, Till Mossakowski, Mihai Codescu: Shapes of Alignments - Construction, Combination, and Computation. WoMO 2008

Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder: An Institutional View on Categorical Logic. Int. J. Software and Informatics 1(1): 129-152 (2007)

Till Mossakowski, Christian Maeder, Klaus Lüttich: The Heterogeneous Tool Set (Hets). VERIFY 2007

Stefan Wölfl, Till Mossakowski, Lutz Schröder: Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. FLAIRS Conference 2007: 665-670

Oliver Kutz, Till Mossakowski: Modules in Transition - Conservativity, Composition, and Colimits. WoMO 2007

Till Mossakowski, Christian Maeder, Klaus Lüttich: The Heterogeneous Tool Set, Hets. TACAS 2007: 519-522

Till Mossakowski, Ugo Montanari, Magne Haveraaen (Eds.): Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings. Lecture Notes in Computer Science 4624, Springer 2007, isbn 978-3-540-73857-2

Till Mossakowski, Serge Autexier, Dieter Hutter: Development graphs - Proof management for structured specifications. J. Log. Algebr. Program. 67(1-2): 114-145 (2006)

Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel: Algebraic-coalgebraic specification in CoCasl. J. Log. Algebr. Program. 67(1-2): 146-197 (2006)

Daniel Hausmann, Till Mossakowski, Lutz Schröder: A coalgebraic approach to the semantics of the ambient calculus. Theor. Comput. Sci. 366(1-2): 121-143 (2006)

Till Mossakowski: Monad-Based Logics for Computational Effects. AMAST 2006: 3-4

Till Mossakowski: Institutional 2-cells and Grothendieck Institutions. Essays Dedicated to Joseph A. Goguen 2006: 124-149

Sergey Goncharov, Lutz Schröder, Till Mossakowski: Completeness of Global Evaluation Logic. MFCS 2006: 447-458

Klaus Lüttich, Till Mossakowski: Reasoning Support for Caslwith Automated Theorem Proving Systems. WADT 2006: 74-91

Till Mossakowski, Markus Roggenbach: Structured CSP - A Process Algebra as an Institution. WADT 2006: 92-110

Lutz Schröder, Till Mossakowski: Coalgebraic Modal Logic in CoCasl. WADT 2006: 127-141

Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce: Higher-Order Nets for Mobile Policies. Electr. Notes Theor. Comput. Sci. 127(2): 87-105 (2005)

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Amalgamation in the semantics of CASL. Theor. Comput. Sci. 331(1): 215-247 (2005)

Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski: High-Level Nets with Nets and Rules as Tokens. ICATPN 2005: 268-288

Daniel Hausmann, Till Mossakowski, Lutz Schröder: Towards a Coalgebraic Semantics of the Ambient Calculus. CALCO 2005: 232-246

Dennis Walter, Lutz Schröder, Till Mossakowski: Parametrized Exceptions. CALCO 2005: 424-438

Stefan Wölfl, Till Mossakowski: Casl Specifications of Qualitative Calculi. COSIT 2005: 200-217

Till Mossakowski: Heterogeneous Theories and the Heterogeneous Tool Set. Semantic Interoperability and Integration 2005

Stefan Wölfl, Till Mossakowski, Lutz Schröder: Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. Spatial Cognition: Specialization and Integration 2005

Daniel Hausmann, Till Mossakowski, Lutz Schröder: Iterative Circular Coinduction for CoCasl in Isabelle/HOL. FASE 2005: 341-356

Lutz Schröder, Till Mossakowski: Monad-independent Dynamic Logic in HasCasl. J. Log. Comput. 14(4): 571-619 (2004)

Lutz Schröder, Till Mossakowski: Generic Exception Handling and the Java Monad. AMAST 2004: 443-459

Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski, Robert J. Ross: Specification of an Ontology for Route Graphs. Spatial Cognition 2004: 390-412

Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner: Ontologies for the Semantic Web in Casl. WADT 2004: 106-125

Till Mossakowski, Donald Sannella, Andrzej Tarlecki: A Simple Refinement Language for Casl. WADT 2004: 162-185

Lutz Schröder, Till Mossakowski, Christoph Lüth: Type Class Polymorphism in an Institutional Framework. WADT 2004: 234-251

Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki: Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. Computers and Artificial Intelligence 22(3-4): 285-321 (2003)

Till Mossakowski, Markus Roggenbach, Lutz Schröder: CoCASL at Work -- Modelling Process Algebra. Electr. Notes Theor. Comput. Sci. 82(1): 206-220 (2003)

Lutz Schröder, Till Mossakowski: Monad-Independent Hoare Logic in HASCASL. FASE 2003: 261-277

Till Mossakowski, Michael Drouineaud, Karsten Sohr: A temporal-logic extension of role-based access control covering dynamic separation of duties. TIME 2003: 83-90

Till Mossakowski: Relating CASL with other specification languages: the institution level. Theor. Comput. Sci. 286(2): 367-475 (2002)

Lutz Schröder, Till Mossakowski: HASCASL: Towards Integrated Specification and Development of Functional Programs. AMAST 2002: 99-116

Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer: The Development Graph Manager MAYA. AMAST 2002: 495-501

Till Mossakowski: Heterogeneous Development Graphs and Heterogeneous Borrowing. FoSSaCS 2002: 326-341

Serge Autexier, Till Mossakowski: Integrating HOL-CASL into the Development Graph Manager MAYA. FroCoS 2002: 2-17

Till Mossakowski: Comorphism-Based Grothendieck Logics. MFCS 2002: 593-604

Kathrin Hoffmann, Till Mossakowski: Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. WADT 2002: 253-267

Till Mossakowski: Foundations of Heterogeneous Specification. WADT 2002: 359-375

Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder: Algebraic-Coalgebraic Specification in Co Casl. WADT 2002: 376-392

Lutz Schröder, Till Mossakowski: Monad-Independent Dynamic Logic in Has Casl. WADT 2002: 425-441

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Semantics of Architectural Specifications in CASL. FASE 2001: 253-268

Till Mossakowski, Serge Autexier, Dieter Hutter: Extending Development Graphs with Hiding. FASE 2001: 269-283

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki: Amalgamation in CASL via Enriched Signatures. ICALP 2001: 993-1004

Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski: Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS 2001: 451-463

Till Mossakowski, Bartek Klin: Institution Independent Static Analysis for CASL. WADT 2001: 221-237

Till Mossakowski: CASL: From Semantics to Tools. TACAS 2000: 93-108

Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner: Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT 1999: 126-145

Markus Roggenbach, Lutz Schröder, Till Mossakowski: Specifying Real Numbers in CASL. WADT 1999: 146-161

Till Mossakowski: Specifications in an Arbitrary Institution with Symbols. WADT 1999: 252-270

Till Mossakowski: Translationg OBJ3 into CASL: The Institution Level. WADT 1998: 198-215

Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski: Permissive Subsorted Partial Logic in CASL. AMAST 1997: 91-107

Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski: Combining and Representing Logical Systems. Category Theory and Computer Science 1997: 177-196

Till Mossakowski: Colimits of order-sorted specifications. WADT 1997: 316-332

Till Mossakowski, Kolyang, Bernd Krieg-Brückner: Static semantic analysis and theorem proving for CASL. WADT 1997: 333-348

Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski: Combining and representing logical systems using model-theoretic parchments. WADT 1997: 349-364

Till Mossakowski: Different Types of Arrow Between Logical Frameworks. ICALP 1996: 158-169

Hans-Jörg Kreowski, Till Mossakowski: Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. Mathematical Structures in Computer Science 5(2): 189-215 (1995)

Till Mossakowski: Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. COMPASS/ADT 1995: 379-393

Till Mossakowski: Equivalences among Various Logical Frameworks of Partial Algebras. CSL 1995: 403-433

Till Mossakowski: A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. COMPASS/ADT 1994: 389-405

Till Mossakowski: Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods. AMAST 1993: 137-144