- Conférence International Conference on Automated Deduction – CADE [ERA A][QUALIS A2]
David, Amélie. « Deciding ATL* satisfiability by tableaux ». In 25th International Conference on Automated Deduction (CADE 2015), 9195:214–228. Lecture Notes in Computer Science. Berlin, Germany, août 2015. [DOI ][HAL IBISC]
« fort impact » signifie ici: « Publications en des revues classées dans le top 10% de CiteScoreMetrics et publications en conférences classées A selon l’indicateur ERA et/ou classées A1/A2 selon l’indicateur QUALIS (http://www.conferenceranks.com/) »
