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