Yue Yang

	2009
26		Andrea Sorbi, Guohua Wu, Yue Yang: High Minimal Pairs in the Enumeration Degrees. TAMC 2009: 335-344
	2008
25		Bakhadyr Khoussainov, Frank Stephan, Yue Yang: Computable categoricity and the Ershov hierarchy. Ann. Pure Appl. Logic 156(1): 86-95 (2008)
24		Xinbo Gao, Yue Yang, Bing Xiao: Adaptive frame rate up-conversion based on motion classification. Signal Processing 88(12): 2979-2988 (2008)
	2007
23		Yue Yang, Sherif A. Elfayoumy: Anti-Spam Filtering Using Neural Networks and Baysian Classifiers. CIRA 2007: 272-278
22		Jianpei Zhang, Yue Yang, Jing Yang, Ze-bao Zhang, Zhuo Liu: Spatial Clustering Algorithm Based on Optimized-Division. FSKD (2) 2007: 266-271
	2006
21		Qiuyu Zhang, Peng Huang, Yue Yang: A Design Method of Distributed Workflow Engine. CSCWD 2006: 494-498
20		Dinakar Dhurjati, Manuvir Das, Yue Yang: Path-Sensitive Dataflow Analysis with Iterative Refinement. SAS 2006: 425-442
19		Angsheng Li, Guohua Wu, Yue Yang: On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal. TAMC 2006: 731-736
18		Yue Yang, Liang Yu: On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies. TAMC 2006: 765-771
17		Chi Tat Chong, Angsheng Li, Yue Yang: The existence of high nonbounding degrees in the difference hierarchy. Ann. Pure Appl. Logic 138(1-3): 31-51 (2006)
16		Angsheng Li, Guohua Wu, Yue Yang: Bounding computably enumerable degrees in the Ershov hierarchy. Ann. Pure Appl. Logic 141(1-2): 79-88 (2006)
	2005
15		Yue Yang, Baoxin Li: Non-linear image enhancement for digital TV applications using Gabor filters. ICME 2005: 1018-1021
14		Hari Hampapuram, Yue Yang, Manuvir Das: Symbolic path simulation in path-sensitive dataflow analysis. PASTE 2005: 52-58
13		Marat M. Arslanov, Chi Tat Chong, S. Barry Cooper, Yue Yang: The minimal e-degree problem in fragments of Peano arithmetic. Ann. Pure Appl. Logic 131(1-3): 159-175 (2005)
12		Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom: UMM: an operational memory model specification framework with integrated model checking capability. Concurrency - Practice and Experience 17(5-6): 465-487 (2005)
11		S. Barry Cooper, Andrew E. M. Lewis, Yue Yang: Properly Sigma2 minimal degrees and 0'' complementation. Math. Log. Q. 51(3): 274-276 (2005)
	2004
10		Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj: QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. CAV 2004: 401-413
9		Sherif A. Elfayoumy, Yue Yang, Sanjay P. Ahuja: Anti-Spam Filtering Using Neural Networks. IC-AI 2004: 984-989
8		Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom: Memory-Model-Sensitive Data Race Analysis. ICFEM 2004: 30-45
7		Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind: Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. IPDPS 2004
	2003
6		Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind: Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. CHARME 2003: 81-95
	2002
5		Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom: Specifying Java thread semantics using a uniform memory model. Java Grande 2002: 192-201
4		Richard A. Shore, Yue Yang: A nonlow2 R. E. Degree with the Extension of Embeddings Properties of a low2 Degree. Math. Log. Q. 48(1): 131-146 (2002)
	1998
3		Chi Tat Chong, Yue Yang: Sigma2 Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator. J. Symb. Log. 63(3): 797-814 (1998)
	1997
2		Chi Tat Chong, Yue Yang: Sigma2 Induction and Infinite Injury Priority Arguments, Part II: Tame Sigma2 Coding and the Jump Operator. Ann. Pure Appl. Logic 87(2): 103-116 (1997)
	1995
1		Yue Yang: The Thickness Lemma from P- + I Sigma1 + ¬ B Sigma2. J. Symb. Log. 60(2): 505-511 (1995)

Coauthor Index

1	Sanjay P. Ahuja	[9]
2	Marat M. Arslanov	[13]
3	Chi Tat Chong	[2] [3] [13] [17]
4	S. Barry Cooper	[11] [13]
5	Manuvir Das	[14] [20]
6	Dinakar Dhurjati	[20]
7	Sherif A. Elfayoumy	[9] [23]
8	Xinbo Gao	[24]
9	Ganesh Gopalakrishnan	[5] [6] [7] [8] [10] [12]
10	Hari Hampapuram	[14]
11	Peng Huang	[21]
12	Bakhadyr Khoussainov	[25]
13	Andrew E. M. Lewis	[11]
14	Angsheng Li	[16] [17] [19]
15	Baoxin Li	[15]
16	Gary Lindstrom	[5] [6] [7] [8] [12]
17	Zhuo Liu	[22]
18	Richard A. Shore	[4]
19	Hemanthkumar Sivaraj	[10]
20	Konrad Slind	[6] [7]
21	Andrea Sorbi	[26]
22	Frank Stephan	[25]
23	Guohua Wu	[16] [19] [26]
24	Bing Xiao	[24]
25	Jing Yang	[22]
26	Liang Yu	[18]
27	Jianpei Zhang	[22]
28	Qiuyu Zhang	[21]
29	Ze-bao Zhang	[22]

Colors in the list of coauthors