Cs-Lo
A User Model for Information Erasure
Graph rewriting with polarized cloning
Alg`ebres de realisabilite: un programme pour bien ordonner R
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)
A calculus for costed computations
An Optimization for Reasoning with Forest Logic Programs
Statistical Model Checking : An Overview
A Complete and Terminating Execution Model for Constraint Handling Rules
Superdevelopments for Weak Reduction
A computer verified, monadic, functional implementation of the integral
On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases
Abstract machines for dialogue games
A two-level logic approach to reasoning about computations
Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three
Specification of Products and Product Lines
A direct proof of the confluence of combinatory strong reduction
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
Symbolic Representation of Algorithmic Game Semantics
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version)
A Process Calculus with Logical Operators
Dynamic Verification for File Safety of Multithreaded Programs
