Aleksandr Karbyshev

427 total citations
7 papers, 151 citations indexed

About

Aleksandr Karbyshev is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Aleksandr Karbyshev has authored 7 papers receiving a total of 151 indexed citations (citations by other indexed papers that have themselves been cited), including 6 papers in Artificial Intelligence, 4 papers in Computer Networks and Communications and 3 papers in Computational Theory and Mathematics. Recurrent topics in Aleksandr Karbyshev's work include Software-Defined Networks and 5G (4 papers), Logic, programming, and type systems (3 papers) and Software Testing and Debugging Techniques (3 papers). Aleksandr Karbyshev is often cited by papers focused on Software-Defined Networks and 5G (4 papers), Logic, programming, and type systems (3 papers) and Software Testing and Debugging Techniques (3 papers). Aleksandr Karbyshev collaborates with scholars based in Israel, United States and Germany. Aleksandr Karbyshev's co-authors include Mooly Sagiv, Shachar Itzhaky, Nikolaj Bjørner, Thomas Ball, Aaron Gember-Jacobson, Asaf Valadarsky, Michael Schapira, Sharon Shoham, Oded Padon and Neil Immerman and has published in prestigious journals such as Journal of the ACM and ACM SIGPLAN Notices.

In The Last Decade

Aleksandr Karbyshev

7 papers receiving 143 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Aleksandr Karbyshev Israel	5	129	54	31	26	25	7	151
Matthew Fairbairn United Kingdom	4	75 0.6×	64 1.2×	45 1.5×	40 1.5×	9 0.4×	7	126
Rainer Feldmann Germany	8	69 0.5×	47 0.9×	8 0.3×	46 1.8×	37 1.5×	11	137
Roopsha Samanta United States	7	54 0.4×	24 0.4×	21 0.7×	23 0.9×	52 2.1×	18	112
Musab A. Alturki United States	6	57 0.4×	87 1.6×	14 0.5×	46 1.8×	7 0.3×	16	117
Aman Goel United States	6	73 0.6×	28 0.5×	9 0.3×	18 0.7×	10 0.4×	14	114
Gilles Audemard France	6	24 0.2×	78 1.4×	25 0.8×	51 2.0×	8 0.3×	14	119
Dirk Leinenbach Germany	6	45 0.3×	102 1.9×	26 0.8×	82 3.2×	9 0.4×	8	152
Gustavo Petri United States	8	102 0.8×	86 1.6×	14 0.5×	15 0.6×	14 0.6×	25	162
Andreas Holzer Austria	4	32 0.2×	76 1.4×	51 1.6×	42 1.6×	12 0.5×	13	142
Omar Inverso Italy	6	44 0.3×	35 0.6×	55 1.8×	70 2.7×	5 0.2×	22	118

Countries citing papers authored by Aleksandr Karbyshev

Since Specialization

Citations

This map shows the geographic impact of Aleksandr Karbyshev'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 Aleksandr Karbyshev with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Aleksandr Karbyshev more than expected).

Fields of papers citing papers by Aleksandr Karbyshev

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Aleksandr Karbyshev. 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 Aleksandr Karbyshev. The network helps show where Aleksandr Karbyshev may publish in the future.

Co-authorship network of co-authors of Aleksandr Karbyshev

This figure shows the co-authorship network connecting the top 25 collaborators of Aleksandr Karbyshev. A scholar is included among the top collaborators of Aleksandr Karbyshev 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 Aleksandr Karbyshev. Aleksandr Karbyshev 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:

7 of 7 papers shown

1.

Karbyshev, Aleksandr, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, & Sharon Shoham. (2017). Property-Directed Inference of Universal Invariants or Proving Their Absence. Journal of the ACM. 64(1). 1–33. 13 indexed citations

2.

Padon, Oded, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, & Mooly Sagiv. (2016). Decidability of inferring inductive invariants. ACM SIGPLAN Notices. 51(1). 217–231. 1 indexed citations

3.

Padon, Oded, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, & Mooly Sagiv. (2016). Decidability of inferring inductive invariants. 217–231. 7 indexed citations

4.

Padon, Oded, Neil Immerman, Aleksandr Karbyshev, et al.. (2015). Decentralizing SDN Policies. ACM SIGPLAN Notices. 50(1). 663–676. 3 indexed citations

5.

Padon, Oded, Neil Immerman, Aleksandr Karbyshev, et al.. (2014). Decentralizing SDN Policies. 663–676. 11 indexed citations

6.

Ball, Thomas, Nikolaj Bjørner, Aaron Gember-Jacobson, et al.. (2014). VeriCon. 282–293. 85 indexed citations

7.

Ball, Thomas, Nikolaj Bjørner, Aaron Gember-Jacobson, et al.. (2014). VeriCon. ACM SIGPLAN Notices. 49(6). 282–293. 31 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