Gaoyan Xie - RankMe

17 papers A* 3C 3Journal 7Unranked 4

Year	Rank	Type	Title / Venue / Authors
2006	J	`jnl`	On the Decidability of Model-Checking for P Systems. J. Autom. Lang. Comb. Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
2005	C	`conf`	On Model-Checking of P Systems. UC Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
2005	—	`conf`	Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. FATES Gaoyan Xie, Zhe Dang
2005	J	`jnl`	Testing Systems of Concurrent Black-boxes - an Automata-Theoretic and Decompositional Approach CoRR Gaoyan Xie, Zhe Dang
2004	—	`conf`	An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. FATES Gaoyan Xie, Zhe Dang
2004	A*	`conf`	Decompositional Verification of Component-based Systems-A Hybrid Approach. ASE Gaoyan Xie
2004	J	`jnl`	Linear reachability problems and minimal solutions to linear Diophantine equation systems. Theor. Comput. Sci. Gaoyan Xie, Cheng Li, Zhe Dang
2004	J	`jnl`	Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components CoRR Gaoyan Xie, Zhe Dang
2004	—	`conf`	Real-Counter Automata and Their Decision Problems. FSTTCS Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie
2004	C	`conf`	Testability of Oracle Automata. CIAA Gaoyan Xie, Cheng Li, Zhe Dang
2003	A*	`conf`	A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. ICALP Gaoyan Xie, Zhe Dang, Oscar H. Ibarra
2003	A*	`conf`	Dense Counter Machines and Verification Problems. CAV Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
2003	C	`conf`	New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. CIAA Gaoyan Xie, Cheng Li, Zhe Dang
2001	J	`jnl`	A Review of Some Rigorous Software Design and Analysis Tools. Softw. Focus Frederick T. Sheldon, Gaoyan Xie, Orest Pilskalns, Zhihe Zhou
2000	J	`jnl`	Codebugger - A Software Tools for Cooperative Debugging. ACM SIGPLAN Notices Gaoyan Xie, YongSen Xu, Yu Li, Qian Li
2000	J	`jnl`	The Security Problem of Nested Classes. ACM SIGPLAN Notices Yu Li, Gaoyan Xie, YongSen Xu, Yi Yang
1999	—	`conf`	Strategies and Techniques of Freeze/Melt. TOOLS (31) Yu Li, YongSen Xu, Gaoyan Xie, Zhiyuan Zhan