关注
Kang, Chan Gu
Kang, Chan Gu
FuriosaAI
在 korea.ac.kr 的电子邮件经过验证
标题
引用次数
引用次数
年份
Modular component-based quantum circuit synthesis
CG Kang, H Oh
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 348-375, 2023
92023
Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification
CG Kang, J Lee, H Oh
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 140-164, 2024
2024
Quantum Probabilistic Model Checking for Time-Bounded Properties
S Jeon, K Cho, CG Kang, J Lee, H Oh, J Kang
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 557-587, 2024
2024
系统目前无法执行此操作，请稍后再试。
文章 1–3
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交