Yangjia Li

According to our database1, Yangjia Li authored at least 14 papers between 2014 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Quantum Hoare Logic.
Archive of Formal Proofs, 2019

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Reachability Analysis for Solvable Dynamical Systems.
IEEE Trans. Automat. Contr., 2018

Algorithmic analysis of termination problems for quantum programs.
PACMPL, 2018

Robust Non-termination Analysis of Numerical Software.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems.
J. Systems Science & Complexity, 2017

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016
Approximate Bisimulation and Discretization of Hybrid CSP.
Proceedings of the FM 2016: Formal Methods, 2016

Validated Simulation-Based Verification of Delayed Differential Dynamics.
Proceedings of the FM 2016: Formal Methods, 2016

Computing reachable sets of linear vector fields revisited.
Proceedings of the 2016 European Control Conference, 2016

2014
Model-Checking Linear-Time Properties of Quantum Systems.
ACM Trans. Comput. Log., 2014

Termination of nondeterministic quantum programs.
Acta Inf., 2014

(Un)decidable Problems about Reachability of Quantum Systems.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014


  Loading...