default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTill Mossakowski
Person information
- affiliation: Otto von Guericke University of Magdeburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j33]Martin Glauer, Adel Memariani, Fabian Neuhaus, Till Mossakowski, Janna Hastings:
Interpretable ontology extension in chemistry. Semantic Web 15(4): 937-958 (2024)- [c123]Simon Flügel
, Martin Glauer, Till Mossakowski, Fabian Neuhaus:
A Fuzzy Loss for Ontology Classification. NeSy (1) 2024: 101-118 - [i24]Simon Flügel, Martin Glauer, Till Mossakowski, Fabian Neuhaus:
A semantic loss for ontology classification. CoRR abs/2405.02083 (2024) - 2023
- [c122]Björn Gehrke, Till Mossakowski:
Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax. Description Logics 2023 - [c121]Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings:
Ontology Pre-training for Poison Prediction. KI 2023: 31-45 - [p3]Martin Glauer, Till Mossakowski, Fabian Neuhaus, Adel Memariani, Janna Hastings:
Neuro-Symbolic Semantic Learning for Chemistry. Compendium of Neurosymbolic Artificial Intelligence 2023: 460-484 - [i23]Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings:
Ontology Pre-training for Poison Prediction. CoRR abs/2301.08577 (2023) - 2022
- [c120]Till Mossakowski:
Modular Design Patterns for Neural-symbolic Integration: Refinement and Combination. NeSy 2022: 192-201 - [e6]Tiago Prince Sales, Maria M. Hedblom, He Tan, Guendalina Righetti, Oliver Kutz, Martin Glauer, Janna Hastings, Till Mossakowski, Fabian Neuhaus, Lucía Gómez Álvarez, Rafael Peñaloza, Srdjan Vesic, Claudenir Morais Fonseca, Jona Thai, Stefano Borgo, Damion M. Dooley, Rhiannon Cameron, Lauren E. Chan, Duccio Cavalieri, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Fernanda Forea, Francesco Vitali, Bart Gajderowicz, Daniela Rosu, Aldo Gangemi, Robert Porzel, Daniel Beßler, Mihai Pomarlan, Mohammed Diab, Alberto Olivares Alarcos:
Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden, August 15-19, 2022. CEUR Workshop Proceedings 3249, CEUR-WS.org 2022 [contents] - [i22]Till Mossakowski:
Modular design patterns for neural-symbolic integration: refinement and combination. CoRR abs/2206.04724 (2022) - 2021
- [j32]Janna Hastings, Martin Glauer, Adel Memariani, Fabian Neuhaus, Till Mossakowski:
Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification. J. Cheminformatics 13(1): 23 (2021) - [c119]Adel Memariani, Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings:
Automated and Explainable Ontology Extension based on Deep Learning: A Case Study in the Chemical Domain. DAO-XAI 2021 - [c118]Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu:
Generic Ontology Design Patterns: Roles and Change Over Time. WOP (Book) 2021: 25-47 - [i21]Adel Memariani, Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings:
Automated and Explainable Ontology Extension Based on Deep Learning: A Case Study in the Chemical Domain. CoRR abs/2109.09202 (2021) - 2020
- [c117]Madhura Thosar, Christian A. Mueller, Georg Jäger, Max Pfingsthorn, Michael Beetz, Sebastian Zug, Till Mossakowski:
Substitute selection for a missing tool using robot-centric conceptual knowledge of objects. SAC 2020: 972-979 - [e5]Karl Hammar, Oliver Kutz, Anastasia Dimou, Torsten Hahmann, Robert Hoehndorf, Claudio Masolo, Randi Vita, Sarra Ben Abbès, Rim Hantach, Philippe Calvez, Tiago Prince Sales, Daniele Porello, Daniel Beßler, Stefano Borgo, Mohammed Diab, Aldo Gangemi, Alberto Olivares Alarcos, Mihai Pomarlan, Robert Porzel, Martin G. Skjæveland, Daniel P. Lupp, Ian Horrocks, Johan W. Klüwer, Christian Kindermann, Loris Bozzato, Till Mossakowski, Luciano Serafini:
Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), Virtual & Bozen-Bolzano, Italy, August 31st to October 7th, 2020. CEUR Workshop Proceedings 2708, CEUR-WS.org 2020 [contents] - [i20]Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu:
Generic Ontology Design Patterns: Roles and Change over Time. CoRR abs/2011.09353 (2020)
2010 – 2019
- 2019
- [j31]Till Mossakowski, Razvan Diaconescu, Martin Glauer:
Towards Fuzzy Neural Conceptors. FLAP 6(4): 725-744 (2019) - [c116]Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski:
Extensions of Generic DOL for Generic Ontology Design Patterns. JOWO 2019 - [c115]Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus:
Generic Ontology Design Patterns at Work. JOWO 2019 - [i19]Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski:
Extensions of Generic DOL for Generic Ontology Design Patterns. CoRR abs/1906.06275 (2019) - [i18]Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus:
Generic Ontology Design Patterns at Work. CoRR abs/1906.08724 (2019) - 2018
- [j30]Till Mossakowski, Bernd Krieg-Brückner:
Partial pushout semantics of generics in DOL. Theor. Comput. Sci. 741: 58-70 (2018) - [c114]Alexander Knapp, Till Mossakowski:
Multi-view Consistency in UML: A Survey. Graph Transformation, Specifications, and Nets 2018: 37-60 - [c113]Martin Glauer, Till Mossakowski:
Institutions for SQL Database Schemas and Datasets. WADT 2018: 67-86 - [p2]Mihai Codescu, Fabian Neuhaus, Till Mossakowski, Oliver Kutz, Danny de Jesús Gómez-Ramírez:
Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution. Concept Invention 2018: 69-96 - [e4]Kristijonas Cyras, Tiago Oliveira, Matthew Williams, Loris Bozzato, Martin Homola, Till Mossakowski, Antoine Zimmermann:
Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, USA, October 29th, 2018. CEUR Workshop Proceedings 2237, CEUR-WS.org 2018 [contents] - [i17]Till Mossakowski, Fabian Neuhaus:
Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs. CoRR abs/1807.06685 (2018) - 2017
- [j29]Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
Ontohub: A semantic repository engine for heterogeneous ontologies. Appl. Ontology 12(3-4): 275-298 (2017) - [j28]Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven, Diedrich Wolter:
A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties. ACM Comput. Surv. 50(1): 7:1-7:39 (2017) - [j27]Mihai Codescu, Till Mossakowski, Oliver Kutz:
A Categorical Approach to Networks of Aligned Ontologies. J. Data Semant. 6(4): 155-197 (2017) - [j26]Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
Specification refinements: Calculi, tools, and applications. Sci. Comput. Program. 144: 1-49 (2017) - [c112]Maria M. Hedblom, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement. AI*IA 2017: 256-268 - [c111]Alexander Knapp, Till Mossakowski:
UML Interactions Meet State Machines - An Institutional Approach. CALCO 2017: 15:1-15:15 - [c110]Marcus Thiel, Philipp Ludwig, Till Mossakowski, Fabian Neuhaus, Andreas Nürnberger:
Web-Retrieval Supported Argument Space Exploration. CHIIR 2017: 309-312 - [c109]Till Mossakowski, Reinhard Moratz:
Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract). IJCAI 2017: 5040-5044 - [c108]Bernd Krieg-Brückner, Till Mossakowski:
Generic Ontologies and Generic Ontology Design Patterns. WOP@ISWC 2017 - [i16]Till Mossakowski, Florian Rabe, Mihai Codescu:
Canonical Selection of Colimits. CoRR abs/1705.09363 (2017) - 2016
- [j25]Daniel Calegari, Till Mossakowski, Nora Szasz:
Heterogeneous verification in the context of model driven engineering. Sci. Comput. Program. 126: 3-30 (2016) - [j24]Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini:
Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes. Semantic Web 7(1): 25-61 (2016) - [c107]Eugen Kuksa, Till Mossakowski:
Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub. PAAR@IJCAR 2016: 56-68 - [c106]Ramya Dirsumilli, Till Mossakowski:
RESTful Encapsulation of OWL API. DATA 2016: 150-157 - [c105]Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu:
Ontology Patterns with DOWL: The Case of Blending. Description Logics 2016 - [c104]Eugen Kuksa, Till Mossakowski:
Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies. JOWO@FOIS 2016 - [c103]Till Mossakowski:
The Distributed Ontology, Model and Specification Language - DOL. WADT 2016: 5-10 - [c102]Till Mossakowski, Florian Rabe, Mihai Codescu:
Canonical Selection of Colimits. WADT 2016: 170-188 - [e3]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, Jean-Rémi Bourguet:
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 1660, CEUR-WS.org 2016 [contents] - [i15]Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven, Diedrich Wolter:
A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties. CoRR abs/1606.00133 (2016) - [i14]Alexander Knapp, Till Mossakowski:
Multi-view Consistency in UML. CoRR abs/1610.03960 (2016) - [i13]Till Mossakowski, Fabian Neuhaus:
Bipolar Weighted Argumentation Graphs. CoRR abs/1611.08572 (2016) - [i12]Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
Ontohub: A semantic repository for heterogeneous ontologies. CoRR abs/1612.05028 (2016) - 2015
- [j23]Till Mossakowski, Lutz Schröder:
On Inconsistency and Unsatisfiability. Int. J. Softw. Informatics 9(2): 141-152 (2015) - [j22]Till Mossakowski, Reinhard Moratz:
Relations Between Spatial Calculi About Directions and Orientations. J. Artif. Intell. Res. 54: 277-308 (2015) - [c101]Alexander Knapp, Till Mossakowski, Markus Roggenbach:
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. Software, Services, and Systems 2015: 215-230 - [c100]Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
Modularity of Ontologies in an Arbitrary Institution. Logic, Rewriting, and Concurrency 2015: 361-379 - [c99]Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer:
An Institution for Simple UML State Machines. FASE 2015: 3-18 - [i11]Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini:
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print). CoRR abs/1512.03899 (2015) - 2014
- [j21]Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki:
The Institution-Theoretic Scope of Logic Theorems. Logica Universalis 8(3-4): 393-406 (2014) - [c98]Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki:
Parchments for CafeOBJ Logics. Specification, Algebra, and Software 2014: 66-91 - [c97]Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger:
Proof Support for Common Logic. ARQNL@IJCAR 2014: 42-58 - [c96]Till Mossakowski, Andrzej Tarlecki:
A Relatively Complete Calculus for Structured Heterogeneous Specifications. FoSSaCS 2014: 441-456 - [c95]Oliver Kutz, Fabian Neuhaus, Till Mossakowski, Mihai Codescu:
Blending in the Hub. ICCC 2014: 297-305 - [c94]Daniel Calegari, Till Mossakowski, Nora Szasz:
Model-Driven Engineering in the Heterogeneous Tool Set. SBMF 2014: 64-79 - [c93]Mihai Codescu, Till Mossakowski, Oliver Kutz:
A categorical approach to ontology alignment. OM 2014: 1-12 - [c92]Till Mossakowski, Ulf Krumnack, Tom Maibaum:
What Is a Derived Signature Morphism? WADT 2014: 90-109 - [i10]Alexander Knapp, Till Mossakowski, Markus Roggenbach:
An Institutional Framework for Heterogeneous Formal Development in UML. CoRR abs/1403.7747 (2014) - [i9]Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer:
An Institution for Simple UML State Machines. CoRR abs/1411.4495 (2014) - 2013
- [j20]Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein:
The VSE Refinement Method in Hets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013) - [j19]Till Mossakowski, Markus Roggenbach, Lutz Schröder:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013) - [c91]Mihai Codescu, Till Mossakowski, Christian Maeder:
Checking Conservativity with Hets. CALCO 2013: 315-321 - [c90]Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter:
Algebraic Properties of Qualitative Spatio-temporal Calculi. COSIT 2013: 516-536 - [c89]Till Mossakowski, Christoph Lange, Oliver Kutz:
Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract). IJCAI 2013: 3027-3031 - [c88]André van Delden, Till Mossakowski:
- Mastering Left and Right - Different Approaches to a Problem That Is Not Straight Forward. KI 2013: 248-259 - [c87]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. MKM/Calculemus/DML 2013: 200-215 - [c86]Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange:
The Distributed Ontology, Modeling and Specification Language. WoMO 2013 - [i8]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) - [i7]Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter:
Algebraic Properties of Qualitative Spatio-Temporal Calculi. CoRR abs/1305.7345 (2013) - 2012
- [j18]Till Mossakowski, Reinhard Moratz:
Qualitative reasoning about relative direction of oriented points. Artif. Intell. 180-181: 34-45 (2012) - [c85]Oliver Kutz, Janna Hastings, Till Mossakowski:
Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs. AIMSA 2012: 103-111 - [c84]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 - [c83]Till Mossakowski, Christoph Lange, Oliver Kutz:
Three Semantics for the Core of the Distributed Ontology Language. FOIS 2012: 337-352 - [c82]Mihai Codescu, Daniel Couto Vale, Oliver Kutz, Till Mossakowski:
Ontology-based Route Planning for OpenStreetMap. Terra Cognita@ISWC 2012: 62-73 - [c81]Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe:
Compiling Logics. WADT 2012: 111-126 - [c80]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 - [c79]Till Mossakowski, Oliver Kutz, Christoph Lange:
Semantics of the Distributed Ontology Language: Institutes and Institutions. WADT 2012: 212-230 - [c78]Christoph Lange, Till Mossakowski, Oliver Kutz:
LoLa: A Modular Ontology of Logics, Languages, and Translations. WoMO 2012 - [e2]Till Mossakowski, Hans-Jörg Kreowski:
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 [contents] - [i6]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) - [i5]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) - 2011
- [j17]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) - [c77]Oliver Kutz, Till Mossakowski:
A Modular Consistency Proof for DOLCE. AAAI 2011: 227-234 - [c76]Mihai Codescu, Till Mossakowski:
Refinement Trees: Calculi, Tools, and Applications. CALCO 2011: 145-160 - [c75]Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau:
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. GeoS 2011: 88-107 - [c74]Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander García Castro, Aleksandra Sojic:
Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples. ICBO 2011 - [c73]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM 2011: 289-291 - [c72]Till Mossakowski, Oliver Kutz:
The Onto-Logical Translation Graph. WoMO 2011: 94-109 - 2010
- [j16]Till Mossakowski:
On Teaching Logic and Algebraic Specification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [j15]Till Mossakowski, Lutz Schröder, Sergey Goncharov:
A generic complete dynamic logic for reasoning about purity and effects. Formal Aspects Comput. 22(3-4): 363-384 (2010) - [j14]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) - [c71]Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman:
Towards Ontological Blending. AIMSA 2010: 263-264 - [c70]Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder:
Integrating Maude into Hets. AMAST 2010: 60-75 - [c69]Serge Autexier, Dieter Hutter, Till Mossakowski:
Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis 2010: 54-80 - [c68]Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther:
Chinese whispers and connected alignments. OM 2010 - [c67]Dominik Lücke, Till Mossakowski:
A much better polynomial time approximation of consistency in the LR calculus. STAIRS 2010: 175-185 - [c66]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT 2010: 118-138 - [c65]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova:
Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT 2010: 139-159 - [c64]Liam O'Reilly, Till Mossakowski, Markus Roggenbach:
Compositional Modelling and Reasoning in an Institution for Processes and Data. WADT 2010: 251-269 - [i4]Till Mossakowski, Reinhard Moratz:
Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity. CoRR abs/1011.0098 (2010)
2000 – 2009
- 2009
- [j13]Till Mossakowski, Razvan Diaconescu, Andrzej Tarlecki:
What is a Logic Translation? Logica Universalis 3(1): 95-124 (2009) - [j12]Lutz Schröder, Till Mossakowski:
HasCasl: Integrated higher-order specification and program development. Theor. Comput. Sci. 410(12-13): 1217-1260 (2009) - [c63]Sergey Goncharov, Lutz Schröder, Till Mossakowski:
Kleene Monads: Handling Iteration in a Framework of Generic Effects. CALCO 2009: 18-33 - [c62]Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski:
The VSE Refinement Method in Hets. ICFEM 2009: 660-678 - [i3]Reinhard Moratz, Dominik Lücke, Till Mossakowski:
Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects. CoRR abs/0912.5533 (2009) - 2008
- [c61]Oliver Kutz, Till Mossakowski:
Conservativity in Structured Ontologies. ECAI 2008: 89-93 - [c60]Till Mossakowski, Lutz Schröder, Sergey Goncharov:
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE 2008: 199-214 - [c59]Mihai Codescu, Till Mossakowski:
Heterogeneous colimits. ICST Workshops 2008: 131-140 - [c58]Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann:
The OWL in the CASL - Designing Ontologies Across Logics. OWLED 2008 - [c57]Dominik Lücke, Till Mossakowski, Diedrich Wolter:
Qualitative Reasoning about Convex Relations. Spatial Cognition 2008: 426-440 - [c56]Till Mossakowski, Andrzej Tarlecki:
Heterogeneous Logical Environments for Distributed Specifications. WADT 2008: 266-289 - [c55]Oliver Kutz, Till Mossakowski, Mihai Codescu:
Shapes of Alignments - Construction, Combination, and Computation. WoMO 2008 - 2007
- [j11]Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder:
An Institutional View on Categorical Logic. Int. J. Softw. Informatics 1(1): 129-152 (2007) - [j10]John A. Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo, Till Mossakowski:
Ontological Modularity and Spatial Diversity. Spatial Cogn. Comput. 7(1): 97-128 (2007) - [c54]Till Mossakowski, Christian Maeder, Klaus Lüttich:
The Heterogeneous Tool Set (Hets). VERIFY 2007 - [c53]Stefan Wölfl, Till Mossakowski, Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. FLAIRS 2007: 665-670 - [c52]Oliver Kutz, Till Mossakowski:
Modules in Transition - Conservativity, Composition, and Colimits. WoMO 2007 - [c51]Till Mossakowski, Christian Maeder, Klaus Lüttich:
The Heterogeneous Tool Set, Hets. TACAS 2007: 519-522 - [e1]Till Mossakowski, Ugo Montanari, Magne Haveraaen:
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 [contents] - 2006
- [j9]Till Mossakowski, Serge Autexier, Dieter Hutter:
Development graphs - Proof management for structured specifications. J. Log. Algebraic Methods Program. 67(1-2): 114-145 (2006) - [j8]Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel:
Algebraic-coalgebraic specification in CoCasl. J. Log. Algebraic Methods Program. 67(1-2): 146-197 (2006) - [j7]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) - [c50]Till Mossakowski:
Monad-Based Logics for Computational Effects. AMAST 2006: 3-4 - [c49]Till Mossakowski:
Institutional 2-cells and Grothendieck Institutions. Essays Dedicated to Joseph A. Goguen 2006: 124-149 - [c48]Sergey Goncharov, Lutz Schröder, Till Mossakowski:
Completeness of Global Evaluation Logic. MFCS 2006: 447-458 - [c47]Klaus Lüttich, Till Mossakowski:
Reasoning Support for Caslwith Automated Theorem Proving Systems. WADT 2006: 74-91 - [c46]Till Mossakowski, Markus Roggenbach:
Structured CSP - A Process Algebra as an Institution. WADT 2006: 92-110 - [c45]Lutz Schröder, Till Mossakowski:
Coalgebraic Modal Logic in CoCasl. WADT 2006: 127-141 - 2005
- [j6]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) - [c44]Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski:
High-Level Nets with Nets and Rules as Tokens. ICATPN 2005: 268-288 - [c43]Daniel Hausmann, Till Mossakowski, Lutz Schröder:
Towards a Coalgebraic Semantics of the Ambient Calculus. CALCO 2005: 232-246 - [c42]Dennis Walter, Lutz Schröder, Till Mossakowski:
Parametrized Exceptions. CALCO 2005: 424-438 - [c41]Stefan Wölfl, Till Mossakowski:
Casl Specifications of Qualitative Calculi. COSIT 2005: 200-217 - [c40]Daniel Hausmann, Till Mossakowski, Lutz Schröder:
Iterative Circular Coinduction for CoCasl in Isabelle/HOL. FASE 2005: 341-356 - [i2]Till Mossakowski:
Heterogeneous Theories and the Heterogeneous Tool Set. Semantic Interoperability and Integration 2005 - [i1]Stefan Wölfl, Till Mossakowski, Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. Spatial Cognition: Specialization and Integration 2005 - 2004
- [j5]Lutz Schröder, Till Mossakowski:
Monad-independent Dynamic Logic in HasCasl. J. Log. Comput. 14(4): 571-619 (2004) - [c39]Lutz Schröder, Till Mossakowski:
Generic Exception Handling and the Java Monad. AMAST 2004: 443-459 - [c38]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 - [c37]Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner:
Ontologies for the Semantic Web in Casl. WADT 2004: 106-125 - [c36]Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
A Simple Refinement Language for Casl. WADT 2004: 162-185 - [c35]Lutz Schröder, Till Mossakowski, Christoph Lüth:
Type Class Polymorphism in an Institutional Framework. WADT 2004: 234-251 - [c34]Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce:
Higher-Order Nets for Mobile Policies. PNGT@ICGT 2004: 87-105 - 2003
- [j4]Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrzej Tarlecki:
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. Comput. Artif. Intell. 22(3-4): 285-321 (2003) - [c33]Lutz Schröder, Till Mossakowski:
Monad-Independent Hoare Logic in HASCASL. FASE 2003: 261-277 - [c32]Till Mossakowski, Michael Drouineaud, Karsten Sohr:
A temporal-logic extension of role-based access control covering dynamic separation of duties. TIME 2003: 83-90 - [c31]Till Mossakowski, Markus Roggenbach, Lutz Schröder:
CoCASL at Work -- Modelling Process Algebra. CMCS 2003: 206-220 - 2002
- [b1]Till Mossakowski:
Representations, hierarchies and graphs of institutions. University of Bremen, Germany, Logos-Verlag 2002, ISBN 978-3-89722-831-3, pp. 1-203 - [j3]Till Mossakowski:
Relating CASL with other specification languages: the institution level. Theor. Comput. Sci. 286(2): 367-475 (2002) - [c30]Lutz Schröder, Till Mossakowski:
HASCASL: Towards Integrated Specification and Development of Functional Programs. AMAST 2002: 99-116 - [c29]Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer:
The Development Graph Manager MAYA. AMAST 2002: 495-501 - [c28]Till Mossakowski:
Heterogeneous Development Graphs and Heterogeneous Borrowing. FoSSaCS 2002: 326-341 - [c27]Serge Autexier, Till Mossakowski:
Integrating HOL-CASL into the Development Graph Manager MAYA. FroCoS 2002: 2-17 - [c26]Till Mossakowski:
Comorphism-Based Grothendieck Logics. MFCS 2002: 593-604 - [c25]Kathrin Hoffmann, Till Mossakowski:
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. WADT 2002: 253-267 - [c24]Till Mossakowski:
Foundations of Heterogeneous Specification. WADT 2002: 359-375 - [c23]Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder:
Algebraic-Coalgebraic Specification in Co Casl. WADT 2002: 376-392 - [c22]Lutz Schröder, Till Mossakowski:
Monad-Independent Dynamic Logic in Has Casl. WADT 2002: 425-441 - 2001
- [c21]Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman:
Semantics of Architectural Specifications in CASL. FASE 2001: 253-268 - [c20]Till Mossakowski, Serge Autexier, Dieter Hutter:
Extending Development Graphs with Hiding. FASE 2001: 269-283 - [c19]Lutz Schröder, Till Mossakowski, Andrzej Tarlecki:
Amalgamation in CASL via Enriched Signatures. ICALP 2001: 993-1004 - [c18]Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski:
Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS 2001: 451-463 - [c17]Till Mossakowski, Bartek Klin:
Institution Independent Static Analysis for CASL. WADT 2001: 221-237 - 2000
- [c16]Till Mossakowski:
CASL: From Semantics to Tools. TACAS 2000: 93-108
1990 – 1999
- 1999
- [c15]Till Mossakowski, Anne E. Haxthausen, Bernd Krieg-Brückner:
Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT 1999: 126-145 - [c14]Markus Roggenbach, Lutz Schröder, Till Mossakowski:
Specifying Real Numbers in CASL. WADT 1999: 146-161 - [c13]Till Mossakowski:
Specifications in an Arbitrary Institution with Symbols. WADT 1999: 252-270 - [p1]Maura Cerioli, Till Mossakowski, Horst Reichel:
From Total Equational to Partial First-Order Logic. Algebraic Foundations of Systems Specification 1999: 31-104 - 1998
- [c12]Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski:
Categorial Fibring of Logics with Terms and Binding Operators. FroCoS 1998: 295-316 - [c11]Till Mossakowski:
Translationg OBJ3 into CASL: The Institution Level. WADT 1998: 198-215 - 1997
- [c10]Maura Cerioli, Anne E. Haxthausen, Bernd Krieg-Brückner, Till Mossakowski:
Permissive Subsorted Partial Logic in CASL. AMAST 1997: 91-107 - [c9]Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski:
Combining and Representing Logical Systems. Category Theory and Computer Science 1997: 177-196 - [c8]Till Mossakowski:
Colimits of order-sorted specifications. WADT 1997: 316-332 - [c7]Till Mossakowski, Kolyang, Bernd Krieg-Brückner:
Static semantic analysis and theorem proving for CASL. WADT 1997: 333-348 - [c6]Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski:
Combining and representing logical systems using model-theoretic parchments. WADT 1997: 349-364 - 1996
- [c5]Till Mossakowski:
Different Types of Arrow Between Logical Frameworks. ICALP 1996: 158-169 - 1995
- [j2]Hans-Jörg Kreowski, Till Mossakowski:
Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. Math. Struct. Comput. Sci. 5(2): 189-215 (1995) - [c4]Till Mossakowski:
Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. COMPASS/ADT 1995: 379-393 - [c3]Till Mossakowski:
Equivalences among Various Logical Frameworks of Partial Algebras. CSL 1995: 403-433 - 1994
- [c2]Till Mossakowski:
A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. COMPASS/ADT 1994: 389-405 - 1993
- [c1]Till Mossakowski:
Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods. AMAST 1993: 137-144 - 1991
- [j1]Gerhard Buntrock, Frank Drewes, Clemens Lautemann, Till Mossakowski:
Some modifications of auxiliary pushdown automata. RAIRO Theor. Informatics Appl. 25: 545-556 (1991)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
