Lutz Schröder Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Gorín, Lutz Schröder: Narcissists Are Easy, Stepmothers Are Hard. FoSSaCS 2012: 240-254
2011
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVíctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder: A Closer Look at the Probabilistic Description Logic Prob-EL. AAAI 2011
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Goncharov, Lutz Schröder: A Counterexample to Tensorability of Effects. CALCO 2011: 208-221
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder: The Complexity of Probabilistic EL. Description Logics 2011
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominik Dietrich, Lutz Schröder, Ewaryst Schulz: Formalizing and Operationalizing Industrial Standards. FASE 2011: 81-95
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Goncharov, Lutz Schröder: A Coinductive Calculus for Asynchronous Side-Effecting Processes. FCT 2011: 276-287
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: Description Logics and Fuzzy Probability. IJCAI 2011: 1075-1081
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Goncharov, Lutz Schröder: Powermonads and Tensors of Unranked Effects. LICS 2011: 227-236
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Goncharov, Lutz Schröder: Powermonads and Tensors of Unranked Effects CoRR abs/1101.2777: (2011)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Goncharov, Lutz Schröder: A Coinductive Calculus for Asynchronous Side-effecting Processes CoRR abs/1104.2936: (2011)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Hertzberg, René Wagner, Udo Frese, Lutz Schröder: Integrating Generic Sensor Fusion Algorithms with Sound State Representations through Encapsulation of Manifolds CoRR abs/1107.1119: (2011)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema: Modal Logics are Coalgebraic. Comput. J. 54(1): 31-41 (2011)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Pattinson, Lutz Schröder: Generic Modal Cut Elimination Applied to Conditional Logics Logical Methods in Computer Science 7(1): (2011)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. Mathematical Structures in Computer Science 21(2): 235-266 (2011)
2010
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Yde Venema: Flat Coalgebraic Fixed Point Logics. CONCUR 2010: 524-538
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson, Daniel Hausmann: Optimal Tableaux for Conditional Logics with Cautious Monotonicity. ECAI 2010: 707-712
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: Coalgebraic Correspondence Theory. FOSSACS 2010: 328-342
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder: Global Caching for Coalgebraic Description Logics. IJCAR 2010: 46-60
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Lutz Schröder: Probabilistic Description Logics for Subjective Uncertainty. KR 2010
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: Named Models in Coalgebraic Hybrid Logic. STACS 2010: 645-656
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: Named Models in Coalgebraic Hybrid Logic CoRR abs/1001.0735: (2010)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Yde Venema: Flat coalgebraic fixed point logics CoRR abs/1004.2717: (2010)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Hausmann, Lutz Schröder: Optimizing Conditional Logic Reasoning within CoLoSS. Electr. Notes Theor. Comput. Sci. 262: 157-171 (2010)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTill Mossakowski, Lutz Schröder, Sergey Goncharov: A generic complete dynamic logic for reasoning about purity and effects. Formal Asp. Comput. 22(3-4): 363-384 (2010)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Pattinson, Lutz Schröder: Cut elimination in coalgebraic logics. Inf. Comput. 208(12): 1447-1468 (2010)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: Rank-1 Modal Logics are Coalgebraic. J. Log. Comput. 20(5): 1113-1147 (2010)
2009
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Goncharov, Lutz Schröder, Till Mossakowski: Kleene Monads: Handling Iteration in a Framework of Generic Effects. CALCO 2009: 18-33
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz: Formal Management of CAD/CAM Processes. FM 2009: 223-238
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert S. R. Myers, Dirk Pattinson, Lutz Schröder: Coalgebraic Hybrid Logic. FOSSACS 2009: 137-151
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson, Clemens Kupke: Nominals for Everyone. IJCAI 2009: 917-922
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: Strong Completeness of Coalgebraic Modal Logics. STACS 2009: 673-684
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Pattinson, Lutz Schröder: Generic Modal Cut Elimination Applied to Conditional Logics. TABLEAUX 2009: 280-294
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: PSPACE bounds for rank-1 modal logics. ACM Trans. Comput. Log. 10(2): (2009)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: Strong Completeness of Coalgebraic Modal Logics CoRR abs/0902.2072: (2009)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder: CoLoSS: The Coalgebraic Logic Satisfiability Solver. Electr. Notes Theor. Comput. Sci. 231: 41-54 (2009)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Till Mossakowski: HasCasl: Integrated higher-order specification and program development. Theor. Comput. Sci. 410(12-13): 1217-1260 (2009)
2008
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema: Modal Logics are Coalgebraic. BCS Int. Acad. Conf. 2008: 128-140
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTill Mossakowski, Lutz Schröder, Sergey Goncharov: A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE 2008: 199-214
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Pattinson, Lutz Schröder: Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. FoSSaCS 2008: 66-80
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: Shallow Models for Non-iterative Modal Logics. KI 2008: 324-331
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. KR 2008: 307-317
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: The craft of model making: PSPACE bounds for non-iterative modal logics CoRR abs/0802.0116: (2008)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: Bootstrapping Inductive and Coinductive Types in HasCASL CoRR abs/0812.3836: (2008)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Pattinson, Lutz Schröder: Admissibility of Cut in Coalgebraic Logics. Electr. Notes Theor. Comput. Sci. 203(5): 221-241 (2008)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: Bootstrapping Inductive and Coinductive Types in HasCASL. Logical Methods in Computer Science 4(4): (2008)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: Expressivity of coalgebraic modal logic: The limits and beyond. Theor. Comput. Sci. 390(2-3): 230-247 (2008)
2007
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: Bootstrapping Types and Cotypes in HasCASL. CALCO 2007: 447-461
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Wölfl, Till Mossakowski, Lutz Schröder: Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. FLAIRS Conference 2007: 665-
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: Modular Algorithms for Heterogeneous Modal Logics. ICALP 2007: 459-471
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: Rank-1 Modal Logics Are Coalgebraic. STACS 2007: 573-585
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: PSPACE Bounds for Rank-1 Modal Logics CoRR abs/0706.4044: (2007)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder: An Institutional View on Categorical Logic. Int. J. Software and Informatics 1(1): 129-152 (2007)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: A finite model construction for coalgebraic modal logic. J. Log. Algebr. Program. 73(1-2): 97-110 (2007)
2006
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: A Finite Model Construction for Coalgebraic Modal Logic. FoSSaCS 2006: 157-171
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUdo Frese, Lutz Schröder: Closing a Million-Landmarks Loop. IROS 2006: 5032-5039
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Dirk Pattinson: PSPACE Bounds for Rank-1 Modal Logics. LICS 2006: 231-242
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Goncharov, Lutz Schröder, Till Mossakowski: Completeness of Global Evaluation Logic. MFCS 2006: 447-458
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Till Mossakowski: Coalgebraic Modal Logic in CoCasl. WADT 2006: 127-141
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTill Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel: Algebraic-coalgebraic specification in CoCasl. J. Log. Algebr. Program. 67(1-2): 146-197 (2006)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: The HASCASL prologue: Categorical syntax and semantics of the partial lambda-calculus. Theor. Comput. Sci. 353(1-3): 1-25 (2006)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Hausmann, Till Mossakowski, Lutz Schröder: Towards a Coalgebraic Semantics of the Ambient Calculus. CALCO 2005: 232-246
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDennis Walter, Lutz Schröder, Till Mossakowski: Parametrized Exceptions. CALCO 2005: 424-438
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Hausmann, Till Mossakowski, Lutz Schröder: Iterative Circular Coinduction for CoCasl in Isabelle/HOL. FASE 2005: 341-356
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. FoSSaCS 2005: 440-454
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Wölfl, Till Mossakowski, Lutz Schröder: Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. Spatial Cognition: Specialization and Integration 2005
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Till Mossakowski: Generic Exception Handling and the Java Monad. AMAST 2004: 443-459
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: The Logic of the Partial lambda-Calculus with Equality. CSL 2004: 385-399
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Till Mossakowski, Christoph Lüth: Type Class Polymorphism in an Institutional Framework. WADT 2004: 234-251
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lüth, Markus Roggenbach, Lutz Schröder: CCC - The Casl Consistency Checker. WADT 2004: 94-105
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Till Mossakowski: Monad-independent Dynamic Logic in HasCasl. J. Log. Comput. 14(4): 571-619 (2004)
2003
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: Henkin Models of the Partial sigma-Calculus. CSL 2003: 498-512
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Till Mossakowski: Monad-Independent Hoare Logic in HASCASL. FASE 2003: 261-277
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTill Mossakowski, Markus Roggenbach, Lutz Schröder: CoCASL at Work -- Modelling Process Algebra. Electr. Notes Theor. Comput. Sci. 82(1): 206-220 (2003)
2002
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Till Mossakowski: HASCASL: Towards Integrated Specification and Development of Functional Programs. AMAST 2002: 99-116
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTill Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder: Algebraic-Coalgebraic Specification in Co Casl. WADT 2002: 376-392
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Till Mossakowski: Monad-Independent Dynamic Logic in Has Casl. WADT 2002: 425-441
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: Monads on Composition Graphs. Applied Categorical Structures 10(3): 221-236 (2002)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: Classifying categories for partial equational logic. Electr. Notes Theor. Comput. Sci. 69: 305-322 (2002)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Paulo Mateus: Universal Aspects of Probabilistic Automata. Mathematical Structures in Computer Science 12(4): 481-512 (2002)
2001
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder: Life without the Terminal Type. CSL 2001: 429-442
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Semantics of Architectural Specifications in CASL. FASE 2001: 253-268
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Till Mossakowski, Andrzej Tarlecki: Amalgamation in CASL via Enriched Signatures. ICALP 2001: 993-1004
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski: Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS 2001: 451-463
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Roggenbach, Lutz Schröder: Towards Trustworthy Specifications I: Consistency Checks. WADT 2001: 305-327
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Horst Herrlich: Free Factorizations. Applied Categorical Structures 9(6): 571-593 (2001)
2000
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Schröder, Horst Herrlich: Free Adjunction of Morphisms. Applied Categorical Structures 8(4): 595-606 (2000)
1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Roggenbach, Lutz Schröder, Till Mossakowski: Specifying Real Numbers in CASL. WADT 1999: 146-161

