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 journals papers by Clayton H. Kallman are published in Top authors papers by P. F. Watson are co-authored with Top journals papers by Christoph Albermann are published in Top countries impacted by papers by Christopher L. Delgado Top fields papers by George P. Mavroeidis are about Top fields papers by Angela Wahl are about Top authors papers by Martin Pál are co-authored with Top journals papers by Marianna Ovadis are published in