dblp.uni-trier.dewww.uni-trier.de

Till Mossakowski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
69EELutz Schröder, Till Mossakowski: HasCasl: Integrated higher-order specification and program development. Theor. Comput. Sci. 410(12-13): 1217-1260 (2009)
2008
68EEOliver Kutz, Till Mossakowski: Conservativity in Structured Ontologies. ECAI 2008: 89-93
67EETill Mossakowski, Lutz Schröder, Sergey Goncharov: A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE 2008: 199-214
66EEOliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann: The OWL in the CASL - Designing Ontologies Across Logics. OWLED 2008
65EEDominik 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-
62EETill Mossakowski, Christian Maeder, Klaus Lüttich: The Heterogeneous Tool Set, Hets. TACAS 2007: 519-522
61EETill Mossakowski, Christian Maeder, Klaus Lüttich: The Heterogeneous Tool Set (Hets). VERIFY 2007
60EEOliver Kutz, Till Mossakowski: Modules in Transition - Conservativity, Composition, and Colimits. WoMO 2007
2006
59EETill Mossakowski: Monad-Based Logics for Computational Effects. AMAST 2006: 3-4
58EETill Mossakowski: Institutional 2-cells and Grothendieck Institutions. Essays Dedicated to Joseph A. Goguen 2006: 124-149
57EESergey Goncharov, Lutz Schröder, Till Mossakowski: Completeness of Global Evaluation Logic. MFCS 2006: 447-458
56EELutz Schröder, Till Mossakowski: Coalgebraic Modal Logic in CoCasl. WADT 2006: 127-141
55EEKlaus Lüttich, Till Mossakowski: Reasoning Support for Caslwith Automated Theorem Proving Systems. WADT 2006: 74-91
54EETill Mossakowski, Markus Roggenbach: Structured CSP - A Process Algebra as an Institution. WADT 2006: 92-110
53EETill Mossakowski, Serge Autexier, Dieter Hutter: Development graphs - Proof management for structured specifications. J. Log. Algebr. Program. 67(1-2): 114-145 (2006)
52EETill Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel: Algebraic-coalgebraic specification in CoCasl. J. Log. Algebr. Program. 67(1-2): 146-197 (2006)
51EEDaniel 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
50EEDaniel Hausmann, Till Mossakowski, Lutz Schröder: Towards a Coalgebraic Semantics of the Ambient Calculus. CALCO 2005: 232-246
49EEDennis Walter, Lutz Schröder, Till Mossakowski: Parametrized Exceptions. CALCO 2005: 424-438
48EEStefan Wölfl, Till Mossakowski: Casl Specifications of Qualitative Calculi. COSIT 2005: 200-217
47EEDaniel Hausmann, Till Mossakowski, Lutz Schröder: Iterative Circular Coinduction for CoCasl in Isabelle/HOL. FASE 2005: 341-356
46EEKathrin Hoffmann, Hartmut Ehrig, Till Mossakowski: High-Level Nets with Nets and Rules as Tokens. ICATPN 2005: 268-288
45EETill Mossakowski: Heterogeneous Theories and the Heterogeneous Tool Set. Semantic Interoperability and Integration 2005
44EEStefan Wölfl, Till Mossakowski, Lutz Schröder: Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. Spatial Cognition: Specialization and Integration 2005
43EEKathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce: Higher-Order Nets for Mobile Policies. Electr. Notes Theor. Comput. Sci. 127(2): 87-105 (2005)
42EELutz 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
41EELutz Schröder, Till Mossakowski: Generic Exception Handling and the Java Monad. AMAST 2004: 443-459
40EEBernd 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
39EEKlaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner: Ontologies for the Semantic Web in Casl. WADT 2004: 106-125
38EETill Mossakowski, Donald Sannella, Andrzej Tarlecki: A Simple Refinement Language for Casl. WADT 2004: 162-185
37EELutz Schröder, Till Mossakowski, Christoph Lüth: Type Class Polymorphism in an Institutional Framework. WADT 2004: 234-251
36EELutz Schröder, Till Mossakowski: Monad-independent Dynamic Logic in HasCasl. J. Log. Comput. 14(4): 571-619 (2004)
2003
35EELutz Schröder, Till Mossakowski: Monad-Independent Hoare Logic in HASCASL. FASE 2003: 261-277
34EETill 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)
32EETill Mossakowski, Markus Roggenbach, Lutz Schröder: CoCASL at Work -- Modelling Process Algebra. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
2002
31EESerge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer: The Development Graph Manager MAYA. AMAST 2002: 495-501
30EELutz Schröder, Till Mossakowski: HASCASL: Towards Integrated Specification and Development of Functional Programs. AMAST 2002: 99-116
29EETill Mossakowski: Heterogeneous Development Graphs and Heterogeneous Borrowing. FoSSaCS 2002: 326-341
28EESerge Autexier, Till Mossakowski: Integrating HOL-CASL into the Development Graph Manager MAYA. FroCos 2002: 2-17
27EETill Mossakowski: Comorphism-Based Grothendieck Logics. MFCS 2002: 593-604
26EEKathrin Hoffmann, Till Mossakowski: Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. WADT 2002: 253-267
25EETill Mossakowski: Foundations of Heterogeneous Specification. WADT 2002: 359-375
24EETill Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder: Algebraic-Coalgebraic Specification in Co Casl. WADT 2002: 376-392
23EELutz 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
21EELutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Semantics of Architectural Specifications in CASL. FASE 2001: 253-268
20EETill Mossakowski, Serge Autexier, Dieter Hutter: Extending Development Graphs with Hiding. FASE 2001: 269-283
19EELutz Schröder, Till Mossakowski, Andrzej Tarlecki: Amalgamation in CASL via Enriched Signatures. ICALP 2001: 993-1004
18EEBartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski: Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS 2001: 451-463
17EETill Mossakowski, Bartek Klin: Institution Independent Static Analysis for CASL. WADT 2001: 221-237
2000
16EETill 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
12EETill 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

