Aleksandr Karbyshev 个人学术档案

引用次数

	总计	2019 年至今
引用	552	296
h 指数	9	7
i10 指数	8	6

20122013201420152016201720182019202020212022202320243 11 21 39 66 48 60 69 63 53 46 26 39

开放获取的出版物数量

查看全部

5 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Mooly SagivTel Aviv University在 acm.org 的电子邮件经过验证
Shachar ItzhakyTel Aviv University在 tau.ac.il 的电子邮件经过验证
Sharon ShohamTel Aviv University在 tauex.tau.ac.il 的电子邮件经过验证
Thomas BallMicrosoft Research在 microsoft.com 的电子邮件经过验证
Michael SchapiraProfessor of Computer Science, The Hebrew University of Jerusalem在 huji.ac.il 的电子邮件经过验证
Asaf ValadarskyHebrew University of Jerusalem在 mail.huji.ac.il 的电子邮件经过验证
Aaron Gember-JacobsonAssistant professor, Colgate University在 colgate.edu 的电子邮件经过验证
Oded PadonVMware Research在 vmware.com 的电子邮件经过验证
Neil ImmermanCollege of Computer and Information Sciences, UMass, Amherst在 cs.umass.edu 的电子邮件经过验证
Helmut SeidlProfessor für Informatik, School of CIT, TU München在 in.tum.de 的电子邮件经过验证
Noam RinetzkyAssistant Professor of Computer Science, Tel Aviv University在 cs.tau.ac.il 的电子邮件经过验证
Ori LahavTel Aviv University在 tau.ac.il 的电子邮件经过验证
Bas SpittersAssociate Professor, Aarhus University在 cs.au.dk 的电子邮件经过验证
Pierre-Yves StrubResearch Scientist, PQShield在 strub.nu 的电子邮件经过验证
Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
Kasper SvendsenDepartment of Computer Science, Aarhus University在 itu.dk 的电子邮件经过验证
Aslan AskarovAssociate Professor at Aarhus University在 cs.au.dk 的电子邮件经过验证
Andrej BauerUniversity of Ljubljana在 andrej.com 的电子邮件经过验证

关注

Aleksandr Karbyshev

Heliax

在 heliax.dev 的电子邮件经过验证

Programming Languages Program Verification Formal Methods Algorithms


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	261	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	36	2018
What is a pure functional? M Hofmann, A Karbyshev, H Seidl Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010	23	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	18	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

系统目前无法执行此操作，请稍后再试。

文章 1–13

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用