Publications à fort impact du mois d’août 2015

/, Publications à fort impact, Recherche/Publications à fort impact du mois d’août 2015

Publications à fort impact du mois d’août 2015

  • 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/) »