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


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