| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Gorín, Lutz Schröder |
Narcissists Are Easy, Stepmothers Are Hard.  |
FoSSaCS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. |
Mathematical Structures in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema |
Modal Logics are Coalgebraic. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Hertzberg, René Wagner, Udo Frese, Lutz Schröder |
Integrating Generic Sensor Fusion Algorithms with Sound State Representations through Encapsulation of Manifolds |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder |
Generic Modal Cut Elimination Applied to Conditional Logics |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov, Lutz Schröder |
Powermonads and Tensors of Unranked Effects |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sergey Goncharov, Lutz Schröder |
A Coinductive Calculus for Asynchronous Side-effecting Processes |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Description Logics and Fuzzy Probability. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder |
The Complexity of Probabilistic EL. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dominik Dietrich, Lutz Schröder, Ewaryst Schulz |
Formalizing and Operationalizing Industrial Standards. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov, Lutz Schröder |
A Coinductive Calculus for Asynchronous Side-Effecting Processes. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov, Lutz Schröder |
Powermonads and Tensors of Unranked Effects. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov, Lutz Schröder |
A Counterexample to Tensorability of Effects. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder |
A Closer Look at the Probabilistic Description Logic Prob-EL. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Till Mossakowski, Lutz Schröder, Sergey Goncharov |
A generic complete dynamic logic for reasoning about purity and effects. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder |
Cut elimination in coalgebraic logics. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hausmann, Lutz Schröder |
Optimizing Conditional Logic Reasoning within CoLoSS. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Rank-1 Modal Logics are Coalgebraic. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Named Models in Coalgebraic Hybrid Logic |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Yde Venema |
Flat coalgebraic fixed point logics |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Yde Venema |
Flat Coalgebraic Fixed Point Logics. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder |
Global Caching for Coalgebraic Description Logics. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson, Daniel Hausmann |
Optimal Tableaux for Conditional Logics with Cautious Monotonicity. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Named Models in Coalgebraic Hybrid Logic. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Lutz Schröder |
Probabilistic Description Logics for Subjective Uncertainty. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Coalgebraic Correspondence Theory. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Till Mossakowski |
HasCasl: Integrated higher-order specification and program development. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder |
CoLoSS: The Coalgebraic Logic Satisfiability Solver. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Strong Completeness of Coalgebraic Modal Logics |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
PSPACE bounds for rank-1 modal logics. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Shallow models, resolution, coalgebra |
| 1 | Lutz Schröder, Dirk Pattinson, Clemens Kupke |
Nominals for Everyone. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Strong Completeness of Coalgebraic Modal Logics. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz |
Formal Management of CAD/CAM Processes. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder |
Generic Modal Cut Elimination Applied to Conditional Logics. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov, Lutz Schröder, Till Mossakowski |
Kleene Monads: Handling Iteration in a Framework of Generic Effects. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. R. Myers, Dirk Pattinson, Lutz Schröder |
Coalgebraic Hybrid Logic. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder |
Expressivity of coalgebraic modal logic: The limits and beyond. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder |
Bootstrapping Inductive and Coinductive Types in HasCASL. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder |
Admissibility of Cut in Coalgebraic Logics. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
The craft of model making: PSPACE bounds for non-iterative modal logics |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder |
Bootstrapping Inductive and Coinductive Types in HasCASL |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema |
Modal Logics are Coalgebraic. |
BCS Int. Acad. Conf. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Till Mossakowski, Lutz Schröder, Sergey Goncharov |
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Shallow Models for Non-iterative Modal Logics. |
KI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder |
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder |
A finite model construction for coalgebraic modal logic. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder |
An Institutional View on Categorical Logic. |
Int. J. Software and Informatics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
PSPACE Bounds for Rank-1 Modal Logics |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Modular Algorithms for Heterogeneous Modal Logics. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Rank-1 Modal Logics Are Coalgebraic. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wölfl, Till Mossakowski, Lutz Schröder |
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. |
FLAIRS Conference |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder |
Bootstrapping Types and Cotypes in HasCASL. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel |
Algebraic-coalgebraic specification in CoCasl. |
J. Log. Algebr. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder |
The HASCASL prologue: Categorical syntax and semantics of the partial lambda-calculus. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hausmann, Till Mossakowski, Lutz Schröder |
A coalgebraic approach to the semantics of the ambient calculus. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov, Lutz Schröder, Till Mossakowski |
Completeness of Global Evaluation Logic. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Udo Frese, Lutz Schröder |
Closing a Million-Landmarks Loop. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Till Mossakowski |
Coalgebraic Modal Logic in CoCasl. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
PSPACE Bounds for Rank-1 Modal Logics. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder |
A Finite Model Construction for Coalgebraic Modal Logic. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman |
Amalgamation in the semantics of CASL. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wölfl, Till Mossakowski, Lutz Schröder |
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. |
Spatial Cognition: Specialization and Integration |
2005 |
DBLP BibTeX RDF |
|
| 1 | Daniel Hausmann, Till Mossakowski, Lutz Schröder |
Iterative Circular Coinduction for CoCasl in Isabelle/HOL. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hausmann, Till Mossakowski, Lutz Schröder |
Towards a Coalgebraic Semantics of the Ambient Calculus. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Walter, Lutz Schröder, Till Mossakowski |
Parametrized Exceptions. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder |
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Till Mossakowski |
Monad-independent Dynamic Logic in HasCasl. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Till Mossakowski |
Generic Exception Handling and the Java Monad. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Till Mossakowski, Christoph Lüth |
Type Class Polymorphism in an Institutional Framework. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Lüth, Markus Roggenbach, Lutz Schröder |
CCC - The Casl Consistency Checker. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder |
The Logic of the Partial lambda-Calculus with Equality. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Markus Roggenbach, Lutz Schröder |
CoCASL at Work -- Modelling Process Algebra. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Till Mossakowski |
Monad-Independent Hoare Logic in HASCASL. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder |
Henkin Models of the Partial sigma-Calculus. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Paulo Mateus |
Universal Aspects of Probabilistic Automata. |
Mathematical Structures in Computer Science |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder |
Classifying categories for partial equational logic. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder |
Monads on Composition Graphs. |
Applied Categorical Structures |
2002 |
DBLP DOI BibTeX RDF |
composition graph, Kleisli category, algebra, monad, adjunction |
| 1 | Lutz Schröder, Till Mossakowski |
HASCASL: Towards Integrated Specification and Development of Functional Programs. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Till Mossakowski |
Monad-Independent Dynamic Logic in Has Casl. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder |
Algebraic-Coalgebraic Specification in Co Casl. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Horst Herrlich |
Free Factorizations. |
Applied Categorical Structures |
2001 |
DBLP DOI BibTeX RDF |
graph, factorization, category, word problem, retraction |
| 1 | Lutz Schröder, Till Mossakowski, Andrzej Tarlecki |
Amalgamation in CASL via Enriched Signatures. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski |
Checking Amalgamability Conditions for C ASL Architectural Specifications. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
formal specification and program development, CASL, algorithms, decidability, architectural specifications, amalgamation |
| 1 | Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman |
Semantics of Architectural Specifications in CASL. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Roggenbach, Lutz Schröder |
Towards Trustworthy Specifications I: Consistency Checks. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder |
Life without the Terminal Type. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Horst Herrlich |
Free Adjunction of Morphisms. |
Applied Categorical Structures |
2000 |
DBLP DOI BibTeX RDF |
(absolutely) initial morphism, (absolute) monomorphism, section, graph, category |
| 1 | Markus Roggenbach, Lutz Schröder, Till Mossakowski |
Specifying Real Numbers in CASL. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")