Andrea Masini
About
Andrea Masini has authored 49 papers that have received a total of 303 indexed citations.
This includes 33 papers in Artificial Intelligence, 24 papers in Computational Theory and Mathematics and 4 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (23 papers), Logic, Reasoning, and Knowledge (19 papers) and Formal Methods in Verification (15 papers). Andrea Masini is often cited by papers focused on Logic, programming, and type systems (23 papers), Logic, Reasoning, and Knowledge (19 papers) and Formal Methods in Verification (15 papers) and collaborates with scholars based in Italy, France and United States. Andrea Masini's co-authors include Margherita Zorzi, Luca Viganò, Marco Morelli, Simone Martini and Stefano Guerrini and has published in prestigious journals such as IEEE Communications Magazine, IEEE Transactions on Intelligent Transportation Systems and Future Generation Computer Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Tarek Fortaki Top authors papers by Gabriel B. Dadi are co-authored with Top countries impacted by papers by Ruslan Ufa Top countries impacted by papers by Koichiro Kimura Top countries impacted by papers by Bob Carlson Top journals papers by Tetsuzo Inouye are published in Top authors papers by Dennis B. Beringer are co-authored with