Cs-Lo
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems
Assume-Guarantee Synthesis for Digital Contract Signing
An algorithmic approximation of the infimum reachability probability for Probabilistic Finite Automata
Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols
A Tree Logic with Graded Paths and Nominals
On CSP and the Algebraic Theory of Effects
An Effective Extension of the Wagner Hierarchy to Blind Counter Automata
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
Closure properties of predicates recognized by deterministic and non-deterministic asynchronous automata
A Note on Semantic Web Services Specification and Composition in Constructive Description Logics
Bisimulation for quantum processes
A Test Automation Framework for Mercury
An introduction to finite automata and their connection to logic
A non-expert view on Turing machines, Proof Verifiers, and Mental reasoning
Evidence Algorithm and System for Automated Deduction: A Retrospective View
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
A Fully Abstract Symbolic Semantics for Psi-Calculi
Making Abstraction Refinement Efficient in Model Checking
Non-Deterministic Kleene Coalgebras
A finiteness structure on resource terms
Relational Hidden Variables and Non-Locality
Proofs, proofs, proofs, and proofs
