Cs-Lo
A Logic with Reverse Modalities for History-preserving Bisimulations
Quasi-Polish Spaces
Proving programs terminate using well orderings, Ramsey Theory, and Matrices
Graphical representation of covariant-contravariant modal formulae
Equilibria und weiteres Heiteres II
On the Unification of Process Semantics: Logical Semantics
A Verified Algebra for Linked Data
A Testing Framework for P Systems
Mean-payoff Automaton Expressions
Symmetry Breaking for Distributed Multi-Context Systems
Complexity of Model Checking for Modal Dependence Logic
Reactive Turing Machines
Logical Varieties in Normative Reasoning
Two-Domain DNA Strand Displacement
Logical Modelling of Physarum Polycephalum
Deciding Kleene Algebras in Coq
A LTL Fragment for GR(1)-Synthesis
Towards Normal Forms for GHZ/W Calculus
Randomness and Differentiability
Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable
Efficient CSL Model Checking Using Stratification
On A Semi-Automatic Method for Generating Composition Tables
