6
Publications
320
Citations
6
H-Index
2014
Active since
Aleksandr Karbyshev is an author at Tel Aviv University specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationSystems EngineeringProgrammable NetworksSoftware-defined NetworkingBlockchainData Security
Publications per year
2014–2018
6
6
Thomas Ball, Nikolaj Bjørner, Aaron Gember-Jacobson et al. · 2014 · 143 citations
Thomas Ball, Nikolaj Bjørner, Aaron Gember-Jacobson et al. · ACM SIGPLAN Notices · 2014 · 62 citations
Property-Directed Inference of Universal Invariants or Proving Their Absence
Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky et al. · Journal of the ACM · 2017 · 40 citations
Oded Padon, Neil Immerman, Aleksandr Karbyshev et al. · 2014 · 28 citations
Network Architecture (Supply Chain Management), Engineering, Network Hardware +23
Decidability of inferring inductive invariants
Oded Padon, Neil Immerman, Sharon Shoham et al. · 2016 · 26 citations · Full text
Rows per page
1–5 of 6