Search the dblp DataBase
Yue Yang :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Ganesh Gopalakrishnan , Yue Yang , Hemanthkumar Sivaraj QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. [Citation Graph (0, 0)][DBLP ] CAV, 2004, pp:401-413 [Conf ] Yue Yang , Ganesh Gopalakrishnan , Gary Lindstrom , Konrad Slind Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. [Citation Graph (0, 0)][DBLP ] CHARME, 2003, pp:81-95 [Conf ] Qiuyu Zhang , Peng Huang , Yue Yang A Design Method of Distributed Workflow Engine. [Citation Graph (0, 0)][DBLP ] CSCWD, 2006, pp:494-498 [Conf ] Sherif A. Elfayoumy , Yue Yang , Sanjay Ahuja Anti-Spam Filtering Using Neural Networks. [Citation Graph (0, 0)][DBLP ] IC-AI, 2004, pp:984-989 [Conf ] Yue Yang , Ganesh Gopalakrishnan , Gary Lindstrom Memory-Model-Sensitive Data Race Analysis. [Citation Graph (0, 0)][DBLP ] ICFEM, 2004, pp:30-45 [Conf ] Yue Yang , Ganesh Gopalakrishnan , Gary Lindstrom , Konrad Slind Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. [Citation Graph (0, 0)][DBLP ] IPDPS, 2004, pp:- [Conf ] Yue Yang , Ganesh Gopalakrishnan , Gary Lindstrom Specifying Java thread semantics using a uniform memory model. [Citation Graph (0, 0)][DBLP ] Java Grande, 2002, pp:192-201 [Conf ] Hari Hampapuram , Yue Yang , Manuvir Das Symbolic path simulation in path-sensitive dataflow analysis. [Citation Graph (0, 0)][DBLP ] PASTE, 2005, pp:52-58 [Conf ] Dinakar Dhurjati , Manuvir Das , Yue Yang Path-Sensitive Dataflow Analysis with Iterative Refinement. [Citation Graph (0, 0)][DBLP ] SAS, 2006, pp:425-442 [Conf ] Yue Yang , Liang Yu On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies. [Citation Graph (0, 0)][DBLP ] TAMC, 2006, pp:765-771 [Conf ] Angsheng Li , Guohua Wu , Yue Yang On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal. [Citation Graph (0, 0)][DBLP ] TAMC, 2006, pp:731-736 [Conf ] Marat M. Arslanov , Chi Tat Chong , S. Barry Cooper , Yue Yang The minimal e-degree problem in fragments of Peano arithmetic. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2005, v:131, n:1-3, pp:159-175 [Journal ] Chi Tat Chong , Angsheng Li , Yue Yang The existence of high nonbounding degrees in the difference hierarchy. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2006, v:138, n:1-3, pp:31-51 [Journal ] Chi Tat Chong , Yue Yang Sigma2 Induction and Infinite Injury Priority Arguments, Part II: Tame Sigma2 Coding and the Jump Operator. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1997, v:87, n:2, pp:103-116 [Journal ] Angsheng Li , Guohua Wu , Yue Yang Bounding computably enumerable degrees in the Ershov hierarchy. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:79-88 [Journal ] Yue Yang , Ganesh Gopalakrishnan , Gary Lindstrom UMM: an operational memory model specification framework with integrated model checking capability. [Citation Graph (0, 0)][DBLP ] Concurrency - Practice and Experience, 2005, v:17, n:5-6, pp:465-487 [Journal ] Chi Tat Chong , Yue Yang Sigma2 Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1998, v:63, n:3, pp:797-814 [Journal ] Yue Yang The Thickness Lemma from P- + I Sigma1 + ¬ B Sigma2 . [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1995, v:60, n:2, pp:505-511 [Journal ] Richard A. Shore , Yue Yang A nonlow2 R. E. Degree with the Extension of Embeddings Properties of a low2 Degree. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2002, v:48, n:1, pp:131-146 [Journal ] S. Barry Cooper , Andrew E. M. Lewis , Yue Yang Properly Sigma2 minimal degrees and 0'' complementation. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2005, v:51, n:3, pp:274-276 [Journal ] Spatial Clustering Algorithm Based on Optimized-Division. [Citation Graph (, )][DBLP ] Non-linear image enhancement for digital TV applications using Gabor filters. [Citation Graph (, )][DBLP ] High Minimal Pairs in the Enumeration Degrees. [Citation Graph (, )][DBLP ] Anti-Spam Filtering Using Neural Networks and Baysian Classifiers. [Citation Graph (, )][DBLP ] Computable categoricity and the Ershov hierarchy. [Citation Graph (, )][DBLP ] Search in 0.023secs, Finished in 0.026secs