| |
| 2007 | ||
|---|---|---|
| 3 | EE | Lijun Wu, Jinshu Su: Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus. LSMS (1) 2007: 510-522 |
| 2005 | ||
| 2 | EE | Lijun Wu, Kaile Su, Qingliang Chen: Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. CIS (1) 2005: 349-354 |
| 1 | EE | M. Ayre, T. J. Karle, Lijun Wu, T. Davies, T. F. Krauss: Experimental verification of numerically optimized photonic crystal injector, Y-splitter, and bend. IEEE Journal on Selected Areas in Communications 23(7): 1390-1395 (2005) |
| 1 | M. Ayre | [1] |
| 2 | Qingliang Chen | [2] |
| 3 | T. Davies | [1] |
| 4 | T. J. Karle | [1] |
| 5 | T. F. Krauss | [1] |
| 6 | Jinshu Su | [3] |
| 7 | Kaile Su | [2] |