Cs-Lo
Confluence via strong normalisation in an algebraic lambda-calculus with rewriting
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
DB Category: Denotational Semantics for View-based Database Mappings
Continuation-passing Style Models Complete for Intuitionistic Logic
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing
Experimental Aspects of Synthesis
An Improved Implementation and Abstract Interface for Hybrid
The HIVE Tool for Informed Swarm State Space Exploration
The Distance Function on a Computable Graph
A coinductive semantics of the Unlimited Register Machine
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
Trees over Infinite Structures and Path Logics with Synchronization
A Lambda Term Representation Inspired by Linear Ordered Logic
Graded CTL Model Checking for Test Generation
Model-Based Trace-Checking
Lazy Decomposition for Distributed Decision Procedures
Partial Redundancy Elimination for Multi-threaded Programs
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
A Hierarchy of Tree-Automatic Structures
Reflexivity and the diagonal argument in proofs of limitative theorems
