Cs-Lo
Computational Processes and Incompleteness
A Rewriting-Logic-Based Technique for Modeling Thermal Systems
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity
Analysis and Verification of Service Interaction Protocols - A Brief Survey
Timed Automata Semantics for Analyzing Creol
Semantics of Typed Lambda-Calculus with Constructors
On the Applicability of Posts Lattice
Realizability algebras II : new models of ZF + DC
Explicit Substitutions for Contextual Type Theory
Constraint Propagation for First-Order Logic and Inductive Definitions
Generating Bijections between HOAS and the Natural Numbers
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
Comparison of Algorithms for Checking Emptiness on Buechi Automata
Congruence from the Operators Point of View: Compositionality Requirements on Process Semantics
Model Checking Probabilistic Timed Automata with One or Two Clocks
An Intuitive Automated Modelling Interface for Systems Biology
Probabilistic Model Checking for Propositional Projection Temporal Logic
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Solving Linux Upgradeability Problems Using Boolean Optimization
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)
