Yue Yang

2006
21	EE	Qiuyu Zhang, Peng Huang, Yue Yang: A Design Method of Distributed Workflow Engine. CSCWD 2006: 494-498
20	EE	Dinakar Dhurjati, Manuvir Das, Yue Yang: Path-Sensitive Dataflow Analysis with Iterative Refinement. SAS 2006: 425-442
19	EE	Angsheng Li, Guohua Wu, Yue Yang: On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal. TAMC 2006: 731-736
18	EE	Yue Yang, Liang Yu: On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies. TAMC 2006: 765-771
17	EE	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	EE	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	EE	Yue Yang, Baoxin Li: Non-linear image enhancement for digital TV applications using Gabor filters. ICME 2005: 1018-1021
14	EE	Hari Hampapuram, Yue Yang, Manuvir Das: Symbolic path simulation in path-sensitive dataflow analysis. PASTE 2005: 52-58
13	EE	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	EE	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	EE	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	EE	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	EE	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom: Memory-Model-Sensitive Data Race Analysis. ICFEM 2004: 30-45
7	EE	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind: Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. IPDPS 2004
2003
6	EE	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	EE	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom: Specifying Java thread semantics using a uniform memory model. Java Grande 2002: 192-201
4	EE	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]
8	Ganesh Gopalakrishnan	[5] [6] [7] [8] [10] [12]
9	Hari Hampapuram	[14]
10	Peng Huang	[21]
11	Andrew E. M. Lewis	[11]
12	Angsheng Li	[16] [17] [19]
13	Baoxin Li	[15]
14	Gary Lindstrom	[5] [6] [7] [8] [12]
15	Richard A. Shore	[4]
16	Hemanthkumar Sivaraj	[10]
17	Konrad Slind	[6] [7]
18	Guohua Wu	[16] [19]
19	Liang Yu	[18]
20	Qiuyu Zhang	[21]

Colors in the list of coauthors