- Conférence International Conference on Autonomous Agents and Multiagent Systems – AAMAS [ERA A][QUALIS A1]
Belardinelli, Francesco. « Verification of non-uniform and unbounded artifact-centric systems: Decidability through abstraction ». In 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), 717–724, Paris, France, mai 2014. [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/) »
