 | 2007 |
|---|
| 8 |       | Jun Hu,
Philip Ross,
Loe M. G. Feijs,
Yuechen Qian:
UML in Action: Integrating Formal Methods in Industrial Design Education.
Edutainment 2007: 489-498 |
| 7 |  | Andrei Korostelev,
Johan J. Lukkien,
Jan Nesvadba,
Yuechen Qian:
QoS management in distributed service oriented systems.
Parallel and Distributed Computing and Networks 2007: 325-330 |
| 2004 |
|---|
| 6 | | Yuechen Qian,
Loe M. G. Feijs:
Turning Photo Annotating Tasks into Instant Messaging Fun: Prototyping, User Trials, and Roadmapping.
ICEC 2004: 610-613 |
| 5 | | Yuechen Qian,
Loe M. G. Feijs:
Exploring the potentials of combining photo annotating tasks with instant messaging fun.
MUM 2004: 11-17 |
| 2003 |
|---|
| 4 | | Yuechen Qian:
Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates.
ICFEM 2003: 338-358 |
| 2002 |
|---|
| 3 | | Yuechen Qian,
Loe M. G. Feijs,
Rob T. Udink:
Characteristic-entry Logs in the Memorysafe Information System.
IASTED PDCS 2002: 180-185 |
| 2 | | Loe M. G. Feijs,
Yuechen Qian:
Component algebra.
Sci. Comput. Program. 42(2-3): 173-228 (2002) |
| 2000 |
|---|
| 1 | | Fangmin Song,
YongSen Xu,
Yuechen Qian:
The self-reduction in lambda calculus.
Theor. Comput. Sci. 235(1): 171-181 (2000) |
