- Journal Methods in Ecology and Evolution [CiteScore 2019: 11,5]
Gaucherel, Cedric, et Franck Pommereau. « Using discrete systems to exhaustively characterize the dynamics of an integrated ecosystem ». Methods in Ecology and Evolution 10, no 9 : 1615–1627, septembre 2019. [ DOI ] [ HAL IBISC ]
- Proceeding TABLEAUX [ERA A][Qualis B1]
Cerrito, Serenella, et Andrei Popescu. Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science, Vol. 11714. London, United Kingdom: Springer, septembre 2019. [ DOI ] [ HAL IBISC ]
« fort impact » signifie ici: « Publications en des revues classées dans le top 10% de CiteScoreMetrics, 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/) ou brevets »
