The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yifeng Chen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Xuhui Li, Jiannong Cao, Yanxiang He, Yifeng Chen
    MADESE: A Simulation Environment for Mobile Agent. [Citation Graph (0, 0)][DBLP]
    CIT, 2006, pp:86- [Conf]
  2. Yifeng Chen, Jeff W. Sanders
    Logic of Global Synchrony. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:487-501 [Conf]
  3. Yifeng Chen
    A Fixpoint Theory for Non-monotonic Parallelism. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:120-134 [Conf]
  4. Yanxiang He, Yifeng Chen
    A GA-Based Solution to the Migration Problem of Mobile Agents in Distributed Information Retrieval Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2003, pp:466-471 [Conf]
  5. Yifeng Chen, Zhiming Liu
    From Durational Specifications to TLA Designs of Timed Automata. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:464-482 [Conf]
  6. Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
    A Relational Model for Formal Object-Oriented Requirement Analysis in UML. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:641-664 [Conf]
  7. Jianguo Zhou, Yifeng Chen
    Generating C Code from LOGS Specifications. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:195-210 [Conf]
  8. Yifeng Chen
    How to Write a Healthiness Condition. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:299-317 [Conf]
  9. Yifeng Chen, Zhiming Liu
    Integrating Temporal Logics. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:402-420 [Conf]
  10. Jiannong Cao, Yifeng Chen, Kang Zhang, Yanxiang He
    Checkpointing in Hybrid Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ISPAN, 2004, pp:136-141 [Conf]
  11. Yifeng Chen, Jeff W. Sanders
    Compositional Reasoning for Pointer Structures. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:115-139 [Conf]
  12. Yifeng Chen, Yanxiang He, Jiannong Cao, Jie Wu
    A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs. [Citation Graph (0, 0)][DBLP]
    NPC, 2005, pp:180-188 [Conf]
  13. Yifeng Chen
    Hierarchical Organisation of Predicate-Semantic Models. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:155-172 [Conf]
  14. Yifeng Chen, Jeff W. Sanders
    The weakest specifunction. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:41, n:7-8, pp:383-414 [Journal]
  15. Yifeng Chen
    Generic Composition. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:14, n:2, pp:108-122 [Journal]
  16. Yifeng Chen, Jeff W. Sanders
    Weakest Specifunctions for BSP. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2001, v:11, n:4, pp:439-454 [Journal]
  17. Yifeng Chen, Jeff W. Sanders
    Top-Down Design of Bulk-Synchronous Parallel Programs. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2003, v:13, n:3, pp:389-400 [Journal]
  18. Yifeng Chen
    A fixpoint theory for non-monotonic parallelism. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:367-392 [Journal]
  19. Yifeng Chen, Jeff W. Sanders
    Logic of global synchrony. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:2, pp:221-262 [Journal]
  20. Yifeng Chen
    Inheriting Laws for Processes with States. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:138-155 [Conf]

  21. Unifying Probability with Nondeterminism. [Citation Graph (, )][DBLP]


  22. Large-scale FFT on GPU clusters. [Citation Graph (, )][DBLP]


  23. Abstraction of Object Graphs in Program Verification. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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