other persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c23 |      | Wolfgang Merkle, Frank Stephan, Jason Teutsch, Wei Wang, Yue Yang: Selection by Recursively Enumerable Sets. TAMC 2013: 144-155 |
| 2012 | ||
| j21 | | Ll Yi-Min, Yue Yang, Li Li: Adaptive Backstepping Fuzzy Control Based on Type-2 Fuzzy System. J. Applied Mathematics 2012 (2012) |
| c22 | | Lichun Wu, Jiaqiang Zhao, Li Zhang, Yue Yang: A two-step data preprocessing algorithm based on grey-fuzzy rough set. FSKD 2012: 274-277 |
| c21 | | Yue Yang, Zhuo Liu, Jianpei Zhang, Jing Yang: Dynamic density-based clustering algorithm over uncertain data streams. FSKD 2012: 2664-2670 |
| c20 | | Yue Yang, Sumit Roy: PMU deployment for optimal state estimation performance. GLOBECOM Workshops 2012: 1464-1468 |
| c19 | | Yunji Liang, Xingshe Zhou, Zhiwen Yu, Bin Guo, Yue Yang: Energy Efficient Activity Recognition Based on Low Resolution Accelerometer in Smart Phones. GPC 2012: 122-136 |
| 2011 | ||
| j20 | | Yue Yang, Hanping Hu, Wei Xiong, Fan Ding: A Novel Network Traffic Anomaly Detection Model Based on Superstatistics Theory. JNW 6(2): 311-318 (2011) |
| c18 | | Li Zhang, Ying Li, Nannan Dong, Ning Li, Yue Yang: Research and design of real-time human body video acquisition system. FSKD 2011: 1864-1868 |
| c17 | | Yue Yang, Cheng Xiang, Tong Heng Lee: Feedback stabilization for planar switched linear systems with two subsystems under arbitrary switching. ICCA 2011: 738-743 |
| 2010 | ||
| j19 | | Rahul Gowda, Shalin M. Mehta, Yue Yang, Baoxin Li: Adaptive nonlinear Image Enhancement of Gaussian Degraded Images. Int. J. Image Graphics 10(3): 365-393 (2010) |
| j18 | | Andrea Sorbi, Guohua Wu, Yue Yang: Diamond embeddings into the enumeration degrees. Mathematical Structures in Computer Science 20(5): 799-811 (2010) |
| c16 | | Chang Hu, Yue Yang, Juan-li Hu, Linying Guo: Dynamic Monitoring and Intelligent Network System Design and Implementation for Mandatory Inspection Measurement Instruments. ICEE 2010: 3920-3923 |
| 2009 | ||
| j17 | | Yibin Hong, Yue Yang, Litao Yang, Ganesh Samudra, Chun-Huat Heng, Yee-Chia Yeo: SPICE Behavioral Model of the Tunneling Field-Effect Transistor for Circuit Simulation. IEEE Trans. on Circuits and Systems 56-II(12): 946-950 (2009) |
| c15 | | Andrea Sorbi, Guohua Wu, Yue Yang: High Minimal Pairs in the Enumeration Degrees. TAMC 2009: 335-344 |
| 2008 | ||
| j16 | | Bakhadyr Khoussainov, Frank Stephan, Yue Yang: Computable categoricity and the Ershov hierarchy. Ann. Pure Appl. Logic 156(1): 86-95 (2008) |
| j15 | | Xinbo Gao, Yue Yang, Bing Xiao: Adaptive frame rate up-conversion based on motion classification. Signal Processing 88(12): 2979-2988 (2008) |
| 2007 | ||
| c14 | | Yue Yang, Sherif A. Elfayoumy: Anti-Spam Filtering Using Neural Networks and Baysian Classifiers. CIRA 2007: 272-278 |
| c13 | | Jianpei Zhang, Yue Yang, Jing Yang, Ze-bao Zhang, Zhuo Liu: Spatial Clustering Algorithm Based on Optimized-Division. FSKD (2) 2007: 266-271 |
| 2006 | ||
| j14 | | 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) |
| j13 | | Angsheng Li, Guohua Wu, Yue Yang: Bounding computably enumerable degrees in the Ershov hierarchy. Ann. Pure Appl. Logic 141(1-2): 79-88 (2006) |
| j12 | | Matthew Giorgi, Andrea Sorbi, Yue Yang: Properly Sigma02 enumeration degrees and the high/low hierarchy. J. Symb. Log. 71(4): 1125-1144 (2006) |
| j11 | | Yue Yang, Liang Yu: On Sigma1-structural differences among finite levels of the Ershov hierarchy. J. Symb. Log. 71(4): 1223-1236 (2006) |
| c12 | | Qiuyu Zhang, Peng Huang, Yue Yang: A Design Method of Distributed Workflow Engine. CSCWD 2006: 494-498 |
| c11 | | Dinakar Dhurjati, Manuvir Das, Yue Yang: Path-Sensitive Dataflow Analysis with Iterative Refinement. SAS 2006: 425-442 |
| c10 | | Angsheng Li, Guohua Wu, Yue Yang: On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal. TAMC 2006: 731-736 |
| c9 | | |
| 2005 | ||
| j10 | | 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) |
| j9 | | 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) |
| j8 | | Yue Yang, Liang Yu: On the definable ideal generated by nonbounding c.e. degrees. J. Symb. Log. 70(1): 252-270 (2005) |
| j7 | | S. Barry Cooper, Angsheng Li, Andrea Sorbi, Yue Yang: Bounding and nonbounding minimal pairs in the enumeration degrees. J. Symb. Log. 70(3): 741-766 (2005) |
| j6 | | S. Barry Cooper, Andrew E. M. Lewis, Yue Yang: Properly Sigma2 minimal degrees and 0'' complementation. Math. Log. Q. 51(3): 274-276 (2005) |
| c8 | | |
| c7 | | Hari Hampapuram, Yue Yang, Manuvir Das: Symbolic path simulation in path-sensitive dataflow analysis. PASTE 2005: 52-58 |
| 2004 | ||
| c6 | | Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj: QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. CAV 2004: 401-413 |
| c5 |  | Sherif A. Elfayoumy, Yue Yang, Sanjay P. Ahuja: Anti-Spam Filtering Using Neural Networks. IC-AI 2004: 984-989 |
| c4 | | Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom: Memory-Model-Sensitive Data Race Analysis. ICFEM 2004: 30-45 |
| c3 | | Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind: Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. IPDPS 2004 |
| 2003 | ||
| c2 | | 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 | ||
| j5 | | 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) |
| c1 | | Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom: Specifying Java thread semantics using a uniform memory model. Java Grande 2002: 192-201 |
| 1998 | ||
| j4 | | 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 | ||
| j3 | | 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 | ||
| j2 | | |
| j1 | | Yue Yang: The Thickness Lemma from P- + I Sigma1 + not B Sigma2. J. Symb. Log. 60(2): 505-511 (1995) |
Colors in the list of coauthors
Last update Sun May 26 06:20:00 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page