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 |