Cs-Lo
Faster Algorithms for Alternating Refinement Relations
Expressiveness and Completeness in Abstraction
Parameterised Multiparty Session Types
Improved Separations of Regular Resolution from Clause Learning Proof Systems
Monoidal computer I: Basic computability by string diagrams
IO vs OI in Higher-Order Recursion Schemes
Forward Analysis for WSTS, Part II: Complete WSTS
A Type-Safe Model of Adaptive Object Groups
Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol
Expressibility in the Lambda Calculus with Letrec
Ranking Functions for Linear-Constraint Loops
Applying CEGAR to the Petri Net State Equation
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
Interactive verification of Markov chains: Two distributed protocol case studies
Tracing the Man in the Middle in Monoidal Categories
Choice Disjunctive Queries in Logic Programming
Hybrid performance modelling of opportunistic networks
Isabelle/jEdit --- a Prover IDE within the PIDE framework
Provably Total Functions of Arithmetic with Basic Terms
Productivity of Non-Orthogonal Term Rewrite Systems
Pattern graph rewrite systems
Tipi: A TPTP-based theory development environment emphasizing proof analysis
