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

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