Franco Raimondi
About
Franco Raimondi has authored 47 papers that have received a total of 569 indexed citations.
This includes 34 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 11 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (21 papers), Logic, Reasoning, and Knowledge (15 papers) and Multi-Agent Systems and Negotiation (11 papers). Franco Raimondi is often cited by papers focused on Formal Methods in Verification (21 papers), Logic, Reasoning, and Knowledge (15 papers) and Multi-Agent Systems and Negotiation (11 papers) and collaborates with scholars based in United Kingdom, United States and Italy. Franco Raimondi's co-authors include Alessio Lomuscio, Giuseppe Primiero, Taolue Chen, Charles Pecheur and Leonardo Mostarda and has published in prestigious journals such as IEEE Transactions on Software Engineering, Computers & Operations Research and Journal of Computer and System Sciences.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Jinyan Liu Breakdown of academic impact, for papers by H. Nejat Basım Breakdown of academic impact, for papers by Nada Lakić Breakdown of academic impact, for papers by Fei Xue Breakdown of academic impact, for papers by Anirban Goutam Mukherjee Breakdown of academic impact, for papers by Kangyu Wang Breakdown of academic impact, for papers by Masahiro Fujiwara Breakdown of academic impact, for papers by Wenli Cui