Sergio Yovine
About
Sergio Yovine has authored 37 papers that have received a total of 1.7k indexed citations.
This includes 29 papers in Computational Theory and Mathematics, 22 papers in Hardware and Architecture and 13 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (28 papers), Real-Time Systems Scheduling (14 papers) and Logic, programming, and type systems (9 papers). Sergio Yovine is often cited by papers focused on Formal Methods in Verification (28 papers), Real-Time Systems Scheduling (14 papers) and Logic, programming, and type systems (9 papers) and collaborates with scholars based in France, Argentina and United States. Sergio Yovine's co-authors include Joseph Sifakis, Stavros Tripakis, Xavier Nicollin, Thomas A. Henzinger and Diego Garbervetsky and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Software Engineering and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Maki Murata‐Hori Top authors papers by Bodo Huckestein are co-authored with Top fields papers by F. Capel are about Top fields papers by S. Elizabeth Campbell are about Top fields papers by Ian B. Powell are about Top journals papers by Xiangtao Xu are published in Top journals papers by David Joseph are published in Top journals papers by Ronald E. Polk are published in