Amélie David

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 5

Top Topics

Satisfiability Testing

Decision Procedures

Conjunctive Queries

Top Venues

ACM Trans. Comput. Log.

University of Évry Val d'Essonne, France (PHD)

Education History

University of Évry Val d'Essonne, France

PHD

Publications

Serenella Cerrito, Amélie David, Valentin Goranko
Minimisation of Models Satisfying CTL Formulas. TIME (2019)
Serenella Cerrito, Amélie David
Minimisation of ATL ^* Models. TABLEAUX (2017)
Amélie David, François Laroussinie, Nicolas Markey
On the Expressiveness of QCTL. CONCUR (2016)
Serenella Cerrito, Amélie David, Valentin Goranko
. ACM Trans. Comput. Log. 17 (1) (2015)
Amélie David
Satisfiability by Tableaux. CADE (2015)
Serenella Cerrito, Amélie David, Valentin Goranko
Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+. CoRR (2014)
Serenella Cerrito, Amélie David, Valentin Goranko
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. IJCAR (2014)
Amélie David
TATL: Implementation of ATL Tableau-Based Decision Procedure. TABLEAUX (2013)