Leonid Ryzhyk
About
Leonid Ryzhyk has authored 16 papers that have received a total of 149 indexed citations.
This includes 9 papers in Artificial Intelligence, 8 papers in Software and 6 papers in Computer Networks and Communications. The topics of these papers are Software Testing and Debugging Techniques (6 papers), Formal Methods in Verification (4 papers) and Security and Verification in Computing (4 papers). Leonid Ryzhyk is often cited by papers focused on Software Testing and Debugging Techniques (6 papers), Formal Methods in Verification (4 papers) and Security and Verification in Computing (4 papers) and collaborates with scholars based in Australia, United States and United Kingdom. Leonid Ryzhyk's co-authors include Adam K. Walker, Leander Tentrup, Swen Jacobs, Ocan Sankur and Jean-François Raskin and has published in prestigious journals such as Proceedings of the VLDB Endowment, ACM SIGOPS Operating Systems Review and International Journal on Software Tools for Technology Transfer
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Natalia Vélez are published in Top fields papers by Quazi Mamun are about Top fields papers by Ezra Karger are about Top journals papers by Phan Kế Lộc are published in Top journals papers by Jeff Lande are published in Top authors papers by Sarah Duncan are co-authored with Top fields papers by Melissa Mueller are about Top fields papers by D. Tiphène are about