Cs-Lo
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
Incomputability of Simply Connected Planar Continua
The Syllogistic with Unity
Feasible Automata for Two-Variable Logic with Successor on Data Words
Specimens: "most of" generic NPs in a contextually flexible type theory
Dynamics of Knowledge in DeLP through Argument Theory Change
PTaCL: A Language for Attribute-Based Access Control in Open Systems
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems
The Cohomology of Non-Locality and Contextuality
Topological Logics with Connectedness over Euclidean Spaces
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics
Using non-convex approximations for efficient analysis of timed automata
Can Nondeterminism Help Complementation?
A Logic for Choreographies
Implementing an Automatic Differentiator in ACL2
