Leonid Ryzhyk
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Hardware and Architecture top 5%
- Parallel Computing and Optimization Techniques
Papers in
-
- Security and Verification in Computing 14
- Advanced Software Engineering Methodologies 8
-
- Distributed systems and fault tolerance 15
- Co-authors
- Gernot Heiser (12 shared papers)Ihor Kuz (5 shared papers)Nina Narodytska (9 shared papers)Peter Chubb (3 shared papers)Mooly Sagiv (4 shared papers)Adam K. Walker (7 shared papers)Shiva Prasad Kasiviswanathan (1 shared paper)Toby Walsh (1 shared paper)
- Journals
- ACM SIGPLAN Notices (1 paper)The VLDB Journal (1 paper)ACM SIGMOD Record (1 paper)Proceedings of the VLDB Endowment (1 paper)International Journal on Software Tools for Technology Transfer (1 paper)
- Partner nations
- AustraliaUnited StatesCanada
In The Last Decade
Leonid Ryzhyk
41 papers receiving 654 citations
Peers
Comparison fields: 5 of 34
- Software 184
- Hardware and Architecture 233
- Computer Networks and Communications 273
- Artificial Intelligence 379
- Computational Theory and Mathematics 166
Countries citing papers authored by Leonid Ryzhyk
This map shows the geographic impact of Leonid Ryzhyk's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Leonid Ryzhyk with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Leonid Ryzhyk more than expected).
Fields of papers citing papers by Leonid Ryzhyk
This network shows the impact of papers produced by Leonid Ryzhyk. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Leonid Ryzhyk. The network helps show where Leonid Ryzhyk may publish in the future.
Co-authors
The 25 scholars most cited alongside Leonid Ryzhyk, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 43 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2018 | 103 | |
| 2 | 2009 | 79 | |
| 3 | 2009 | 66 | |
| 4 | 2019 | 58 | |
| 5 | 2014 | 37 | |
| 6 | 2017 | 32 | |
| 7 | 2013 | 28 | |
| 8 | 2016 | 23 | |
| 9 | 2014 | 21 | |
| 10 | 2013 | 17 | |
| 11 | 4 Regression-free Synthesis for Concurrency∗ | 2014 | 16 |
| 12 | 2010 | 16 | |
| 13 | Correct by Construction Networks Using Stepwise Refinement | 2017 | 14 |
| 14 | 2023 | 13 | |
| 15 | Predicate Abstraction for Reactive Synthesis | 2015 | 12 |
| 16 | 2017 | 12 | |
| 17 | 2021 | 12 | |
| 18 | 2016 | 11 | |
| 19 | 2015 | 10 | |
| 20 | 2010 | 10 |
About Leonid Ryzhyk
Leonid Ryzhyk is a scholar working on Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture, Software and Computational Theory and Mathematics, having authored 43 papers that have together received 684 indexed citations. Recurring topics across this work include Distributed systems and fault tolerance (15 papers), Security and Verification in Computing (14 papers), Parallel Computing and Optimization Techniques (10 papers), Software Testing and Debugging Techniques (9 papers), Formal Methods in Verification (9 papers), Advanced Software Engineering Methodologies (8 papers), Real-Time Systems Scheduling (6 papers) and Cloud Computing and Resource Management (5 papers). The work is most often cited by research in Software (184 citations), Hardware and Architecture (233 citations), Computer Networks and Communications (273 citations), Artificial Intelligence (379 citations) and Computational Theory and Mathematics (166 citations). Leonid Ryzhyk has collaborated with scholars based in Australia, United States and Canada. Frequent co-authors include Gernot Heiser, Ihor Kuz, Nina Narodytska, Peter Chubb, Mooly Sagiv, Adam K. Walker, Shiva Prasad Kasiviswanathan, Toby Walsh, Etienne Le Sueur and Thomas A. Henzinger. Their work appears in journals such as ACM SIGPLAN Notices, The VLDB Journal, ACM SIGMOD Record, Proceedings of the VLDB Endowment and International Journal on Software Tools for Technology Transfer.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.