Yangjia Li

26 papers A* 1B 4C 1Misc 1Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
A proof system for disjoint parallel quantum programs.
Theor. Comput. Sci.
Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng
2022 C conf
Exploiting Quantum Assertions for Error Mitigation and Quantum Program Debugging.
ICCD
Peiyi Li, Ji Liu, Yangjia Li, Huiyang Zhou
2021 J jnl
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control.
Acta Informatica
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
2021 A* conf
Quantum Relational Hoare Logic with Expectations.
ICALP
Yangjia Li, Dominique Unruh
2019 — conf
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.
CAV (2)
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
2019 J jnl
Quantum Hoare Logic.
Arch. Formal Proofs
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
2019 J jnl
Quantum Relational Hoare Logic with Expectations.
CoRR
Yangjia Li, Dominique Unruh
2018 J jnl
Algorithmic analysis of termination problems for quantum programs.
Proc. ACM Program. Lang.
Yangjia Li, Mingsheng Ying
2018 J jnl
Reachability Analysis for Solvable Dynamical Systems.
IEEE Trans. Autom. Control.
Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan
2018 J jnl
Reasoning about Parallel Quantum Programs.
CoRR
Mingsheng Ying, Yangjia Li
2018 Misc conf
Robust Non-termination Analysis of Numerical Software.
SETTA
Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang
2018 B conf
What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction.
ATVA
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
2017 J jnl
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems.
J. Syst. Sci. Complex.
Qiuye Wang, Yangjia Li, Bican Xia, Naijun Zhan
2017 — conf
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.
FORMATS
Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan
2016 J jnl
A Theorem Prover for Quantum Hoare Logic and Its Applications.
CoRR
Tao Liu, Yangjia Li, Shuling Wang, Mingsheng Ying, Naijun Zhan
2016 B conf
Approximate Bisimulation and Discretization of Hybrid CSP.
FM
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
2016 J jnl
Approximate Bisimulation and Discretization of Hybrid CSP.
CoRR
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
2016 — conf
Computing reachable sets of linear vector fields revisited.
ECC
Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan
2016 B conf
Validated Simulation-Based Verification of Delayed Differential Dynamics.
FM
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
2015 J jnl
Termination Analysis of Polynomial Programs with Equality Conditions.
CoRR
Yangjia Li, Hui Lu, Naijun Zhan, Mingshuai Chen, Guohua Wu
2014 B conf
(Un)decidable Problems about Reachability of Quantum Systems.
CONCUR
Yangjia Li, Mingsheng Ying
2014 J jnl
(Un)decidable Problems about Reachability of Quantum Systems.
CoRR
Yangjia Li, Mingsheng Ying
2014 J jnl
Debugging Quantum Processes Using Monitoring Measurements.
CoRR
Yangjia Li, Mingsheng Ying
2014 J jnl
Model-Checking Linear-Time Properties of Quantum Systems.
ACM Trans. Comput. Log.
Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng
2014 J jnl
Termination of nondeterministic quantum programs.
Acta Informatica
Yangjia Li, Nengkun Yu, Mingsheng Ying
2012 J jnl
Termination of Nondeterministic Quantum Programs
CoRR
Yangjia Li, Nengkun Yu, Mingsheng Ying