Yangjia Li

According to our database1, Yangjia Li
  • authored at least 14 papers between 2012 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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


  Loading...