The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yue Yang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Qiuyu Zhang, Peng Huang, Yue Yang
    A Design Method of Distributed Workflow Engine. [Citation Graph (0, 0)][DBLP]
    CSCWD, 2006, pp:494-498 [Conf]
  4. 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]
  5. Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
    Memory-Model-Sensitive Data Race Analysis. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:30-45 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. Dinakar Dhurjati, Manuvir Das, Yue Yang
    Path-Sensitive Dataflow Analysis with Iterative Refinement. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:425-442 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]

  21. Spatial Clustering Algorithm Based on Optimized-Division. [Citation Graph (, )][DBLP]


  22. Non-linear image enhancement for digital TV applications using Gabor filters. [Citation Graph (, )][DBLP]


  23. High Minimal Pairs in the Enumeration Degrees. [Citation Graph (, )][DBLP]


  24. Anti-Spam Filtering Using Neural Networks and Baysian Classifiers. [Citation Graph (, )][DBLP]


  25. Computable categoricity and the Ershov hierarchy. [Citation Graph (, )][DBLP]


Search in 0.545secs, Finished in 0.547secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002