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