Statistics
Publications
10
Citations
211
H-Index
10
Active since
2013
Yangjia Li is an author at University of Technology Sydney specializing in computing, computer science, and quantum computing.
Publications per year
2013–2022
10
10
Reachability Analysis for Solvable Dynamical Systems
Ting Gan, Mingshuai Chen, Yangjia Li et al. · IEEE Transactions on Automatic Control · 2017 · 41 citations
Model-Checking Linear-Time Properties of Quantum Systems
Mingsheng Ying, Yangjia Li, Nengkun Yu et al. · ACM Transactions on Computational Logic · 2014 · 37 citations
Termination of nondeterministic quantum programs
Yangjia Li, Nengkun Yu, Mingsheng Ying · Acta Informatica · 2013 · 27 citations
A Theorem Prover for Quantum Hoare Logic and Its Applications
Tao Liu, Yangjia Li, Shuling Wang et al. · arXiv (Cornell University) · 2016 · 17 citations · Full text
Computing, Computer Science, Logic +16
1–5 of 10