Cs-Lo
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
Logic Characterization of Floyd Languages
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
An Operational Petri Net Semantics for the Join-Calculus
Strongly Complete Logics for Coalgebras
On the Complexity of Finding Narrow Proofs
On the Parameterized Intractability of Monadic Second-Order Logic
Relating Operator Spaces via Adjunctions
Recompression: a simple and powerful technique for word equations
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck
Quantitative Information Flow as Safety and Liveness Hyperproperties
A control strategy algorithm for finite alternating transition systems
Cut-elimination for the mu-calculus with one variable
Observability of Turing Machines: a Refinement of the Theory of Computation
Assume-Guarantee Abstraction Refinement for Probabilistic Systems
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic
Isomorphisms of types in the presence of higher-order references (extended version)
Verifying an algorithm computing Discrete Vector Fields for digital imaging
