Dependence logic with a majority quantifier

Dependency Pairs and Polynomial Path Orders

Dependently-Typed Formalisation of Typed Term Graphs

Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of control

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