Statistics
Publications
2
Citations
26
H-Index
2
Active since
2021
Affiliations
Canh Minh is an author at Japan Advanced Institute of Science and Technology specializing in model theory, theory of computation, and computing.
Publications per year
2021–2024
2
2
A Divide and Conquer Approach to Eventual Model Checking
Moe Nandi Aung, Yati Phyo, Canh Minh et al. · Mathematics · 2021 · 15 citations · Full text
Symbolic model checking quantum circuits in Maude
Canh Minh, Kazuhiro Ogata · PeerJ Computer Science · 2024 · 11 citations · Full text
1–2 of 2