# Yangjia Li

According to our database

Collaborative distances:

^{1}, Yangjia Li authored at least 19 papers between 2012 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Reachability Analysis for Solvable Dynamical Systems.

IEEE Trans. Automat. Contr., 2018

Algorithmic analysis of termination problems for quantum programs.

PACMPL, 2018

Reasoning about Parallel Quantum Programs.

CoRR, 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.

CoRR, 2016

A Theorem Prover for Quantum Hoare Logic and Its Applications.

CoRR, 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

2015

Termination Analysis of Polynomial Programs with Equality Conditions.

CoRR, 2015

2014

Model-Checking Linear-Time Properties of Quantum Systems.

ACM Trans. Comput. Log., 2014

Debugging Quantum Processes Using Monitoring Measurements.

CoRR, 2014

(Un)decidable Problems about Reachability of Quantum Systems.

CoRR, 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

2012

Termination of Nondeterministic Quantum Programs

CoRR, 2012