| 2009 |
|---|
| 69 | EE | Lutz Schröder,
Till Mossakowski:
HasCasl: Integrated higher-order specification and program development.
Theor. Comput. Sci. 410(12-13): 1217-1260 (2009) |
| 2008 |
|---|
| 68 | EE | Oliver Kutz,
Till Mossakowski:
Conservativity in Structured Ontologies.
ECAI 2008: 89-93 |
| 67 | EE | Till Mossakowski,
Lutz Schröder,
Sergey Goncharov:
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.
FASE 2008: 199-214 |
| 66 | EE | Oliver Kutz,
Dominik Lücke,
Till Mossakowski,
Immanuel Normann:
The OWL in the CASL - Designing Ontologies Across Logics.
OWLED 2008 |
| 65 | EE | Dominik Lücke,
Till Mossakowski,
Diedrich Wolter:
Qualitative Reasoning about Convex Relations.
Spatial Cognition 2008: 426-440 |
| 2007 |
|---|
| 64 | | Till Mossakowski,
Ugo Montanari,
Magne Haveraaen:
Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Springer 2007 |
| 63 | | Stefan Wölfl,
Till Mossakowski,
Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.
FLAIRS Conference 2007: 665- |
| 62 | EE | Till Mossakowski,
Christian Maeder,
Klaus Lüttich:
The Heterogeneous Tool Set, Hets.
TACAS 2007: 519-522 |
| 61 | EE | Till Mossakowski,
Christian Maeder,
Klaus Lüttich:
The Heterogeneous Tool Set (Hets).
VERIFY 2007 |
| 60 | EE | Oliver Kutz,
Till Mossakowski:
Modules in Transition - Conservativity, Composition, and Colimits.
WoMO 2007 |
| 2006 |
|---|
| 59 | EE | Till Mossakowski:
Monad-Based Logics for Computational Effects.
AMAST 2006: 3-4 |
| 58 | EE | Till Mossakowski:
Institutional 2-cells and Grothendieck Institutions.
Essays Dedicated to Joseph A. Goguen 2006: 124-149 |
| 57 | EE | Sergey Goncharov,
Lutz Schröder,
Till Mossakowski:
Completeness of Global Evaluation Logic.
MFCS 2006: 447-458 |
| 56 | EE | Lutz Schröder,
Till Mossakowski:
Coalgebraic Modal Logic in CoCasl.
WADT 2006: 127-141 |
| 55 | EE | Klaus Lüttich,
Till Mossakowski:
Reasoning Support for Caslwith Automated Theorem Proving Systems.
WADT 2006: 74-91 |
| 54 | EE | Till Mossakowski,
Markus Roggenbach:
Structured CSP - A Process Algebra as an Institution.
WADT 2006: 92-110 |
| 53 | EE | Till Mossakowski,
Serge Autexier,
Dieter Hutter:
Development graphs - Proof management for structured specifications.
J. Log. Algebr. Program. 67(1-2): 114-145 (2006) |
| 52 | EE | Till Mossakowski,
Lutz Schröder,
Markus Roggenbach,
Horst Reichel:
Algebraic-coalgebraic specification in CoCasl.
J. Log. Algebr. Program. 67(1-2): 146-197 (2006) |
| 51 | EE | 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) |
| 2005 |
|---|
| 50 | EE | Daniel Hausmann,
Till Mossakowski,
Lutz Schröder:
Towards a Coalgebraic Semantics of the Ambient Calculus.
CALCO 2005: 232-246 |
| 49 | EE | Dennis Walter,
Lutz Schröder,
Till Mossakowski:
Parametrized Exceptions.
CALCO 2005: 424-438 |
| 48 | EE | Stefan Wölfl,
Till Mossakowski:
Casl Specifications of Qualitative Calculi.
COSIT 2005: 200-217 |
| 47 | EE | Daniel Hausmann,
Till Mossakowski,
Lutz Schröder:
Iterative Circular Coinduction for CoCasl in Isabelle/HOL.
FASE 2005: 341-356 |
| 46 | EE | Kathrin Hoffmann,
Hartmut Ehrig,
Till Mossakowski:
High-Level Nets with Nets and Rules as Tokens.
ICATPN 2005: 268-288 |
| 45 | EE | Till Mossakowski:
Heterogeneous Theories and the Heterogeneous Tool Set.
Semantic Interoperability and Integration 2005 |
| 44 | EE | Stefan Wölfl,
Till Mossakowski,
Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.
Spatial Cognition: Specialization and Integration 2005 |
| 43 | EE | Kathrin Hoffmann,
Till Mossakowski,
Francesco Parisi-Presicce:
Higher-Order Nets for Mobile Policies.
Electr. Notes Theor. Comput. Sci. 127(2): 87-105 (2005) |
| 42 | EE | 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) |
| 2004 |
|---|
| 41 | EE | Lutz Schröder,
Till Mossakowski:
Generic Exception Handling and the Java Monad.
AMAST 2004: 443-459 |
| 40 | EE | 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 |
| 39 | EE | Klaus Lüttich,
Till Mossakowski,
Bernd Krieg-Brückner:
Ontologies for the Semantic Web in Casl.
WADT 2004: 106-125 |
| 38 | EE | Till Mossakowski,
Donald Sannella,
Andrzej Tarlecki:
A Simple Refinement Language for Casl.
WADT 2004: 162-185 |
| 37 | EE | Lutz Schröder,
Till Mossakowski,
Christoph Lüth:
Type Class Polymorphism in an Institutional Framework.
WADT 2004: 234-251 |
| 36 | EE | Lutz Schröder,
Till Mossakowski:
Monad-independent Dynamic Logic in HasCasl.
J. Log. Comput. 14(4): 571-619 (2004) |
| 2003 |
|---|
| 35 | EE | Lutz Schröder,
Till Mossakowski:
Monad-Independent Hoare Logic in HASCASL.
FASE 2003: 261-277 |
| 34 | EE | Till Mossakowski,
Michael Drouineaud,
Karsten Sohr:
A temporal-logic extension of role-based access control covering dynamic separation of duties.
TIME 2003: 83-90 |
| 33 | | 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): (2003) |
| 32 | EE | Till Mossakowski,
Markus Roggenbach,
Lutz Schröder:
CoCASL at Work -- Modelling Process Algebra.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 2002 |
|---|
| 31 | EE | Serge Autexier,
Dieter Hutter,
Till Mossakowski,
Axel Schairer:
The Development Graph Manager MAYA.
AMAST 2002: 495-501 |
| 30 | EE | Lutz Schröder,
Till Mossakowski:
HASCASL: Towards Integrated Specification and Development of Functional Programs.
AMAST 2002: 99-116 |
| 29 | EE | Till Mossakowski:
Heterogeneous Development Graphs and Heterogeneous Borrowing.
FoSSaCS 2002: 326-341 |
| 28 | EE | Serge Autexier,
Till Mossakowski:
Integrating HOL-CASL into the Development Graph Manager MAYA.
FroCos 2002: 2-17 |
| 27 | EE | Till Mossakowski:
Comorphism-Based Grothendieck Logics.
MFCS 2002: 593-604 |
| 26 | EE | Kathrin Hoffmann,
Till Mossakowski:
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens.
WADT 2002: 253-267 |
| 25 | EE | Till Mossakowski:
Foundations of Heterogeneous Specification.
WADT 2002: 359-375 |
| 24 | EE | Till Mossakowski,
Horst Reichel,
Markus Roggenbach,
Lutz Schröder:
Algebraic-Coalgebraic Specification in Co Casl.
WADT 2002: 376-392 |
| 23 | EE | Lutz Schröder,
Till Mossakowski:
Monad-Independent Dynamic Logic in Has Casl.
WADT 2002: 425-441 |
| 22 | | Till Mossakowski:
Relating CASL with other specification languages: the institution level.
Theor. Comput. Sci. 286(2): 367-475 (2002) |
| 2001 |
|---|
| 21 | EE | Lutz Schröder,
Till Mossakowski,
Andrzej Tarlecki,
Bartek Klin,
Piotr Hoffman:
Semantics of Architectural Specifications in CASL.
FASE 2001: 253-268 |
| 20 | EE | Till Mossakowski,
Serge Autexier,
Dieter Hutter:
Extending Development Graphs with Hiding.
FASE 2001: 269-283 |
| 19 | EE | Lutz Schröder,
Till Mossakowski,
Andrzej Tarlecki:
Amalgamation in CASL via Enriched Signatures.
ICALP 2001: 993-1004 |
| 18 | EE | Bartek Klin,
Piotr Hoffman,
Andrzej Tarlecki,
Lutz Schröder,
Till Mossakowski:
Checking Amalgamability Conditions for C ASL Architectural Specifications.
MFCS 2001: 451-463 |
| 17 | EE | Till Mossakowski,
Bartek Klin:
Institution Independent Static Analysis for CASL.
WADT 2001: 221-237 |
| 2000 |
|---|
| 16 | EE | Till Mossakowski:
CASL: From Semantics to Tools.
TACAS 2000: 93-108 |
| 1999 |
|---|
| 15 | | Till Mossakowski,
Anne Elisabeth Haxthausen,
Bernd Krieg-Brückner:
Subsorted Partial Higher-Order Locig as an Extension of CASL.
WADT 1999: 126-145 |
| 14 | | Markus Roggenbach,
Lutz Schröder,
Till Mossakowski:
Specifying Real Numbers in CASL.
WADT 1999: 146-161 |
| 13 | | Till Mossakowski:
Specifications in an Arbitrary Institution with Symbols.
WADT 1999: 252-270 |
| 1998 |
|---|
| 12 | EE | Till Mossakowski:
Translationg OBJ3 into CASL: The Institution Level.
WADT 1998: 198-215 |
| 1997 |
|---|
| 11 | | Maura Cerioli,
Anne Elisabeth Haxthausen,
Bernd Krieg-Brückner,
Till Mossakowski:
Permissive Subsorted Partial Logic in CASL.
AMAST 1997: 91-107 |
| 10 | | Till Mossakowski,
Andrzej Tarlecki,
Wieslaw Pawlowski:
Combining and Representing Logical Systems.
Category Theory and Computer Science 1997: 177-196 |
| 9 | | Till Mossakowski:
Colimits of order-sorted specifications.
WADT 1997: 316-332 |
| 8 | | Till Mossakowski,
Kolyang,
Bernd Krieg-Brückner:
Static semantic analysis and theorem proving for CASL.
WADT 1997: 333-348 |
| 7 | | Till Mossakowski,
Andrzej Tarlecki,
Wieslaw Pawlowski:
Combining and representing logical systems using model-theoretic parchments.
WADT 1997: 349-364 |
| 1996 |
|---|
| 6 | | Till Mossakowski:
Different Types of Arrow Between Logical Frameworks.
ICALP 1996: 158-169 |
| 1995 |
|---|
| 5 | | Till Mossakowski:
Using Limits of Parchment to Systematically Construct Institutions of partial Algebras.
COMPASS/ADT 1995: 379-393 |
| 4 | | Till Mossakowski:
Equivalences among Various Logical Frameworks of Partial Algebras.
CSL 1995: 403-433 |
| 3 | | 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) |
| 1994 |
|---|
| 2 | | Till Mossakowski:
A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types.
COMPASS/ADT 1994: 389-405 |
| 1993 |
|---|
| 1 | | Till Mossakowski:
Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods.
AMAST 1993: 137-144 |
