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

年間引用数