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

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