Oleg Sokolsky
About
Oleg Sokolsky has authored 135 papers that have received a total of 2.0k indexed citations.
This includes 73 papers in Computational Theory and Mathematics, 57 papers in Hardware and Architecture and 37 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (66 papers), Real-Time Systems Scheduling (51 papers) and Embedded Systems Design Techniques (34 papers). Oleg Sokolsky is often cited by papers focused on Formal Methods in Verification (66 papers), Real-Time Systems Scheduling (51 papers) and Embedded Systems Design Techniques (34 papers) and collaborates with scholars based in United States, South Korea and Canada. Oleg Sokolsky's co-authors include Insup Lee, Linh Thi Xuan Phan, James Weimer, Miroslav Pajić and Chenyang Lu and has published in prestigious journals such as Proceedings of the IEEE, ACM Computing Surveys and IEEE Transactions on Software Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Sebastian Strieth are co-authored with Top fields papers by Ki Choon Choi are about Top journals papers by Fujun Wang are published in Top countries impacted by papers by Gleb Slobodin Top countries impacted by papers by T. B. Whitaker Top authors papers by Mohamed H. Ahmed are co-authored with Top journals papers by Caroline Miller are published in Top journals papers by Yıldırım A. Bayazit are published in