- High-Level Nets with Nets and Rules as Tokens Kathrin Ho mann 1 , Hartmut Ehrig 1 , and Till Mossakowski 2
- Specifications in an arbitrary institution with Till Mossakowski
- Extending development graphs with hiding Till Mossakowski 1 , Serge Autexier 2 , and Dieter Hutter 3
- Using limits of parchments to systematically construct institutions of partial algebras
- c 2009 Birkhauser Verlag Basel/Switzerland What is a Logic Translation?
- Heterogeneous colimits Mihai Codescu
- Reasoning Support for Casl with Automated Theorem Proving Systems
- J.-Y. Beziau (Ed.), Logica Universalis, 2nd edition, 111133 c 2007 Birkhauser Verlag Basel/Switzerland
- Specification of an Ontology for Route Graphs Bernd Krieg-Bruckner, Udo Frese, Klaus Luttich, Christian Mandel,
- Ontologies for the Semantic Web in Casl Klaus Luttich, Till Mossakowski and Bernd Krieg-Bruckner
- A Simple Refinement Language for CASL Till Mossakowski1
- A temporal-logic extension of role-based access control
- Foundations of Heterogeneous Specification Till Mossakowski
- Monadbased logics for computational e#ects Till Mossakowski
- Representations, Hierarchies, and Graphs of Institutions 1
- Foundations of Heterogeneous Speci cation Till Mossakowski
- A temporallogic extension of rolebased access control
- Structured CSP A Process Algebra as an Institution
- The Heterogeneous Tool Set, HETS Till Mossakowski1, Christian Maeder1, and Klaus Luttich2
- Algebraic HigherOrder Nets: Graphs and Petri Nets as Tokens
- Development Graphs --Proof Management for Structured Specifications
- Specification of ontologies in CASL * Klaus Luttich, Till Mossakowski
- Heterogeneous Specification and the Heterogeneous Tool Set
- Implementing logics: from genericity to heterogeneity
- Amalgamation in CASL via Enriched Signatures Lutz Schroder 1 , Till Mossakowski 1 , and Andrzej Tarlecki 2;3
- Extending development graphs with hiding Till Mossakowski a Serge Autexier b Dieter Hutter b
- Heterogeneous development graphs and heterogeneous borrowing
- A much better polynomial time approximation of consistency in the LR calculus
- CASL -The Common Algebraic Specification Language
- Institution Independent Static Analysis for CASL Till Mossakowski1
- The Development Graph Manager MAYA Serge Autexier 1 and Dieter Hutter 2 and Till Mossakowski 3 and Axel Schairer 2
- Amalgamation in the Semantics of CASL Lutz Schroder a;1 Till Mossakowski a;2 Andrzej Tarlecki b;c;3
- Heterogeneously Structured Ontologies Integration, Connection, and Refinement
- Heterogeneous Specification Language Summary
- Institution Independent Static Analysis for CASL ? Till Mossakowski 1 and Bartek Klin 2
- Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
- DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap
- The VSE Refinement Method in HETS Mihai Codescu1
- Monad-independent dynamic logic in HasCasl Lutz Schroder Till Mossakowski
- CASL ---the Common Algebraic Specification Till Mossakowski 1 , Anne E. Haxthausen 2 , Donald Sannella 3 , and Andrezj
- Math. Struct. in Comp. Science (1993), vol. 11, pp. 1--000 Copyright c fl Cambridge University Press
- Permissive Subsorted Partial Logic in CASL Maura Cerioli 1 , Anne Haxthausen 2 , Bernd KriegBruckner 3 , Till Mossakowski 3
- Specification with MultiModal Logics Language Summary
- Reasoning Support for Casl with Automated Theorem Proving Systems #
- Checking Amalgamability Conditions for CASL Architectural Specifications
- Different Types of Arrow Between Logical Till Mossakowski
- CASL --the Common Algebraic Specification Till Mossakowski1
- Heterogeneous development graphs and heterogeneous borrowing
- Combining and Representing Logical Systems Using ModelTheoretic Parchments ?
- CASL Specifications of Qualitative Calculi Stefan Wolfl1 and Till Mossakowski2
- Computing and Informatics, Vol. 22, 2003, 10011037 CASL --THE COMMON ALGEBRAIC SPECIFICATION
- Institution Independent Static Analysis for CASL # Till Mossakowski 1 and Bartek Klin 2
- CMCS'03 Preliminary Version CoCasl at Work |
- HETS User Guide Version 0.98
- Algebraic-coalgebraic speci cation in CoCasl Till Mossakowski a Lutz Schroder a Markus Roggenbach b
- Institutional 2cells and Grothendieck institutions
- Spezifizierbarkeit und Berechenbarkeit parametrischer partieller Datentypen
- Integrating Maude into Hets Mihai Codescu,1
- Institutional 2-cells and Grothendieck institutions
- Specification with Multi-Modal Logics Language Summary
- Structured CSP --A Process Algebra as an Institution #
- Equivalences among Various Logical Frameworks of Partial Algebras
- Semantics of Architectural Speci cations in CASL Lutz Schroder 1 , Till Mossakowski 1 , Andrzej Tarlecki 2;3 , Bartek Klin 4 , and
- Specifying Real Numbers in CASL Markus Roggenbach, Lutz Schroder, and Till Mossakowski
- Monad-independent Hoare Logic in HasCasl Lutz Schroder and Till Mossakowski
- Heterogeneous Logical Environments for Distributed Specifications
- Generic Exception Handling and the Java Monad
- PNGT'04 Preliminary Version HigherOrder Nets for Mobile Policies
- Algebraic-coalgebraic speci cation in CoCasl Till Mossakowski 1 , Horst Reichel 2 , Markus Roggenbach 1 , and Lutz Schroder 1
- Colimits of OrderSorted Specifications Till Mossakowski
- Translating OBJ3 into CASL: the Institution Level
- Amalgamation in CASL via Enriched Signatures Lutz Schroder 1 , Till Mossakowski 1 , and Andrzej Tarlecki 2;3
- Heterogeneous Specification Language Summary
- Shapes of Alignments Construction, Combination, and Computation
- TRAMWAY NETWORKS AS ROUTE GRAPHS Klaus Luttich, Bernd Krieg-Bruckner, Till Mossakowski
- A Simple Refinement Language for CASL # Till Mossakowski 1 , Donald Sannella 2 , and Andrzej Tarlecki 3
- Parameterized Recursion Theory A Tool for the Systematic Classification of Specification Methods
- Relating CASL with Other Speci cation Languages: the Institution Level 1
- Heterogeneous development graphs and heterogeneous borrowing
- Integrating Hol-Casl into the Development Graph Manager Maya
- Heterogeneous Specification and the Heterogeneous Tool Set
- HasCasl: Towards Integrated Speci cation and Development of Functional Programs
- Generic Exception Handling and the Java Monad
- Subsorted Partial HigherOrder Logic as an Extension of CASL
- Simpli ed Heterogeneous Speci cation Till Mossakowski
- CASL: From Semantics to Tools Till Mossakowski
- S Algebra Topology
- Computing and Informatics, Vol. 20, 2001, ??{??, V 2003-Aug-25 Casl | THE COMMON ALGEBRAIC SPECIFICATION
- Static Semantic Analysis and Theorem Proving Till Mossakowski, Kolyang and Bernd KriegBruckner
- A hierarchy of institutions separated by properties of parameterized abstract
- Carnap, Goguen, and the Hyperontologies Logical Pluralism and Heterogeneous Structuring in Ontology Design
- Conservativity in Structured Ontologies1 Oliver Kutz2 and Till Mossakowski3
- ONTOLOGIEBASIERTE ROUTENPLANNUNG FR EINE AKTIVITTSORIENTIERTE ELEKTRO-
- Monad-based logics for computational effects Till Mossakowski
- Algebra # Topology Horst Herrlich Till Mossakowski George E. Strecker #
- A hierarchy of institutions separated by properties of parameterized abstract
- Comorphism-based Grothendieck logics Till Mossakowski
- OSMonto -An Ontology of OpenStreetMap Tags Mihai Codescu*, Gregor Horsinka*, Oliver Kutz**
- The Onto-Logical Translation Graph Till MOSSAKOWSKI a,1
- How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications
- A Condensed Semantics for Qualitative Spatial Reasoning
- Towards a Standard for Heterogeneous Ontology Integration and Interoperability
- Qualitative Reasoning about Relative Direction of Oriented Points
- Hyperontology for the Biomedical Ontologist --A Sketch and Some Examples--
