Diego Latella
About
Diego Latella has authored 50 papers that have received a total of 533 indexed citations.
This includes 37 papers in Computational Theory and Mathematics, 16 papers in Artificial Intelligence and 12 papers in Software. The topics of these papers are Formal Methods in Verification (33 papers), Petri Nets in System Modeling (14 papers) and Advanced Software Engineering Methodologies (9 papers). Diego Latella is often cited by papers focused on Formal Methods in Verification (33 papers), Petri Nets in System Modeling (14 papers) and Advanced Software Engineering Methodologies (9 papers) and collaborates with scholars based in Italy, The Netherlands and Germany. Diego Latella's co-authors include Mieke Massink, Joost-Pieter Katoen, Michele Loreti, Stefania Gnesi and Rocco De Nicola and has published in prestigious journals such as ACM Computing Surveys, Theoretical Computer Science and The Computer Journal
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by R. Venbrocks are published in Top journals papers by Rahul Rao are published in Top journals papers by Jiahuan Li are published in Top journals papers by R.M. Parkin are published in Top fields papers by John Chadwick are about Top journals papers by Kang Lu are published in Top countries impacted by papers by F. Chanussot Top countries impacted by papers by Marc El Beyrouthy