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 journals papers by Sanghee Kim are published in Top countries impacted by papers by Anish Yadav Top fields papers by H.O. Menlove are about Top countries impacted by papers by Heming Chen Top fields papers by Irazú Contreras-Yáñez are about Top countries impacted by papers by Dian Agustia Top fields papers by P. Petkov are about Top authors papers by Renata Chałas are co-authored with