| 2009 |
|---|
| 10 | EE | Stéphane Grumbach,
Zhilin Wu:
On Distributed Model Checking of MSO on Graphs
CoRR abs/0904.1902: (2009) |
| 9 | EE | Stéphane Grumbach,
Zhilin Wu:
Logical locality entails frugal distributed computation over graphs
CoRR abs/0904.1915: (2009) |
| 8 | EE | Zhilin Wu,
Stéphane Grumbach:
Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs
CoRR abs/0904.1920: (2009) |
| 7 | EE | Stéphane Grumbach,
Fang Wang,
Zhilin Wu:
On the distributed evaluation of recursive queries over graphs
CoRR abs/0904.3157: (2009) |
| 2007 |
|---|
| 6 | EE | Zhilin Wu:
On the Expressive Power of QLTL.
ICTAC 2007: 467-481 |
| 5 | EE | Zhilin Wu:
A note on the characterization of TL[EF].
Inf. Process. Lett. 102(2-3): 48-54 (2007) |
| 2005 |
|---|
| 4 | EE | Zhilin Wu:
Quasi-star-free Languages on Infinite Words.
Acta Cybern. 17(1): (2005) |
| 2004 |
|---|
| 3 | | Jin Zhou,
Yinglong Ma,
Wei Li,
Zhilin Wu:
A Formal Framework of UML.
Software Engineering Research and Practice 2004: 151-157 |
| 2002 |
|---|
| 2 | | Petar S. Aleksic,
Jay J. Williams,
Zhilin Wu,
Aggelos K. Katsaggelos:
Audio-visual continuous speech recognition using MPEG-4 compliant visual features.
ICIP (1) 2002: 960-963 |
| 1 | EE | Zhilin Wu,
Petar S. Aleksic,
Aggelos K. Katsaggelos:
Lip Tracking for MPEG-4 Facial Animation.
ICMI 2002: 293-298 |
