王建林 - 河南大学 - 计算机与信息工程学院

个人简介

2012年毕业于华东师范大学软件学院，系统分析与集成专业，博士学位 2012年至今，河南大学计算机与信息工程学院教师奖励及荣誉 2013-2014学年优秀实习指导教师

研究领域

并行符号计算，定理机器证明

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

[1].Jianlin Wang, Liangyu Chen, Zhenbing Zeng. A Formal Proof of Pasting Lemma in Isabelle/HOL. In 2nd International Conference on Networks Security, Wireless Communications and Trusted Computing (NSWCTC) 2010, vol. 2, pp.458-461. [2].Liangyu Chen, Jianlin Wang, Ming Xu, Zhenbing Zeng. Reengineering of Java Legacy System Based on Aspect-Oriented Programming. In 2nd International Workshop on Education Technology and Computer Science (ETCS) 2010, pp.220-223, IEEE Computer Society. [3].Jianlin Wang, Liangyu Chen, Zhenbing Zeng. Formalization of Kuratowski Closure Operation in Isabelle/HOL. International Conference on Energy Systems and Electrical Power (ESEP) 2011. Energy Proc, 13 , 2011, pp. 7894-7901. [4].Jianlin Wang, Liangyu Chen, Zhenbing Zeng. Formalization of Continuous Functions in Topological Spaces Using Isabelle/HOL. In International Conference on System Science, Engineering Design and Manufacturing Informatization (ICSEM) 2011, vol. 2, pp.20-23. [5].Jianlin Wang, Hidetsune Kobayashi, Zhenbing Zeng. Isabelle Theorem Prover and Theorem Proving of Topology. In Workshop on Technique and Theory of Automated Reasoning(TTAR) 2011. pp. 6-6.