Leonid Ryzhyk
About
Leonid Ryzhyk has authored 16 papers that have received a total of 152 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 fields papers by Fuxing Miao are about Top journals papers by Marta Del Pozo‐Valero are published in Top fields papers by Stanley Weng are about Top authors papers by E. H. Schröter are co-authored with Top journals papers by Jianxin Bian are published in Top fields papers by Mladen Dimitrov are about Top fields papers by Xuhui Jia are about Top countries impacted by papers by Nathan Andrews