logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Canh Minh

japan advanced institute of science & technology (jaist)

6H-index
33Paper Count
114Citation Count
Published Papers 6
Publication Date
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
errShare
errSave
Symbolic model checking quantum circuits in Maude
errPEERJ COMPUTER SCIENCE
IF2.5
err2024-06-20
err0
errOAAI
errDo, Canh Minh; Ogata, Kazuhiro
errShare
errSave
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
errShare
errSave
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
errShare
errSave
Parallel Specification-Based Testing for Concurrent Programs
errIEEE ACCESS
IF3.6
err2022-01-01
err0
errOAAI
errMinh Do, Canh; Ogata, Kazuhiro
errShare
errSave
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
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
S
Santiago Escobar
H-index: 21 · Papers: 187
K
Kazuhiro Ogata
H-index: 19 · Papers: 211
A
Adrián Riesco
H-index: 13 · Papers: 83
Y
Yati Phyo
H-index: 6 · Papers: 15
D
Duong Dinh Tran
H-index: 4 · Papers: 22
View more