Cs-Lo
Local Consistency and SAT-Solvers
Model Checking Parse Trees
Modeling and Verification of Agent based Adaptive Traffic Signal using Symbolic Model Verifier
On Generating *-Sound Nets with Substitution
On Multiplicative Linear Logic, Modality and Quantum Circuits
Operational semantics for signal handling
Parity and Streett Games with Costs
Petri Net Reachability Graphs: Decidability Status of First Order Properties
Reasoning with Data-Centric Business Processes
Refinement Checking for Multirate Hybrid ZIA
Relational Theories with Null Values and Non-Herbrand Stable Models
Synthesis from LTL Specifications with Mean-Payoff Objectives
Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints
Teaching Lesniewskis Prothetic with a Natural Deduction System
The Buffered pi-Calculus: A Model for Concurrent Languages
The Complexity of Circumscription in DLs
The Generic Model of Computation
The Refined Calculus of Inductive Construction: Parametricity and Abstraction
Transfer Function Synthesis without Quantifier Elimination
Tree-Automatic Well-Founded Trees
Verifying Probabilistic Correctness in Isabelle with pGCL
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
