Yaniv Saʼar
Impact in
- Software top 5%
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
-
- Formal Methods in Verification
- Petri Nets in System Modeling
Papers in
-
- Formal Methods in Verification 6
-
- Software-Defined Networks and 5G 5
- Caching and Content Delivery 5
- Software System Performance and Reliability 1
- Co-authors
- Barbara Jobstmann (1 shared paper)Nir Piterman (1 shared paper)Amir Pnueli (1 shared paper)Roderick Bloem (1 shared paper)Shahar Maoz (4 shared papers)Danny Raz (2 shared papers)Marcelo Caggiani Luizelli (2 shared papers)Gil Einziger (4 shared papers)
- Journals
- IEEE Transactions on Network and Service Management (1 paper)Proceedings of the ACM on Programming Languages (1 paper)Journal of Computer and System Sciences (1 paper)International Conference on Software Engineering (1 paper)2013 35th International Conference on Software Engineering (ICSE) (1 paper)
In The Last Decade
Yaniv Saʼar
10 papers receiving 370 citations
Peers
Comparison fields: 5 of 33
- Software 155
- Computational Theory and Mathematics 249
- Hardware and Architecture 47
- Artificial Intelligence 143
- Computer Networks and Communications 82
Countries citing papers authored by Yaniv Saʼar
This map shows the geographic impact of Yaniv Saʼar'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 Yaniv Saʼar with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Yaniv Saʼar more than expected).
Fields of papers citing papers by Yaniv Saʼar
This network shows the impact of papers produced by Yaniv Saʼar. 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 Yaniv Saʼar. The network helps show where Yaniv Saʼar may publish in the future.
Co-authors
The 12 scholars most cited alongside Yaniv Saʼar, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2011 | 249 | |
| 2 | 2018 | 33 | |
| 3 | 2011 | 23 | |
| 4 | 2019 | 16 | |
| 5 | 2017 | 14 | |
| 6 | 2012 | 11 | |
| 7 | 2019 | 11 | |
| 8 | 2013 | 10 | |
| 9 | 2013 | 6 | |
| 10 | 2021 | 4 | |
| 11 | 2023 | 0 | |
| 12 | 2019 | 0 |
About Yaniv Saʼar
Yaniv Saʼar is a scholar working on Computational Theory and Mathematics, Computer Networks and Communications, Software, Information Systems and Artificial Intelligence, having authored 12 papers that have together received 377 indexed citations. Recurring topics across this work include Formal Methods in Verification (6 papers), Software-Defined Networks and 5G (5 papers), Caching and Content Delivery (5 papers), Software Testing and Debugging Techniques (4 papers), Cloud Computing and Resource Management (3 papers), Model-Driven Software Engineering Techniques (3 papers), Advanced Software Engineering Methodologies (2 papers) and Software System Performance and Reliability (1 paper). The work is most often cited by research in Software (155 citations), Computational Theory and Mathematics (249 citations), Hardware and Architecture (47 citations), Artificial Intelligence (143 citations) and Computer Networks and Communications (82 citations). Yaniv Saʼar has collaborated with scholars based in Israel, Brazil and Germany. Frequent co-authors include Barbara Jobstmann, Nir Piterman, Amir Pnueli, Roderick Bloem, Shahar Maoz, Danny Raz, Marcelo Caggiani Luizelli, Gil Einziger, Itai Segall and Gabriel Scalosub. Their work appears in journals such as IEEE Transactions on Network and Service Management, Proceedings of the ACM on Programming Languages, Journal of Computer and System Sciences, International Conference on Software Engineering and 2013 35th International Conference on Software Engineering (ICSE).
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.