logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
C

Canh Minh

japan advanced institute of science & technology (jaist)

6H指数
33论文数
114被引数
收录论文 6
发表时间
logo
Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic基于并发动态量子逻辑的自动化量子协议验证
errACM Transactions on Software Engineering and Methodology
IF6.2
err2024-12-12
err0
PREAI
errCanh Minh Do; Tsubasa Takagi; Kazuhiro Ogata
err分享
err收藏
Symbolic model checking quantum circuits in Maude
errPEERJ COMPUTER SCIENCE
IF2.5
err2024-06-20
err0
errOAAI
errDo, Canh Minh; Ogata, Kazuhiro
err分享
err收藏
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way以分层方式检查模型导向属性的优化技术
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-09-30
err2
errOAAI
errCanh Minh Do; Phyo, Yati; Riesco, Adrian; Ogata, Kazuhiro
err分享
err收藏
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
errPEERJ COMPUTER SCIENCE
IF2.5
err2023-09-22
err1
errOAAI
errDuong Dinh Tran; Canh Minh Do; Escobar, Santiago; Ogata, Kazuhiro
err分享
err收藏
Parallel Specification-Based Testing for Concurrent Programs基于并行规范的并发程序测试
errIEEE ACCESS
IF3.6
err2022-01-01
err0
errOAAI
errMinh Do, Canh; Ogata, Kazuhiro
err分享
err收藏
Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way
errIEEE ACCESS
IF3.6
err2022-01-01
err2
errOAAI
errDo, Canh Minh; Phyo, Yati; Ogata, Kazuhiro
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
S
Santiago Escobar
H 指数: 21 · 论文数: 187
K
Kazuhiro Ogata
H 指数: 19 · 论文数: 211
A
Adrián Riesco
H 指数: 13 · 论文数: 83
Y
Yati Phyo
H 指数: 6 · 论文数: 15
D
Duong Dinh Tran
H 指数: 4 · 论文数: 22
查看更多