Coauthor Index

1Serge Autexier [20] [28] [31] [53]
2Maura Cerioli [11]
3Michael Drouineaud [34]
4Hartmut Ehrig [46]
5Udo Frese [40]
6Sergey Goncharov [57] [67]
7Daniel Hausmann [47] [50] [51]
8Magne Haveraaen [64]
9Anne Elisabeth Haxthausen [11] [15] [33]
10Piotr Hoffman [18] [21] [42]
11Kathrin Hoffmann [26] [43] [46]
12Dieter Hutter [20] [31] [53]
13Bartek Klin [17] [18] [21] [42]
14 Kolyang [8]
15Hans-Jörg Kreowski [3]
16Bernd Krieg-Brückner [8] [11] [15] [39] [40]
17Oliver Kutz [60] [66] [68]
18Dominik Lücke [65] [66]
19Christoph Lüth [37]
20Klaus Lüttich [39] [40] [55] [61] [62]
21Christian Maeder [61] [62]
22Christian Mandel [40]
23Ugo Montanari [64]
24Immanuel Normann [66]
25Francesco Parisi-Presicce [43]
26Wieslaw Pawlowski [7] [10]
27Horst Reichel [24] [52]
28Markus Roggenbach [14] [24] [32] [52] [54]
29Robert J. Ross [40]
30Donald Sannella [33] [38]
31Axel Schairer [31]
32Lutz Schröder [14] [18] [19] [21] [23] [24] [30] [32] [35] [36] [37] [41] [42] [44] [47] [49] [50] [51] [52] [56] [57] [63] [67] [69]
33Karsten Sohr [34]
34Andrzej Tarlecki [7] [10] [18] [19] [21] [33] [38] [42]
35Dennis Walter [49]
36Stefan Wölfl [44] [48] [63]
37Diedrich Wolter [65]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)