Publication | Date of Publication | Type |
---|
A point-free perspective on lax extensions and predicate liftings | 2024-03-05 | Paper |
Monads on Categories of Relational Structures. | 2023-12-08 | Paper |
Kantorovich functors and characteristic logics for behavioural distances | 2023-11-24 | Paper |
Nominal Büchi Automata with Name Allocation | 2023-08-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q6176116 | 2023-08-21 | Paper |
A Linear-Time Nominal μ-Calculus with Name Allocation. | 2023-08-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q5875397 | 2023-02-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q5875398 | 2023-02-03 | Paper |
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence | 2023-01-09 | Paper |
NP reasoning in the monotone \(\mu\)-calculus | 2022-11-09 | Paper |
Towards a Higher-Order Mathematical Operational Semantics | 2022-10-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q5104708 | 2022-09-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q5094149 | 2022-08-02 | Paper |
Quantitative Hennessy-Milner Theorems via Notions of Density | 2022-07-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q5089293 | 2022-07-18 | Paper |
Finitary monads on the category of posets | 2022-04-05 | Paper |
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics | 2022-02-24 | Paper |
A quantified coalgebraic van Benthem theorem | 2021-10-18 | Paper |
From generic partition refinement to weighted tree automata minimization | 2021-09-14 | Paper |
Quasipolynomial computation of nested fixpoints | 2021-08-04 | Paper |
A metalanguage for guarded iteration | 2021-07-22 | Paper |
Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas | 2021-02-22 | Paper |
Automata Learning | 2021-01-21 | Paper |
A van Benthem Theorem for Fuzzy Modal Logic | 2021-01-20 | Paper |
Behavioural Preorders via Graded Monads | 2020-11-29 | Paper |
Efficient Coalgebraic Partition Refinement | 2020-05-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q5214815 | 2020-02-05 | Paper |
Optimal satisfiability checking for arithmetic \(\mu\)-calculi | 2020-01-28 | Paper |
Generic Hoare Logic for Order-Enriched Effects with Exceptions | 2020-01-16 | Paper |
Permutation games for the weakly aconjunctive \(\mu \)-calculus | 2019-09-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4968384 | 2019-07-12 | Paper |
Combining machine learning and semantic features in the classification of corporate disclosures | 2019-06-26 | Paper |
Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum | 2018-12-04 | Paper |
A metalanguage for guarded iteration | 2018-11-23 | Paper |
Predicate liftings and functor presentations in coalgebraic expression languages | 2018-10-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4585073 | 2018-09-06 | Paper |
Uniform Interpolation in Coalgebraic Modal Logic. | 2018-08-13 | Paper |
Guarded traced categories | 2018-07-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4637694 | 2018-04-25 | Paper |
Program Equivalence is Coinductive | 2018-04-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4636297 | 2018-04-23 | Paper |
Flat Coalgebraic Fixed Point Logics | 2018-03-22 | Paper |
Global Caching for the Alternation-free µ-Calculus | 2018-03-21 | Paper |
Generic Trace Semantics and Graded Monads. | 2017-07-11 | Paper |
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects | 2017-07-03 | Paper |
Nominal Automata with Name Binding | 2017-05-19 | Paper |
Unifying Guarded and Unguarded Iteration | 2017-05-19 | Paper |
A Characterization Theorem for a Modal Description Logic | 2017-05-17 | Paper |
A Van Benthem/Rosen theorem for coalgebraic predicate logic | 2017-05-17 | Paper |
Probabilistic Description Logics for Subjective Uncertainty | 2017-01-11 | Paper |
Unguarded recursion on coinductive resumptions | 2016-12-16 | Paper |
Sound and complete equational reasoning over comodels | 2016-12-16 | Paper |
Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets | 2016-10-20 | Paper |
Reasoning with Global Assumptions in Arithmetic Modal Logics | 2015-09-29 | Paper |
PSPACE bounds for rank-1 modal logics | 2015-09-17 | Paper |
Simplified Coalgebraic Trace Equivalence | 2015-06-22 | Paper |
Monodic Fragments of Probabilistic First-Order Logic | 2014-07-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5419885 | 2014-06-11 | Paper |
Admissibility of Cut in Coalgebraic Logics | 2014-01-24 | Paper |
A coinductive calculus for asynchronous side-effecting processes | 2014-01-16 | Paper |
Exploring the Boundaries of Monad Tensorability on Set | 2013-09-26 | Paper |
Simulations and Bisimulations for Coalgebraic Modal Logics | 2013-09-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q2843729 | 2013-08-23 | Paper |
Classifying categories for partial equational logic | 2013-08-16 | Paper |
Coalgebraic Announcement Logics | 2013-08-07 | Paper |
Coalgebraic Predicate Logic | 2012-11-01 | Paper |
Narcissists Are Easy, Stepmothers Are Hard | 2012-06-22 | Paper |
Kleene Monads: Handling Iteration in a Framework of Generic Effects | 2012-06-01 | Paper |
STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS | 2012-04-24 | Paper |
Named Models in Coalgebraic Hybrid Logic | 2012-01-23 | Paper |
A Counterexample to Tensorability of Effects | 2011-09-02 | Paper |
A Coinductive Calculus for Asynchronous Side-Effecting Processes | 2011-08-19 | Paper |
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra | 2011-06-10 | Paper |
Generic Modal Cut Elimination Applied to Conditional Logics | 2011-05-26 | Paper |
Optimal Tableaux for Conditional Logics with Cautious Monotonicity | 2011-05-11 | Paper |
HasCasl: Towards Integrated Specification and Development of Functional Programs | 2011-05-06 | Paper |
Cut elimination in coalgebraic logics | 2011-01-14 | Paper |
Rank-1 Modal Logics are Coalgebraic | 2010-11-11 | Paper |
Global Caching for Coalgebraic Description Logics | 2010-09-14 | Paper |
Flat Coalgebraic Fixed Point Logics | 2010-08-31 | Paper |
A generic complete dynamic logic for reasoning about purity and effects | 2010-05-28 | Paper |
Coalgebraic Correspondence Theory | 2010-04-27 | Paper |
Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
Generic Modal Cut Elimination Applied to Conditional Logics | 2009-12-01 | Paper |
Bootstrapping Inductive and Coinductive Types in HasCASL | 2009-04-29 | Paper |
Coalgebraic Hybrid Logic | 2009-03-31 | Paper |
HasCasl: integrated higher-order specification and program development | 2009-03-25 | Paper |
Bootstrapping Types and Cotypes in HasCASL | 2009-03-10 | Paper |
Linearizability of non-expansive semigroup actions on metric spaces | 2008-08-06 | Paper |
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics | 2008-04-11 | Paper |
Expressivity of coalgebraic modal logic: the limits and beyond | 2008-03-05 | Paper |
Modular Algorithms for Heterogeneous Modal Logics | 2007-11-28 | Paper |
Coalgebraic Modal Logic in CoCasl | 2007-09-10 | Paper |
Completeness of Global Evaluation Logic | 2007-09-05 | Paper |
Rank-1 Modal Logics Are Coalgebraic | 2007-09-03 | Paper |
A finite model construction for coalgebraic modal logic | 2007-08-23 | Paper |
Computer Science Logic | 2007-06-21 | Paper |
Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
A coalgebraic approach to the semantics of the ambient calculus | 2007-01-09 | Paper |
Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus | 2006-04-28 | Paper |
Algebraic-coalgebraic specification in CoCASL | 2006-04-28 | Paper |
Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
Computer Science Logic | 2005-08-22 | Paper |
Amalgamation in the semantics of CASL | 2005-04-06 | Paper |
Globalization of confluent partial actions on topological and metric spaces | 2005-02-22 | Paper |
Monad-independent Dynamic Logic in HasCasl | 2004-10-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4471725 | 2004-07-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4457311 | 2004-03-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4417837 | 2003-07-30 | Paper |
Universal aspects of probabilistic automata | 2003-02-17 | Paper |
Free factorizations | 2002-12-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4783323 | 2002-12-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4779164 | 2002-11-25 | Paper |
Monads on composition graphs | 2002-08-19 | Paper |
TRACES OF EPIMORPHISM CLASSES | 2002-08-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4535078 | 2002-06-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q2752011 | 2002-05-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q2764130 | 2002-01-22 | Paper |
Free adjunction of morphisms | 2002-01-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q2722021 | 2001-07-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4500849 | 2001-02-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4933939 | 2000-08-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4941781 | 2000-03-07 | Paper |