Lijun Wu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

3EELijun Wu, Jinshu Su: Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus. LSMS (1) 2007: 510-522
2EELijun Wu, Kaile Su, Qingliang Chen: Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. CIS (1) 2005: 349-354
1EEM. 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)

Coauthor Index

1M. Ayre [1]
2Qingliang Chen [2]
3T. Davies [1]
4T. J. Karle [1]
5T. F. Krauss [1]
6Jinshu Su [3]
7Kaile Su [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)