Cs-Lo
Aligning component upgrades
Outlier detection in default logics: the tractability/intractability frontier
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus
Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar
The First-Order Theory of Ground Tree Rewrite Graphs
Gaming security by obscurity
Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)
Modular Abstractions of Reactive Nodes using Disjunctive Invariants
A Study of the PDGF Signaling Pathway with PRISM
A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report)
Shared Memory Concurrent System Verification using Kronecker Algebra
Argument filterings and usable rules in higher-order rewrite systems
A Software Tool for Legal Drafting
Non-termination Analysis of Logic Programs with Integer arithmetics
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
Semantic Predicate Types and Approximation for Class-based Object Oriented Programming
Effectively Nonblocking Consensus Procedures Can Execute Forever - a Constructive Version of FLP
Nested Hoare Triples and Frame Rules for Higher-order Store
Are random axioms useful?
A Minimal OO Calculus for Modelling Biological Systems
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments
Testing first-order properties for subclasses of sparse graphs
