The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Zhe Shan, Yu Yang, Qing Li, Yi Luo, Zhiyong Peng
    A Light-Weighted Approach to Workflow View Implementation. [Citation Graph (0, 0)][DBLP]
    APWeb, 2006, pp:1059-1070 [Conf]
  2. Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou
    Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:81-88 [Conf]
  3. Hongwei Dai, Yu Yang, Yanqiu Che, Zheng Tang
    Clonal Selection Theory Based Artificial Immune System and Its Application. [Citation Graph (0, 0)][DBLP]
    ICONIP (2), 2006, pp:1071-1078 [Conf]
  4. Yu Yang, Qing Li, Minhao Yu, Yueting Zhuang
    Sketch-based retrieval on Flash movies via primary scene. [Citation Graph (0, 0)][DBLP]
    ISM, 2005, pp:605-610 [Conf]
  5. Yu Yang, Qing Li
    An Efficient Clustering and Indexing Approach over Large Video Sequences. [Citation Graph (0, 0)][DBLP]
    PCM, 2006, pp:961-970 [Conf]
  6. Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan
    Parallel and Distributed Model Checking in Eddy. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:108-125 [Conf]
  7. Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby
    Gauss: A Framework for Verifying Scientific Computing Software. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:95-106 [Journal]
  8. Yun Liu, Guo-ping Cheng, Yu Yang
    Patent applications of the Top 500 foreign investment corporations in China. [Citation Graph (0, 0)][DBLP]
    Scientometrics, 2006, v:68, n:1, pp:167-177 [Journal]
  9. Yu Yang, Wencheng Chen, Cuimei Zhang
    Existence of periodic solutions of a delayed predator-prey system with general functional response. [Citation Graph (0, 0)][DBLP]
    Applied Mathematics and Computation, 2006, v:181, n:2, pp:1076-1083 [Journal]
  10. Yu Yang, Wencheng Chen
    Uniformly strong persistence of an nonlinear asymptotically periodic multispecies competition predator-prey system with general functional response. [Citation Graph (0, 0)][DBLP]
    Applied Mathematics and Computation, 2006, v:183, n:1, pp:423-426 [Journal]
  11. Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta
    Fast and Accurate Static Data-Race Detection for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:226-239 [Conf]
  12. Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
    Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:58-75 [Conf]

  13. Efficient Service Discovery forWireless Mobile Ad Hoc Networks. [Citation Graph (, )][DBLP]


  14. Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. [Citation Graph (, )][DBLP]


  15. Organization-Oriented Simulation of Collaborative Product Development Process Based on Designer's Agent Model. [Citation Graph (, )][DBLP]


  16. Research on innovation customer resource selection and evaluation based on wavelet network. [Citation Graph (, )][DBLP]


  17. Gene expression-based collaborative designer selection and optimization. [Citation Graph (, )][DBLP]


  18. On Line Course Organization. [Citation Graph (, )][DBLP]


  19. Some resources for teaching concurrency. [Citation Graph (, )][DBLP]


  20. Symbolic pruning of concurrent program executions. [Citation Graph (, )][DBLP]


  21. Efficient Stateful Dynamic Partial Order Reduction. [Citation Graph (, )][DBLP]


  22. Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. [Citation Graph (, )][DBLP]


  23. Substructure similarity measurement in chinese recipes. [Citation Graph (, )][DBLP]


  24. Pilot Tone Design for Inter-Cell Interference Mitigation in OFDM Systems. [Citation Graph (, )][DBLP]


  25. Handover within 3GPP LTE: Design Principles and Performance. [Citation Graph (, )][DBLP]


  26. Study on Vehicle Navigation System with Real-Time Traffic Information. [Citation Graph (, )][DBLP]


  27. A sensor network performance inference algorithm based on passive measurement. [Citation Graph (, )][DBLP]


  28. RNACompress: Grammar-based compression and informational complexity measurement of RNA secondary structure. [Citation Graph (, )][DBLP]


Search in 0.039secs, Finished in 0.040secs
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