No. Title Author Year
1 The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies Göttlinger, Merlin et al. 2021
2 Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions Wild, Paul et al. 2020
3 Game-Based Local Model Checking for the Coalgebraic mu-Calculus Hausmann, Daniel et al. 2019
4 Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum Dorsch, Ulrich et al. 2019
5 Efficient Coalgebraic Partition Refinement Dorsch, Ulrich et al. 2017
6 Uniform Interpolation in Coalgebraic Modal Logic Seifan, Fatemeh et al. 2017
7 Global Caching for the Alternation-free µ-Calculus Hausmann, Daniel et al. 2016
8 Generic Trace Semantics and Graded Monads Milius, Stefan et al. 2015
9 Named Models in Coalgebraic Hybrid Logic Schröder, Lutz et al. 2010
10 Strong Completeness of Coalgebraic Modal Logics Schröder, Lutz et al. 2009
11 Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables Wölfl, Stefan et al. 2007
Current Page :
Number of result pages: 1
Number of documents: 11


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI