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 fields papers by Seok Ju Seong are about Top fields papers by José Reinaldo Cerqueira Bráz are about Top journals papers by G. Morgan‐Jones are published in Top countries impacted by papers by Kwok Hung Li Top journals papers by W.M. de Azevêdo are published in Top journals papers by R. Arthur Bouwman are published in Top journals papers by Satoko Miyatake are published in Top countries impacted by papers by Juan T. Timi