- Conférence IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS [ERA A] [QUALIS A1]
Bouzid, Yasser, Yasmina Bestaoui, et Houria Siguerdidjane. « Quadrotor-UAV optimal coverage path planning in cluttered environment with a limited onboard energy ». In 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2017), 979–984, Vancouver, Canada: IEEE, septembre 2017. [ DOI ] [ HAL IBISC ]
- Conférence International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX [ERA A]
Cerrito, Serenella, et Amélie David. « Minimisation of ATL * models ». In 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017), 10501:193–208. Lecture Notes in Computer Science. Brasilia, Brésil, septembre 2017. [ 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/) »
