Cs-Lo
Infinite Oracle Queries in Type-2 Machines (Extended Abstract)
Refinement and Verification of Real-Time Systems
Unprovability of the Logical Characterization of Bisimulation
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation
Deduction as Reduction
A Calculus of Consistent Component-based Software Updates
Blocking Underhand Attacks by Hidden Coalitions (Extended Version)
Ackermannian and Primitive-Recursive Bounds with Dicksons Lemma
Acyclic Solos and Differential Interaction Nets
Breaking Symmetries
A Transformation-based Implementation for CLP with Qualification and Proximity
Symmetry-breaking Answer Set Solving
Representing Isabelle in LF
A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction
A Simplification of a Real-Time Verification Problem
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
Linear Recursion
A Decidable Class of Nested Iterated Schemata (extended version)
Local Termination: theory and practice
A Reduced Offset Based Method for Fast Computation of the Prime Implicants Covering a Given Cube
Sound and complete axiomatizations of coalgebraic language equivalence
Dynamic Backward Slicing of Rewriting Logic Computations
