Stavros Tripakis
About
Stavros Tripakis has authored 79 papers that have received a total of 1.2k indexed citations.
This includes 63 papers in Computational Theory and Mathematics, 31 papers in Hardware and Architecture and 26 papers in Software. The topics of these papers are Formal Methods in Verification (60 papers), Embedded Systems Design Techniques (29 papers) and Petri Nets in System Modeling (18 papers). Stavros Tripakis is often cited by papers focused on Formal Methods in Verification (60 papers), Embedded Systems Design Techniques (29 papers) and Petri Nets in System Modeling (18 papers) and collaborates with scholars based in United States, France and Finland. Stavros Tripakis's co-authors include Edward A. Lee, Sergio Yovine, Paul Caspi, David Broman and Franck Cassez and has published in prestigious journals such as IEEE Transactions on Automatic Control, Proceedings of the IEEE and Machine Learning
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Shigekazu Yano are about Top fields papers by George Srzednicki are about Top fields papers by Shengrui Wang are about Top fields papers by Kehui Liu are about Top journals papers by Ryan L. Boyd are published in Top fields papers by Cecilio Santander are about Top journals papers by Toshihisa Ohshima are published in Top fields papers by Māris Knite are about