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 fields papers by Kris Rutten are about Top authors papers by Д. И. Берман are co-authored with Top authors papers by P. Petkov are co-authored with Top authors papers by Olga Redina are co-authored with Top authors papers by Fritz Hartmann are co-authored with Top journals papers by E. S. Bücherl are published in Top journals papers by Khaswar Syamsu are published in Top fields papers by Zhiting Lin are about