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

• Journal IEEE Transactions on Intelligent Transportation Systems [CiteScore 2017: 5,14] 

Wu, Peng, Ada Che, Feng Chu, et Yunfei Fang. « Exact and heuristic algorithms for rapid and station arrival-time guaranteed bus transportation via lane reservation ». IEEE Transactions on Intelligent Transportation Systems 18, n^o 8 : 2028–2043, août 2017. [ DOI ] [ HAL IBISC ]

• Journal Computers and Industrial Engineering [CiteScore 2017: 3,80]

Wu, Peng, Feng Chu, Ada Che, et Yunfei Fang. « An efficient two-phase exact algorithm for the automated truck freight transportation problem ». Computers and Industrial Engineering 110 : 59–66, août 2017. [ DOI ] [ HAL IBISC ]

• Conférence International Joint Conference on Artificial Intelligence, IJCAI [ERA A] [QUALIS A1]

Belardinelli, Francesco, et Andreas Herzig. « Dynamic logic for data-aware systems: Decidability results ». In 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 821–827. Melbourne, Australia, août 2017. [ HAL IBISC ]

Belardinelli, Francesco, Alessio Lomuscio, Aniello Murano, et Sasha Rubin « Verification of broadcasting multi-agent systems against an epistemic strategy logic ». In 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 91–97. Melbourne, Australia, août 2017. [ HAL IBISC ]

Belardinelli, Francesco, Panagiotis Kouvaros, et Alessio Lomuscio. « Parameterised verification of data-aware multi-agent systems ». In 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 98–104. Melbourne, Australia, août 2017.  [ HAL IBISC ]

• Conférence International Conference on Parallel and Distributed Computing (Euro-Par) [ERA A] [QUALIS A2]

Rakotoarivelo, Hoby, Franck Ledoux, Franck Pommereau, et Nicolas Le Goff. « Scalable fine-grained metric-based remeshing algorithm for manycore/NUMA architectures ». In 23rd International Conference on Parallel and Distributed Computing (Euro-Par 2017), 10417:594–606. Lecture Notes in Computer Science. Santiago de Compostela, Spain, août 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/) »