Search the dblp DataBase

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]