Xiaobin Wang

Author * Miao Hu, Hai Li (Polytechnic Institute of New York Univ., U.S.A.), Yiran Chen (Univ. of Pittsburgh, U.S.A.), Xiaobin Wang (Seagate Technology, U.S.A.), Robinson Pino (AFRL ...

Author * Miao Hu, Hai Li (Polytechnic Institute of New York University, U.S.A.), Yiran Chen (University of Pittsburgh, U.S.A.), Xiaobin Wang (Seagate Technology, U.S.A.), Robinson ...

Automated Theorem Finding by Forward Deduction Based on Strong Relevant Logic: A Case Study in NBG Set Theory Xiaobin Wang, Yuichi Goto, Shinsuke Nara, and Jingde Cheng Department of ...

Xiaobin Wang, Yuichi Goto, Shinsuke Nara, Jingde Cheng (Japan) Normativeness, Relevance, and Temporality in Specifying and Reasoning about Information Security and Assurance: Can ...

Haiwen Xi, John Stricklin, Hai Li, Yiran Chen, Xiaobin Wang, Yuankai Zheng, Zheng Gao, and Michael X. Tang IEEE Transactions on Magnetics 46 (2010) 2232