2007 |
8 | EE | 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 | EE | Yuechen Qian,
Loe M. G. Feijs:
Turning Photo Annotating Tasks into Instant Messaging Fun: Prototyping, User Trials, and Roadmapping.
ICEC 2004: 610-613 |
5 | EE | Yuechen Qian,
Loe M. G. Feijs:
Exploring the potentials of combining photo annotating tasks with instant messaging fun.
MUM 2004: 11-17 |
2003 |
4 | EE | 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 | EE | Fangmin Song,
YongSen Xu,
Yuechen Qian:
The self-reduction in lambda calculus.
Theor. Comput. Sci. 235(1): 171-181 (2000) |