dblp.uni-trier.dewww.uni-trier.de

Yifeng Chen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Jiannong Cao [11] [15] [19]
2Jifeng He [8]
3Yanxiang He [9] [11] [15] [19]
4Xiaoshan Li [8]
5Xuhui Li [19]
6Zhiming Liu [8] [12] [13]
7Jeff W. Sanders [2] [3] [7] [10] [14] [18]
8Jie Wu [15]
9Kang Zhang [11]
10Jianguo Zhou [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)