受强制性开放获取政策约束的文章 - Anshuman Mohan了解详情
可在其他位置公开访问的文章：2 篇
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
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation, US Department of Defense, European Commission
出版信息和资助信息由计算机程序自动确定