Searching for authors named "Gaoyan Xie" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
An automata-theoretic approach for model-checking systems with unspecified components
- …An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components ⋆ Gaoyan Xie…
- Cited by 1 (0 self) – Add To MetaCart
-
New complexity results for some linear counting problems using minimal solutions to linear diophantine equations. volume 2759
- … Diophantine Equations (Extended Abstract) Gaoyan Xie, Cheng Li and Zhe Dang School of Electrical Engineering…
- Add To MetaCart
-
O.H.: A solvable class of quadratic Diophantine equations with applications to verification of infinite-state systems
- …-State Systems Gaoyan Xie 1 , Zhe Dang 1⋆ , and Oscar H. Ibarra 2⋆⋆ 1 School of Electrical Engineering…
- Cited by 2 (1 self) – Add To MetaCart
-
Decidability of model-checking P systems
- …On Model-Checking of P Systems Zhe Dang ¡£¢¤¢ , Oscar H. Ibarra ¥ , Cheng Li ¡ , and Gaoyan Xie…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 4.
