Enrico Tronci
About
Enrico Tronci has authored 72 papers that have received a total of 503 indexed citations.
This includes 45 papers in Computational Theory and Mathematics, 15 papers in Artificial Intelligence and 15 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (36 papers), Embedded Systems Design Techniques (11 papers) and Real-time simulation and control systems (10 papers). Enrico Tronci is often cited by papers focused on Formal Methods in Verification (36 papers), Embedded Systems Design Techniques (11 papers) and Real-time simulation and control systems (10 papers) and collaborates with scholars based in Italy, Switzerland and Germany. Enrico Tronci's co-authors include Igor Melatti, Toni Mancini, Federico Mari, Ivano Salvo and Annalisa Massini and has published in prestigious journals such as Bioinformatics, IEEE Transactions on Automatic Control and IEEE Transactions on Industrial Electronics
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by G. Rajamurugan are co-authored with Top journals papers by Bo Liang are published in Top authors papers by Dae-Hyun Lee are co-authored with Top journals papers by Masashi Amano are published in Top journals papers by P. W. Schmor are published in Top countries impacted by papers by Hiroya Murakami Top countries impacted by papers by Gianni Testino Top fields papers by А. В. Суворов are about