Coauthor Index

1Georgel Calin [55]
2Corina Cîrstea [53] [78]
3Dominik Dietrich [85]
4Udo Frese [35] [79]
5Joseph A. Goguen [38]
6Sergey Goncharov [33] [52] [63] [66] [80] [81] [82] [84] [87]
7Rajeev Goré [72]
8Daniel Gorín [89]
9Víctor Gutiérrez-Basulto [86] [88]
10Daniel Hausmann [26] [28] [29] [67] [74]
11Horst Herrlich [2] [3]
12Christoph Hertzberg [79]
13Piotr Hoffman [5] [7] [23]
14Jean Christoph Jung [86] [88]
15Bartek Klin [5] [7] [23]
16Michael Kohlhase [62]
17Clemens Kupke [60] [72]
18Alexander Kurz [53] [78]
19Johannes Lemburg [62]
20Christoph Lüth [19] [20]
21Carsten Lutz [71] [86] [88]
22Paulo Mateus [9]
23Till Mossakowski [1] [5] [6] [7] [12] [13] [14] [15] [16] [18] [20] [22] [23] [24] [26] [27] [28] [29] [31] [32] [33] [38] [42] [52] [54] [63] [66]
24Robert S. R. Myers [55] [61]
25Valeria de Paiva [38]
26Dirk Pattinson [34] [39] [40] [41] [46] [48] [49] [50] [51] [53] [55] [56] [57] [58] [59] [60] [61] [64] [65] [69] [70] [72] [73] [74] [76] [77] [78] [83]
27Florian Rabe [38]
28Horst Reichel [13] [31]
29Markus Roggenbach [1] [4] [13] [15] [19] [31]
30Ewaryst Schulz [62] [85]
31Andrzej Tarlecki [5] [6] [7] [23]
32Yde Venema [53] [68] [75] [78]
33René Wagner [79]
34Dennis Walter [27]
35Stefan Wölfl [24] [42]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page