Aleksandr Karbyshev

Cited by

	All	Since 2019
Citations	558	302
h-index	9	7
i10-index	8	6

20122013201420152016201720182019202020212022202320243 11 21 39 66 48 60 69 63 53 47 26 44

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mooly SagivTel Aviv UniversityVerified email at acm.org
Shachar ItzhakyTel Aviv UniversityVerified email at tau.ac.il
Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
Thomas BallMicrosoft ResearchVerified email at microsoft.com
Michael SchapiraProfessor of Computer Science, The Hebrew University of JerusalemVerified email at huji.ac.il
Asaf ValadarskyHebrew University of JerusalemVerified email at mail.huji.ac.il
Aaron Gember-JacobsonAssistant professor, Colgate UniversityVerified email at colgate.edu
Oded PadonVMware ResearchVerified email at vmware.com
Neil ImmermanCollege of Computer and Information Sciences, UMass, AmherstVerified email at cs.umass.edu
Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenVerified email at in.tum.de
Noam RinetzkyAssistant Professor of Computer Science, Tel Aviv UniversityVerified email at cs.tau.ac.il
Ori LahavTel Aviv UniversityVerified email at tau.ac.il
Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Pierre-Yves StrubResearch Scientist, PQShieldVerified email at strub.nu
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Kasper SvendsenDepartment of Computer Science, Aarhus UniversityVerified email at itu.dk
Aslan AskarovAssociate Professor at Aarhus UniversityVerified email at cs.au.dk
Andrej BauerUniversity of LjubljanaVerified email at andrej.com

Aleksandr Karbyshev

Heliax

Verified email at heliax.dev

Programming Languages Program Verification Formal Methods Algorithms


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Vericon: towards verifying controller programs in software-defined networks T Ball, N Bjørner, A Gember, S Itzhaky, A Karbyshev, M Sagiv, M Schapira, ... Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014	264	2014
Property-Directed Inference of Universal Invariants or Proving Their Absence A Karbyshev, N Bjørner, S Itzhaky, N Rinetzky, S Shoham Computer Aided Verification - 27th International Conference, CAV 2015 9206 …, 2015	90	2015
Decidability of inferring inductive invariants O Padon, N Immerman, S Shoham, A Karbyshev, M Sagiv ACM SIGPLAN Notices 51 (1), 217-231, 2016	48	2016
Decentralizing SDN policies O Padon, N Immerman, A Karbyshev, O Lahav, M Sagiv, S Shoham ACM SIGPLAN Notices 50 (1), 663-676, 2015	38	2015
Computer-aided proofs for multiparty computation with active security H Haagh, A Karbyshev, S Oechsner, B Spitters, PY Strub 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 119-131, 2018	37	2018
What is a pure functional? M Hofmann, A Karbyshev, H Seidl Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010	24	2010
Verifying a local generic solver in Coq M Hofmann, A Karbyshev, H Seidl International Static Analysis Symposium, 340-355, 2010	22	2010
Compositional non-interference for concurrent programs via separation and framing A Karbyshev, K Svendsen, A Askarov, L Birkedal Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018	19	2018
Monadic parametricity of second-order functionals A Karbyshev Technische Universität München, 2013	9	2013
On Monadic Parametricity of Second-Order Functionals A Bauer, M Hofmann, A Karbyshev FoSSaCS 7794, 225-240, 2013	6	2013
Technical Report: On the Verification of Local Generic Solvers M Hofmann, A Karbyshev, H Seidl http://www2.in.tum.de/bib/files/Hofmann13Solvers.pdf, 0	1
Technical Report: On monadic parametricity of second-order functionals A Bauer, M Hofmann, A Karbyshev http://mediatum.ub.tum.de/doc/1112586/document.pdf, 2012		2012
6.7. Purity of higher-order functionals A Karbyshev Joint Workshop of the German Research Training Groups in Computer Science, 102, 2011		2011

The system can't perform the operation now. Try again later.

Articles 1–13

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors