Yaniv Saʼar

1.4k total citations
12 papers, 368 citations indexed

About

Yaniv Saʼar is a scholar working on Computational Theory and Mathematics, Computer Networks and Communications and Software. According to data from OpenAlex, Yaniv Saʼar has authored 12 papers receiving a total of 368 indexed citations (citations by other indexed papers that have themselves been cited), including 6 papers in Computational Theory and Mathematics, 5 papers in Computer Networks and Communications and 5 papers in Software. Recurrent topics in Yaniv Saʼar's work include Formal Methods in Verification (6 papers), Caching and Content Delivery (5 papers) and Software-Defined Networks and 5G (5 papers). Yaniv Saʼar is often cited by papers focused on Formal Methods in Verification (6 papers), Caching and Content Delivery (5 papers) and Software-Defined Networks and 5G (5 papers). Yaniv Saʼar collaborates with scholars based in Israel, Finland and Germany. Yaniv Saʼar's co-authors include Nir Piterman, Amir Pnueli, Barbara Jobstmann, Roderick Bloem, Shahar Maoz, Marcelo Caggiani Luizelli, Danny Raz, Gil Einziger, Itai Segall and Gabriel Scalosub and has published in prestigious journals such as Journal of Computer and System Sciences, IEEE Transactions on Network and Service Management and Proceedings of the ACM on Programming Languages.

In The Last Decade

Yaniv Saʼar

10 papers receiving 361 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Yaniv Saʼar Israel	8	245	154	141	80	47	12	368
Ramesh Bharadwaj United States	8	192 0.8×	227 1.5×	146 1.0×	72 0.9×	36 0.8×	38	399
Borzoo Bonakdarpour United States	11	175 0.7×	94 0.6×	161 1.1×	156 1.9×	85 1.8×	57	352
Claudio Menghi Italy	12	107 0.4×	172 1.1×	171 1.2×	67 0.8×	42 0.9×	51	365
Saddek Bensalem France	13	367 1.5×	255 1.7×	221 1.6×	109 1.4×	175 3.7×	42	565
Lee Pike United States	11	105 0.4×	70 0.5×	117 0.8×	71 0.9×	84 1.8×	32	267
Sabine Glesner Germany	11	175 0.7×	132 0.9×	172 1.2×	87 1.1×	155 3.3×	78	393
Jianqi Shi China	9	100 0.4×	173 1.1×	112 0.8×	107 1.3×	96 2.0×	56	385
Francisco Martins Portugal	9	104 0.4×	42 0.3×	149 1.1×	131 1.6×	75 1.6×	44	324
Bastian Schlich Germany	13	193 0.8×	202 1.3×	98 0.7×	82 1.0×	84 1.8×	37	376
Sergiy Bogomolov Germany	11	119 0.5×	68 0.4×	138 1.0×	29 0.4×	30 0.6×	32	287

Countries citing papers authored by Yaniv Saʼar

Since Specialization

Citations

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

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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-authorship network of co-authors of Yaniv Saʼar

This figure shows the co-authorship network connecting the top 25 collaborators of Yaniv Saʼar. A scholar is included among the top collaborators of Yaniv Saʼar based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Yaniv Saʼar. Yaniv Saʼar is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

12 of 12 papers shown

1.

Einziger, Gil, et al.. (2023). High Throughput VMs Placement With Constrained Communication Overhead and Provable Guarantees. IEEE Transactions on Network and Service Management. 20(3). 3148–3161.

2.

Einziger, Gil, et al.. (2021). Parallel VM Deployment with Provable Guarantees. 1–9. 4 indexed citations

3.

Namjoshi, Kedar S., et al.. (2019). Synthesis of coordination programs from linear temporal specifications. Proceedings of the ACM on Programming Languages. 4(POPL). 1–27.

4.

Einziger, Gil, et al.. (2019). Faster Placement of Virtual Machines through Adaptive Caching. 2458–2466. 11 indexed citations

5.

Einziger, Gil, et al.. (2019). Verifying Robustness of Gradient Boosted Models. Proceedings of the AAAI Conference on Artificial Intelligence. 33(1). 2446–2453. 15 indexed citations

6.

Luizelli, Marcelo Caggiani, Danny Raz, & Yaniv Saʼar. (2018). Optimizing NFV Chain Deployment through Minimizing the Cost of Virtual Switching. 2150–2158. 33 indexed citations

7.

Luizelli, Marcelo Caggiani, et al.. (2017). The actual cost of software switching for NFV chaining. 335–343. 13 indexed citations

8.

Maoz, Shahar & Yaniv Saʼar. (2013). Counter play-out: executing unrealizable scenario-based specifications. International Conference on Software Engineering. 242–251. 10 indexed citations

9.

Maoz, Shahar & Yaniv Saʼar. (2013). Counter play-out: Executing unrealizable scenario-based specifications. 2013 35th International Conference on Software Engineering (ICSE). 242–251. 6 indexed citations

10.

Maoz, Shahar & Yaniv Saʼar. (2012). Two-way traceability and conflict debugging for AspectLTL programs. 35–46. 11 indexed citations

11.

Bloem, Roderick, Barbara Jobstmann, Nir Piterman, Amir Pnueli, & Yaniv Saʼar. (2011). Synthesis of Reactive(1) designs. Journal of Computer and System Sciences. 78(3). 911–938. 242 indexed citations

12.

Maoz, Shahar & Yaniv Saʼar. (2011). AspectLTL. 19–30. 23 indexed citations

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.

Explore authors with similar magnitude of impact