Cs-Lo
An affine-intuitionistic system of types and effects: confluence and termination
On Omega Context Free Languages which are Borel Sets of Infinite Rank
Mirrored Language Structure and Innate Logic of the Human Brain as a Computable Model of the Oracle Turing Machine
Imitation in Large Games
Formal Verification of Self-Assembling Systems
The complexity of linear-time temporal logic over the class of ordinals
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
DNF Sampling for ProbLog Inference
Analyzing Graph Transformation Systems through Constraint Handling Rules
Cut Elimination for a Logic with Induction and Co-induction
Reducing Higher Order Pi-Calculus to Spatial Logics
Generalized Mean-payoff and Energy Games
Smart matching
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family
How to prevent type-flaw and multi-protocol attacks on cryptographic protocols under Exclusive-OR
The surprizing complexity of generalized reachability games
Security Policy Enforcement Through Refinement Process
Compactly generating all satisfying truth assignments of a Horn formula
A non-interleaving process calculus for multi-party synchronisation
Trichotomy and Dichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs
Classical and Effective Descriptive Complexities of omega-Powers
Connecting Gr"obner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics
