Franco Raimondi
About
Franco Raimondi has authored 47 papers that have received a total of 567 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
Top countries impacted by papers by Amir Masoud Arabi Top fields papers by G. Kalonji are about Top countries impacted by papers by Huijun Liu Top countries impacted by papers by Archana Rao Top journals papers by Myeong Im Ahn are published in Top journals papers by Ji Zhou are published in Top fields papers by Can Yildirim are about Top fields papers by Shou Feng are about