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

Lutz Schröder

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

2009
55EERob Myers, Dirk Pattinson, Lutz Schröder: Coalgebraic Hybrid Logic. FOSSACS 2009: 137-151
54EELutz Schröder, Dirk Pattinson: Strong Completeness of Coalgebraic Modal Logics. STACS 2009: 673-684
53EELutz Schröder, Dirk Pattinson: PSPACE bounds for rank-1 modal logics. ACM Trans. Comput. Log. 10(2): (2009)
52EELutz Schröder, Dirk Pattinson: Strong Completeness of Coalgebraic Modal Logics CoRR abs/0902.2072: (2009)
51EEGeorgel Calin, Rob Myers, Dirk Pattinson, Lutz Schröder: CoLoSS: The Coalgebraic Logic Satisfiability Solver. Electr. Notes Theor. Comput. Sci. 231: 41-54 (2009)
50EELutz Schröder, Till Mossakowski: HasCasl: Integrated higher-order specification and program development. Theor. Comput. Sci. 410(12-13): 1217-1260 (2009)
2008
49EETill Mossakowski, Lutz Schröder, Sergey Goncharov: A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE 2008: 199-214
48EEDirk Pattinson, Lutz Schröder: Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. FoSSaCS 2008: 66-80
47EELutz Schröder, Dirk Pattinson: Shallow Models for Non-iterative Modal Logics. KI 2008: 324-331
46 Lutz Schröder, Dirk Pattinson: How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. KR 2008: 307-317
45EELutz Schröder, Dirk Pattinson: The craft of model making: PSPACE bounds for non-iterative modal logics CoRR abs/0802.0116: (2008)
44EELutz Schröder: Bootstrapping Inductive and Coinductive Types in HasCASL CoRR abs/0812.3836: (2008)
43EEDirk Pattinson, Lutz Schröder: Admissibility of Cut in Coalgebraic Logics. Electr. Notes Theor. Comput. Sci. 203(5): 221-241 (2008)
42EELutz Schröder: Expressivity of coalgebraic modal logic: The limits and beyond. Theor. Comput. Sci. 390(2-3): 230-247 (2008)
2007
41EELutz Schröder: Bootstrapping Types and Cotypes in HasCASL. CALCO 2007: 447-461
40 Stefan Wölfl, Till Mossakowski, Lutz Schröder: Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. FLAIRS Conference 2007: 665-
39EELutz Schröder, Dirk Pattinson: Modular Algorithms for Heterogeneous Modal Logics. ICALP 2007: 459-471
38EELutz Schröder, Dirk Pattinson: Rank-1 Modal Logics Are Coalgebraic. STACS 2007: 573-585
37EELutz Schröder, Dirk Pattinson: PSPACE Bounds for Rank-1 Modal Logics CoRR abs/0706.4044: (2007)
36EELutz Schröder: A finite model construction for coalgebraic modal logic. J. Log. Algebr. Program. 73(1-2): 97-110 (2007)
2006
35EELutz Schröder: A Finite Model Construction for Coalgebraic Modal Logic. FoSSaCS 2006: 157-171
34EELutz Schröder, Dirk Pattinson: PSPACE Bounds for Rank-1 Modal Logics. LICS 2006: 231-242
33EESergey Goncharov, Lutz Schröder, Till Mossakowski: Completeness of Global Evaluation Logic. MFCS 2006: 447-458
32EELutz Schröder, Till Mossakowski: Coalgebraic Modal Logic in CoCasl. WADT 2006: 127-141
31EETill Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel: Algebraic-coalgebraic specification in CoCasl. J. Log. Algebr. Program. 67(1-2): 146-197 (2006)
30EELutz Schröder: The HASCASL prologue: Categorical syntax and semantics of the partial lambda-calculus. Theor. Comput. Sci. 353(1-3): 1-25 (2006)
29EEDaniel 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
28EEDaniel Hausmann, Till Mossakowski, Lutz Schröder: Towards a Coalgebraic Semantics of the Ambient Calculus. CALCO 2005: 232-246
27EEDennis Walter, Lutz Schröder, Till Mossakowski: Parametrized Exceptions. CALCO 2005: 424-438
26EEDaniel Hausmann, Till Mossakowski, Lutz Schröder: Iterative Circular Coinduction for CoCasl in Isabelle/HOL. FASE 2005: 341-356
25EELutz Schröder: Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. FoSSaCS 2005: 440-454
24EEStefan Wölfl, Till Mossakowski, Lutz Schröder: Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. Spatial Cognition: Specialization and Integration 2005
23EELutz 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
22EELutz Schröder, Till Mossakowski: Generic Exception Handling and the Java Monad. AMAST 2004: 443-459
21EELutz Schröder: The Logic of the Partial lambda-Calculus with Equality. CSL 2004: 385-399
20EELutz Schröder, Till Mossakowski, Christoph Lüth: Type Class Polymorphism in an Institutional Framework. WADT 2004: 234-251
19EEChristoph Lüth, Markus Roggenbach, Lutz Schröder: CCC - The Casl Consistency Checker. WADT 2004: 94-105
18EELutz Schröder, Till Mossakowski: Monad-independent Dynamic Logic in HasCasl. J. Log. Comput. 14(4): 571-619 (2004)
2003
17EELutz Schröder: Henkin Models of the Partial sigma-Calculus. CSL 2003: 498-512
16EELutz Schröder, Till Mossakowski: Monad-Independent Hoare Logic in HASCASL. FASE 2003: 261-277
15EETill Mossakowski, Markus Roggenbach, Lutz Schröder: CoCASL at Work -- Modelling Process Algebra. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
2002
14EELutz Schröder, Till Mossakowski: HASCASL: Towards Integrated Specification and Development of Functional Programs. AMAST 2002: 99-116
13EETill Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder: Algebraic-Coalgebraic Specification in Co Casl. WADT 2002: 376-392
12EELutz Schröder, Till Mossakowski: Monad-Independent Dynamic Logic in Has Casl. WADT 2002: 425-441
11EELutz Schröder: Monads on Composition Graphs. Applied Categorical Structures 10(3): 221-236 (2002)
10EELutz Schröder: Classifying categories for partial equational logic. Electr. Notes Theor. Comput. Sci. 69: (2002)
9 Lutz Schröder, Paulo Mateus: Universal Aspects of Probabilistic Automata. Mathematical Structures in Computer Science 12(4): 481-512 (2002)
2001
8EELutz Schröder: Life without the Terminal Type. CSL 2001: 429-442
7EELutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Semantics of Architectural Specifications in CASL. FASE 2001: 253-268
6EELutz Schröder, Till Mossakowski, Andrzej Tarlecki: Amalgamation in CASL via Enriched Signatures. ICALP 2001: 993-1004
5EEBartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski: Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS 2001: 451-463
4EEMarkus Roggenbach, Lutz Schröder: Towards Trustworthy Specifications I: Consistency Checks. WADT 2001: 305-327
3EELutz Schröder, Horst Herrlich: Free Factorizations. Applied Categorical Structures 9(6): 571-593 (2001)
2000
2EELutz Schröder, Horst Herrlich: Free Adjunction of Morphisms. Applied Categorical Structures 8(4): 595-606 (2000)
1999
1 Markus Roggenbach, Lutz Schröder, Till Mossakowski: Specifying Real Numbers in CASL. WADT 1999: 146-161

Coauthor Index

1Georgel Calin [51]
2Sergey Goncharov [33] [49]
3Daniel Hausmann [26] [28] [29]
4Horst Herrlich [2] [3]
5Piotr Hoffman [5] [7] [23]
6Bartek Klin [5] [7] [23]
7Christoph Lüth [19] [20]
8Paulo Mateus [9]
9Till Mossakowski [1] [5] [6] [7] [12] [13] [14] [15] [16] [18] [20] [22] [23] [24] [26] [27] [28] [29] [31] [32] [33] [40] [49] [50]
10Rob Myers [51] [55]
11Dirk Pattinson [34] [37] [38] [39] [43] [45] [46] [47] [48] [51] [52] [53] [54] [55]
12Horst Reichel [13] [31]
13Markus Roggenbach [1] [4] [13] [15] [19] [31]
14Andrzej Tarlecki [5] [6] [7] [23]
15Dennis Walter [27]
16Stefan Wölfl [24] [40]

Colors in the list of coauthors

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