 | 2009 |
|---|
| 6 |       | Thomas Gazagnaire,
Blaise Genest,
Loïc Hélouët,
P. S. Thiagarajan,
Shaofa Yang:
Causal Message Sequence Charts.
Theor. Comput. Sci. 410(41): 4094-4110 (2009) |
| 2008 |
|---|
| 5 | | Philippe Darondeau,
Blaise Genest,
P. S. Thiagarajan,
Shaofa Yang:
Quasi-Static Scheduling of Communicating Tasks.
CONCUR 2008: 310-324 |
| 2007 |
|---|
| 4 | | Thomas Gazagnaire,
Blaise Genest,
Loïc Hélouët,
P. S. Thiagarajan,
Shaofa Yang:
Causal Message Sequence Charts.
CONCUR 2007: 166-180 |
| 2006 |
|---|
| 3 | | Manindra Agrawal,
Frank Stephan,
P. S. Thiagarajan,
Shaofa Yang:
Behavioural Approximations for Restricted Linear Differential Hybrid Automata.
HSCC 2006: 4-18 |
| 2005 |
|---|
| 2 | | P. Madhusudan,
P. S. Thiagarajan,
Shaofa Yang:
The MSO Theory of Connectedly Communicating Processes.
FSTTCS 2005: 201-212 |
| 1 | | Shaofa Yang,
Hon Wai Leong:
Improved Algorithms for Low Power Multiplexor Decomposition.
Journal of Circuits, Systems, and Computers 14(6): 1085-1100 (2005) |
