- Iterative Circular Coinduction for CoCasl in Isabelle/HOL
- Generic Modal Cut Elimination Applied to Conditional Logics
- Categories: A Free Tour Lutz Schroder
- CCC |The CASL Consistency Checker Christoph Luth 1 , Markus Roggenbach 2 , and Lutz Schroder 1
- Globalization of Con uent Partial Actions on Topological and Metric Spaces
- The Logic of the Partial -Calculus With Equality
- Ontological Semantics of Standards and PLM Repositories in the Product Development Phase
- Formal Management of CAD/CAM Processes Michael Kohlhase, Johannes Lemburg, Lutz Schroder, and Ewaryst Schulz
- Towards a Coalgebraic Semantics of the Ambient Calculus
- Iterative Circular Coinduction for CoCasl in Isabelle/HOL
- Parametrized Exceptions Dennis Walter, Lutz Schroder, and Till Mossakowski
- A Finite Model Construction For Coalgebraic Modal Logic
- Antrag auf Projektforderung durch die FNK Monadische Berechnungslogiken in HOL
- Monad-independent dynamic logic in HasCasl Lutz Schroder Till Mossakowski
- Semantics of Architectural Speci cations in CASL Lutz Schroder 1 , Till Mossakowski 1 , Andrzej Tarlecki 2;3 , Bartek Klin 4 , and
- Integrated functional speci cation and programming CoFI Tentative Document: HASCASL Summary
- A Counterexample to Tensorability of Effects Sergey Goncharov 1 and Lutz Schr oder 1,2 #
- HASCASL: Towards Integrated Speci cation and Development of Functional Programs
- Flat Coalgebraic Fixed Point Logics Lutz Schroder1
- Towards a Coalgebraic Semantics of the Ambient Calculus
- Under consideration for publication in Math. Struct. in Comp. Science Universal Aspects of Probabilistic Automata
- Modular Algorithms for Heterogeneous Modal Logics Lutz Schroder1
- Semantics of Architectural Specifications in CASL Lutz Schroder1
- Free Adjunction of Morphisms Lutz Schroder and Horst Herrlich
- Henkin models of the partial -calculus Lutz Schroder ?
- Checking Amalgamability Conditions for CASL Architectural Specifications
- Generic Exception Handling and the Java Monad
- Traces of Epimorphism Classes Lutz Schroder
- Life without the Terminal Type Lutz Schroder
- Formalizing and Operationalizing Industrial Standards Dominik Dietrich, Lutz Schroder and Ewaryst Schulz
- Math. Struct. in Comp. Science (2011), vol. 21, pp. 235266. c Cambridge University Press 2011 doi:10.1017/S0960129510000563
- Optimizing Conditional Logic Reasoning within CoLoSS
- To appear in Formal Aspects of Computing A Generic Complete Dynamic Logic for
- Kleene Monads: Handling Iteration in a Framework of Generic Effects
- Coalgebraic Hybrid Logic , Dirk Pattinson 1
- HASCASL: Integrated Higher-Order Specification and Program Development
- Nominals for Everyone Lutz Schroder
- A generic complete dynamic logic for reasoning about purity and effects
- Forschungszentrum fur Kunstliche
- Linearizability of Non-expansive Semigroup Actions on Metric Spaces
- Rank-1 Modal Logics are Coalgebraic Lutz Schroder1
- BOOTSTRAPPING TYPES AND COTYPES IN HASCASL LUTZ SCHRODER
- A Coalgebraic Approach to the Semantics of the Ambient Calculus
- Algebraic-coalgebraic specification in CoCasl Till Mossakowski a
- A Categorical Perspective on Qualitative Constraint Calculi
- The HasCasl Prologue: Categorical Syntax and Semantics of the Partial -Calculus
- PSPACE Bounds for Rank-1 Modal Logics Lutz Schroder
- Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
- Parametrized Exceptions Dennis Walter, Lutz Schroder, and Till Mossakowski
- Markus Roggenbach, Till Mossakowski, Lutz Casl Reference Manual
- Generic Exception Handling and the Java Monad
- Monad-independent dynamic logic in HasCasl Lutz Schroder Till Mossakowski
- The Logic of the Partial -Calculus With Equality
- CMCS'03 Preliminary Version CoCasl at Work --
- Integrated functional specification and programming CoFI Tentative Document: HASCASL Summary
- Life without the Terminal Type Lutz Schroder
- Higher Order and Reactive Algebraic Specification and Development
- Abstract Initiality Lutz Schr oder, Horst Herrlich
- Free Factorizations Lutz Schroder and Horst Herrlich
- Globalization of Confluent Partial Actions on Topological and Metric Spaces
- A Finite Model Construction For Coalgebraic Modal Logic
- Isomorphisms and Splitting of Idempotents in Semicategories
- Coalgebraic Modal Logic in COCASL Lutz Schroder and Till Mossakowski
- A Counterexample to Tensorability of Effects Sergey Goncharov1
- Bootstrapping Types and Cotypes in HASCASL Lutz Schroder
- Algebraic-coalgebraic speci cation in CoCasl Till Mossakowski a Lutz Schroder a Markus Roggenbach b
- Monads on composition graphs Lutz Schroder (lschrode@informatik.unibremen.de)
- DFG-Antrag auf Gewahrung einer Sachbeihilfe fur das Projekt Generische algorithmische Methoden in der Modallogik
- Global Caching for Coalgebraic Description Logics Rajeev Gore1
- Higher Order and Reactive Algebraic Specification and Development
- The Coalgebraic Logic Satisfiability Solver (System Description)
- A Finite Model Construction For Coalgebraic Modal Logic
- Probabilistic Description Logics for Subjective Uncertainty Carsten Lutz
- Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
- Description Logics and Fuzzy Probability Lutz Schroder
- Completeness of Global Evaluation Logic Sergey Goncharov1
- Markus Roggenbach, Till Mossakowski, Lutz Casl Reference Manual
- Amalgamation in the Semantics of CASL Lutz Schroder a,1
- The HasCasl Prologue: Categorical Syntax and Semantics of the Partial -Calculus
- Towards Trustworthy Speci cations I: Consistency Checks
- Monad-independent Hoare Logic in HasCasl Lutz Schroder and Till Mossakowski
- Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
- Symposium on Theoretical Aspects of Computer Science year (city), pp. numbers www.stacs-conf.org
- Rank-1 Modal Logics are Coalgebraic Lutz Schroder
- Algebraic-coalgebraic specification in CoCasl Till Mossakowski1
- An Institutional View on Categorical Logic Joseph Goguen, University of California, San Diego
- Completeness of Global Evaluation Logic Sergey Goncharov 1 , Lutz Schroder 1,2 , and Till Mossakowski 1,2
- Closing a Million-Landmarks Loop Universitat Bremen, Fachbereich Mathematik und Informatik
- Narcissists are easy, stepmothers are hard Daniel Gorin1
