Automated Induction for Complex Data Structures

Automated Predicate Abstraction for Real-Time Models

Automated Synthesis of a Finite Complexity Ordering for Saturation

Automated Synthesis of Assertion Monitors using Visual Specifications

Automated Synthesis of Tableau Calculi

Automated Termination Analysis for Logic Programs with Cut

Automated Termination Proofs for Logic Programs by Term Rewriting

Automatic Generation of CHR Constraint Solvers

Automatic Generation of Proof Tactics for Finite-Valued Logics

Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder

Automatic Modular Abstractions for Template Numerical Constraints

Automatic Music Composition using Answer Set Programming

Automatic Probabilistic Program Verification through Random Variable Abstraction

Automatic Sequences and Zip-Specifications

Automatic structures of bounded degree revisited

Automatic Synthesis of Switching Controllers for Linear Hybrid Automata

Automatic Verification of Timed Concurrent Constraint Programs

Automating Access Control Logics in Simple Type Theory with LEO-II

Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda

Autosolvability of halting problem instances for instruction sequences