- Conférence International Joint Conference on Artificial Intelligence – IJCAI [ERA A][QUALIS A1]
Belardinelli, Francesco, et Alessio Lomuscio. « Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems ». In 23rd International Joint Conference on Artificial Intelligence (IJCAI13), 725–731, Beijing, China: AAAI Press, août 2013. [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/) »
