|
Search the dblp DataBase
Guanfeng Lv:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
Bounded model checking knowledge and branching time in synchronous multi-agent systems. [Citation Graph (0, 0)][DBLP] AAMAS, 2005, pp:1129-1130 [Conf]
- Kaile Su, Guanfeng Lv, Yan Zhang
Reasoning about Knowledge by Variable Forgetting. [Citation Graph (0, 0)][DBLP] KR, 2004, pp:576-586 [Conf]
- Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen
Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System. [Citation Graph (0, 0)][DBLP] WINE, 2005, pp:391-404 [Conf]
- Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xi-Zhong Zheng
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. [Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2006, v:21, n:6, pp:932-943 [Journal]
Search in 0.001secs, Finished in 0.001secs
|