Gaoyan Xie

2006
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)
2005
15	EE	Gaoyan Xie, Zhe Dang: Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. FATES 2005: 170-186
14	EE	Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie: On Model-Checking of P Systems. UC 2005: 82-93
13	EE	Gaoyan Xie, Zhe Dang: Testing Systems of Concurrent Black-boxes - an Automata-Theoretic and Decompositional Approach CoRR abs/cs/0502040: (2005)
2004
12	EE	Gaoyan Xie: Decompositional Verification of Component-based Systems-A Hybrid Approach. ASE 2004: 414-417
11	EE	Gaoyan Xie, Cheng Li, Zhe Dang: Testability of Oracle Automata. CIAA 2004: 331-332
10	EE	Gaoyan Xie, Zhe Dang: An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. FATES 2004: 155-169
9	EE	Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie: Real-Counter Automata and Their Decision Problems. FSTTCS 2004: 198-210
8	EE	Gaoyan Xie, Zhe Dang: Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components CoRR cs.SE/0404037: (2004)
2003
7	EE	Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro: Dense Counter Machines and Verification Problems. CAV 2003: 93-105
6	EE	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	EE	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
2001
4		Frederick T. Sheldon, Gaoyan Xie, Orest Pilskalns, Zhihe Zhou: A Review of Some Rigorous Software Design and Analysis Tools. Software Focus 2(4): 140-150 (2001)
2000
3		Gaoyan Xie, YongSen Xu, Yu Li, Qian Li: Codebugger - A Software Tools for Cooperative Debugging. SIGPLAN Notices 35(2): 54-60 (2000)
2		Yu Li, Gaoyan Xie, YongSen Xu, Yi Yang: The Security Problem of Nested Classes. SIGPLAN Notices 35(3): 34-38 (2000)
1999
1	EE	Yu Li, YongSen Xu, Gaoyan Xie, Zhiyuan Zhan: Strategies and Techniques of Freeze/Melt. TOOLS (31) 1999: 98-107

Coauthor Index

1	Zhe Dang	[5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16]
2	Oscar H. Ibarra	[5] [7] [9] [14] [16]
3	Cheng Li	[6] [11] [14] [16]
4	Qian Li	[3]
5	Yu Li	[1] [2] [3]
6	Pierluigi San Pietro	[7] [9]
7	Orest Pilskalns	[4]
8	Frederick T. Sheldon	[4]
9	YongSen Xu	[1] [2] [3]
10	Yi Yang	[2]
11	Zhiyuan Zhan	[1]
12	Zhihe Zhou	[4]

Colors in the list of coauthors