dblp.uni-trier.dewww.uni-trier.de

Lifu Wang

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

2009
7EEWei Ye, Wen Zhao, Yu Huang, Wenhui Hu, Shikun Zhang, Lifu Wang: Formal Definition and Detection Algorithm for Passive Event in RFID Middleware. APWeb/WAIM 2009: 538-543
2008
6EEHaiqiang Dun, Haiying Xu, Lifu Wang: Transformation of BPEL Processes to Petri Nets. TASE 2008: 166-173
5EELifu Wang, Partha Dasgupta: Coprocessor-based hierarchical trust management for software integrity and digital identity protection. Journal of Computer Security 16(3): 311-339 (2008)
2007
4EELifu Wang, Partha Dasgupta: Kernel and Application Integrity Assurance: Ensuring Freedom from Rootkits and Malware in a Computer System. AINA Workshops (1) 2007: 583-589
3EEZhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang: Implication-Based Approximating Bounded Model Checking. FSEN 2007: 350-363
2EETao Jia, Wen Zhao, Lifu Wang: PrSH: A Belief Description Logic. KES-AMSTA 2007: 31-41
2004
1 Lifu Wang, Kyung Dong Ryu: Feasibility of Exploiting Virtual Machines for Grid Computing. PDPTA 2004: 763-768

Coauthor Index

1Zhenyu Chen [3]
2Partha Dasgupta [4] [5]
3Haiqiang Dun [6]
4Wenhui Hu [7]
5Yu Huang [7]
6Tao Jia [2]
7Kyung Dong Ryu [1]
8Zhihong Tao [3]
9Baowen Xu [3]
10Haiying Xu [6]
11Wei Ye [7]
12Shikun Zhang [7]
13Wen Zhao [2] [7]

Colors in the list of coauthors

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