Lutz Schröder

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 10, 2014

2013

Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds.

[BibT_eX]

[DOI]

Inf. Fusion, 2013

A coinductive calculus for asynchronous side-effecting processes.

[BibT_eX]

[DOI]

Inf. Comput., 2013

Preface.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Exploring the Boundaries of Monad Tensorability on Set.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

A Relatively Complete Generic Hoare Logic for Order-Enriched Effects.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC.

[BibT_eX]

[DOI]

Agnieszka Kulacka

Proceedings of the IJCAI 2013, 2013

Coalgebraic Announcement Logics.

[BibT_eX]

[DOI]

Facundo Carreiro

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Reasoning with Bounded Self-reference Using Logical Interpreters.

[BibT_eX]

[DOI]

Thorsten Wißmann

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Preface to CALCO-Tools.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

Simulations and Bisimulations for Coalgebraic Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

Coalgebraic Predicate Logic.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

Narcissists Are Easy, Stepmothers Are Hard.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Extending ALCQ with Bounded Self-Reference.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 9, 2012

2011

Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2011

Generic Modal Cut Elimination Applied to Conditional Logics

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

Modal Logics are Coalgebraic.

[BibT_eX]

[DOI]

Comput. J., 2011

Powermonads and Tensors of Unranked Effects.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

Description Logics and Fuzzy Probability.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Formalizing and Operationalizing Industrial Standards.

[BibT_eX]

[DOI]

Dominik Dietrich

Ewaryst Schulz

Proceedings of the Fundamental Approaches to Software Engineering, 2011

The Complexity of Probabilistic EL.

[BibT_eX]

[DOI]

Jean Christoph Jung

Víctor Gutiérrez-Basulto

Carsten Lutz

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

A Counterexample to Tensorability of Effects.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

A Closer Look at the Probabilistic Description Logic Prob-EL.

[BibT_eX]

[DOI]

Víctor Gutiérrez-Basulto

Jean Christoph Jung

Carsten Lutz

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Rank-1 Modal Logics are Coalgebraic.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Cut elimination in coalgebraic logics.

[BibT_eX]

[DOI]

Inf. Comput., 2010

A generic complete dynamic logic for reasoning about purity and effects.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

Named Models in Coalgebraic Hybrid Logic.

[BibT_eX]

[DOI]

Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010

Probabilistic Description Logics for Subjective Uncertainty.

[BibT_eX]

[DOI]

Carsten Lutz

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Coalgebraic Correspondence Theory.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2010

Optimal Tableaux for Conditional Logics with Cautious Monotonicity.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Flat Coalgebraic Fixed Point Logics.

[BibT_eX]

[DOI]

Yde Venema

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Global Caching for Coalgebraic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

PSPACE bounds for rank-1 modal logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

HasCasl: Integrated higher-order specification and program development.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Optimizing Conditional Logic Reasoning within CoLoSS.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Strong Completeness of Coalgebraic Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, 2009

Nominals for Everyone.

[BibT_eX]

[DOI]

Clemens Kupke

Proceedings of the IJCAI 2009, 2009

Coalgebraic Hybrid Logic.

[BibT_eX]

[DOI]

Robert S. R. Myers

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Formal Management of CAD/CAM Processes.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

Kleene Monads: Handling Iteration in a Framework of Generic Effects.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Expressivity of coalgebraic modal logic: The limits and beyond.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Bootstrapping Inductive and Coinductive Types in HasCASL.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Admissibility of Cut in Coalgebraic Logics.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

The craft of model making: PSPACE bounds for non-iterative modal logics

[BibT_eX]

[DOI]

CoRR, 2008

How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Shallow Models for Non-iterative Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

A finite model construction for coalgebraic modal logic.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

An Institutional View on Categorical Logic.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2007

CoLoSS: The Coalgebraic Logic Satisfiability Solver.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Methods for Modalities, 2007

Modular Algorithms for Heterogeneous Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

Bootstrapping Types and Cotypes in HasCASL.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

The HASCASL prologue: Categorical syntax and semantics of the partial <i>lambda</i>-calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

A coalgebraic approach to the semantics of the ambient calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Algebraic-coalgebraic specification in CoCasl.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2006

Coalgebraic Modal Logic in CoCasl.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Completeness of Global Evaluation Logic.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

Closing a Million-Landmarks Loop.

[BibT_eX]

[DOI]

Udo Frese

Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006

2005

Amalgamation in the semantics of CASL.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Iterative Circular Coinduction for CoCasl in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.

[BibT_eX]

[DOI]

Stefan Wölfl

Proceedings of the Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005, 2005

Parametrized Exceptions.

[BibT_eX]

[DOI]

Dennis Walter

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

Towards a Coalgebraic Semantics of the Ambient Calculus.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Monad-independent Dynamic Logic in HasCasl.

[BibT_eX]

[DOI]

J. Log. Comput., 2004

Type Class Polymorphism in an Institutional Framework.

[BibT_eX]

[DOI]

Christoph Lüth

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

CCC - The Casl Consistency Checker.

[BibT_eX]

[DOI]

Christoph Lüth

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

The Logic of the Partial lambda-Calculus with Equality.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

Generic Exception Handling and the Java Monad.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

CoCASL at Work -- Modelling Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

Monad-Independent Hoare Logic in HASCASL.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2003

Henkin Models of the Partial sigma-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

Universal Aspects of Probabilistic Automata.

[BibT_eX]

[DOI]

Paulo Mateus

Math. Struct. Comput. Sci., 2002

Classifying categories for partial equational logic.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 2002

Monads on Composition Graphs.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2002

Monad-Independent Dynamic Logic in Has Casl.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Algebraic-Coalgebraic Specification in Co Casl.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

HASCASL: Towards Integrated Specification and Development of Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Free Factorizations.

[BibT_eX]

[DOI]

Horst Herrlich

Appl. Categorical Struct., 2001

Towards Trustworthy Specifications I: Consistency Checks.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Checking Amalgamability Conditions for C ASL Architectural Specifications.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

Amalgamation in CASL via Enriched Signatures.

[BibT_eX]

[DOI]

Andrzej Tarlecki

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Semantics of Architectural Specifications in CASL.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Life without the Terminal Type.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

Free Adjunction of Morphisms.

[BibT_eX]

[DOI]

Horst Herrlich

Appl. Categorical Struct., 2000

1999

Specifying Real Numbers in CASL.

[BibT_eX]

[DOI]