Duc-Than Nguyen 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	35	31
h 指数	3	3
i10 指数	1	1

0

12

6

20152016201720182019202020212022202320241 2 1 2 1 2 4 12 9

开放获取的出版物数量

1 篇文章

0 篇文章

可查看的文章

无法查看的文章

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

合著作者

William ManskyAssistant Professor, University of Illinois at Chicago在 uic.edu 的电子邮件经过验证
Hai DangBlueRock Security Inc在 mpi-sws.org 的电子邮件经过验证
Jeehoon KangKAIST School of Computing在 kaist.ac.kr 的电子邮件经过验证
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的电子邮件经过验证
Lennart Beringer在 pm.me 的电子邮件经过验证
Shengyi WangPrinceton University在 princeton.edu 的电子邮件经过验证

Duc-Than Nguyen

Duc-Than Nguyen

其他姓名Than Duc Nguyen

University of Illinois at Chicago

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

Formal Methods Programming Languages Formal verification Concurrency


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Compass: strong and compositional library specifications in relaxed memory separation logic HH Dang, J Jung, J Choi, DT Nguyen, W Mansky, J Kang, D Dreyer Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022	23	2022
Attacks on low private exponent RSA: An experimental study TD Nguyen, TD Nguyen, LD Tran 2013 13th International Conference on Computational Science and Its …, 2013	6	2013
Compositional verification of concurrent C programs with search structure templates DT Nguyen, L Beringer, W Mansky, S Wang Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024	3	2024
Efficient privacy preserving data audit in cloud HV Dang, TS Tran, DT Nguyen, TV Bui, DT Nguyen Advanced Computational Methods for Knowledge Engineering: Proceedings of 3rd …, 2015	3	2015
Foundations for Reasoning about Holistic Specifications DT Nguyen The University of Melbourne, 2021		2021

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

文章 1–5