Cs-Lo
Distance Constraint Satisfaction Problems
Monadic second-order model-checking on decomposable matroids
On Finite Bases for Weak Semantics: Failures versus Impossible Futures
Decisive Markov Chains
Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation
A proof theoretic analysis of intruder theories
Simple characterizations for commutativity of quantum weakest preconditions
Heuristic Methods for Security Protocols
Confluence Reduction for Probabilistic Systems (extended version)
On Constructive Connectives and Systems
Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach
Generic Modal Cut Elimination Applied to Conditional Logics
Open Graphs and Monoidal Theories
Closed Choice and a Uniform Low Basis Theorem
Timed Parity Games: Complexity and Robustness
Algorithmic Verification of Asynchronous Programs
Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
Rewriting Logic Semantics of a Plan Execution Language
Modular Construction of Fixed Point Combinators and Clocked Boehm Trees
Reasoning About Knowledge of Unawareness Revisited
Relating timed and register automata
Characterization and definability in modal first-order fragments
