Anshuman Mohan

2019202020212022202320244 4 4 11 6 5

开放获取的出版物数量

2 篇文章

0 篇文章

可查看的文章

无法查看的文章

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

Aquinas HoborAssociate Professor, University College London在 ucl.ac.uk 的电子邮件经过验证
Shengyi WangPrinceton University在 princeton.edu 的电子邮件经过验证
Tobias KappéOpen Universiteit & ILLC, University of Amsterdam在 uva.nl 的电子邮件经过验证
Dexter KozenProfessor of Computer Science, Cornell University在 cs.cornell.edu 的电子邮件经过验证
Nate FosterProfessor of Computer Science, Cornell University在 cs.cornell.edu 的电子邮件经过验证
Linh TranGraduate Student, Yale University在 yale.edu 的电子邮件经过验证

Anshuman Mohan

在 cs.cornell.edu 的电子邮件经过验证 - 首页


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Certifying graph-manipulating C programs via localizations within data structures S Wang, Q Cao, A Mohan, A Hobor Proceedings of the ACM on Programming Languages 3 (OOPSLA), Article 171, 2019	21	2019
Functional correctness of C implementations of dijkstra’s, kruskal’s, and prim’s algorithms A Mohan, WX Leow, A Hobor Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021	9	2021
Formal abstractions for packet scheduling A Mohan, Y Liu, N Foster, T Kappé, D Kozen Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1338-1362, 2023	4	2023
A functional proof pearl: inverting the Ackermann hierarchy L Tran, A Mohan, A Hobor Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020		2020

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

文章 1–4

每年引用数