 | 2009 |
|---|
| 4 |       | Lijun Wu,
Jinshu Su,
Xiangyu Luo,
Zhihua Yang,
Qingliang Chen:
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems.
Canadian Conference on AI 2009: 146-157 |
| 2007 |
|---|
| 3 | | 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 | | Lijun Wu,
Kaile Su,
Qingliang Chen:
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.
CIS (1) 2005: 349-354 |
| 1 | | 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) |
