Gaoyan Xie (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

16		Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie: On the Decidability of Model-Checking for P Systems. Journal of Automata, Languages and Combinatorics 11(3): 279-298 (2006)
15		Gaoyan Xie, Zhe Dang: Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. FATES 2005: 170-186
14		Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie: On Model-Checking of P Systems. UC 2005: 82-93
13		Gaoyan Xie, Zhe Dang: Testing Systems of Concurrent Black-boxes - an Automata-Theoretic and Decompositional Approach CoRR abs/cs/0502040: (2005)
11		Gaoyan Xie, Cheng Li, Zhe Dang: Testability of Oracle Automata. CIAA 2004: 331-332
10		Gaoyan Xie, Zhe Dang: An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. FATES 2004: 155-169
9		Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie: Real-Counter Automata and Their Decision Problems. FSTTCS 2004: 198-210
8		Gaoyan Xie, Zhe Dang: Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components CoRR cs.SE/0404037: (2004)
7		Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro: Dense Counter Machines and Verification Problems. CAV 2003: 93-105
6		Gaoyan Xie, Cheng Li, Zhe Dang: New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. CIAA 2003: 163-175
5		Gaoyan Xie, Zhe Dang, Oscar H. Ibarra: A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. ICALP 2003: 668-680

Selection of 11 from 16 records - Gaoyan Xie has 12 coauthors