周國富(武漢大學計算機學院副教授)

周國富 武漢大學計算機學院副教授

周國富,男,2003 年畢業於北京大學信息科學與技術學院,獲得理學博士學位。2002 年10 月,參加美國Eli Lilly公司分散式數據倉庫設計,負責中國大陸、台灣以及菲律賓部分。2002 年9 月,參加北大青鳥工作流管理系統研發。2003 年7 月進入武漢大學計算機科學與技術博士後流動站從事研究工作。2005 起至今,任職於武漢大學軟體工程國家重點實驗室。2006 年12 月至2007 年12 月受國家留學基金資助赴德國漢堡大學國際交流和合作研究。2010年1月至5月,赴美國UC Irvine合作研究。
  • 研究課題
1、基於Petri 網的代碼缺陷靜態分析中的關鍵問題研究,國家自然科學基金專項基金。
2、基於 Petri 網的程式測試技術研究,教育部出國留學基金。
  • 發表論文
    "[1]周國富,杜卓敏,基於Petri 網的程式代碼中隱含數據與控制的建模技術,《軟體學報》2011。
    [2]周國富,CCNeter:C程式代碼Petri網自動建模工具,《計算機科學》,2011.5
    [3]Zhou, G. and G. He, One program model for cloud computing, in The first International Conference on Cloud Computing, Springer, Editor. 2009, Lecture Notes in Computer Science. p. 589-594.
    [4]ZHOU Guofu, HE Yanxiang and DU Zhuomin, Process Description of UniNet. Wuhan University Journal of Natural Science, 2006, 11(2):351-354.
    [5]Guofu Zhou, Yanxiang He, Description of Workflow Patterns based on P/T nets. The 7th International Conference on Enterprise Information Systems, USA, May, 2005.
    [6]Guofu Zhou, Yanxiang He, Visualized Semantic Model based on P/T Nets. The 2005 International Conference on Modeling, Simulation and Visualization Methods, USA, June, 2005. [7]Guofu Zhou, Yanxiang He and Zhuomin Du, Visualizing the Semantics Specification of Distributed Computing. The 17th IMACS, Paris, France, July, 2005.
    [8]Guofu Zhou and Yanxiang He, Modeling Workflow Patterns. International Journal of Innovational Computing and Information Control (Japan), 2005, 1(4):673-684.
    [9]Zhou Guofu, Yuan Chongyi, Mapping PUNITY to UniNet, Journal of Computer Science and Technology, 2003,18(3):378-387.
    [10]周國富,袁崇義,基於UniNet 的對象概念研究,計算機科學,2003,30(9):14-18.
    [11]周國富,余鵬,袁崇義,屈婉玲,程式屬性的UniNet 描述,系統仿真學報,2003, 15(z1):85-88.
    [12]余鵬,周國富,基於Petri 網的工作流模式:工作流模式分析研究,系統仿真學報,2003, 15(z1):119-122.

相關詞條

熱門詞條

聯絡我們