Deriving Relationship Between Semantic Models - An Approach for cCSP

Deriving SN from PSN: a general proof technique

Description Logic TBoxes: Model-theoretic Characterizations and Rewritability

Descriptive complexity for pictures languages (extended abstract)

Design of a Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata

Design of asynchronous supervisors

Designing a Theorem Prover

Designing SAT for HCP

Detecting Spurious Counterexamples Efficiently in Abstract Model Checking

Detecting Unsolvable Queries for Definite Logic Programs

Determinacy in a synchronous pi-calculus

Deterministic Automata for the (F,G)-fragment of LTL

Deterministic Bayesian Logic

Diagrammatic Inference

Diagrammatic logic applied to a parameterization process

Dialectica Interpretation with Marked Counterexamples

Dichotomies and Duality in First-order Model Checking Problems

Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant

Discounting in Games across Time Scales

Discovery of Invariants through Automated Theory Formation