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


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