在《Formal Methods in Systems Design》《Computer Aided Design》《Computers & Operations Research》《计算机学报》《通信学报》《自动化学报》《航空学报》等国内外重要学术刊物发表学术论文130余篇（其中SCI、EI收录63篇）。

① Tianlong Gu, Zhoubo Xu and Huadong Liu. The Symbolic OBDD Scheme for Generating Mechanical Assembly Sequences. Formal Methods in Systems Design, 2008,33(1):29-44

② Tianlong Gu, and Zhifei Yang. Symbolic OBDD Representations for Mechanical Assembly Sequences. Computer Aided Design,2008,40(4):411-421

③ Tianlong Gu, and Zhoubo Xu. The Symbolic Algorithms for Maximum Flow in Networks. Computer& Operations Research, 2007, 34(2): 799-816

④ Tianlong Gu, and Parisa A Bahri. A Survey of Petri-Net Applications in Batch Processes. Computers in Industry, 2002,47(1):99-111

⑤ Tianlong Gu, and Rongsheng Dong. A Novel Continuous Model to Approximate Time Petri Nets: Modeling and Analysis. Int. J. Applied Math. & Computer Science, 2005,15(1):141-150

⑥ 刘霞,古天龙,郭云川. 移动环境公平支付协议的设计与分析研究. 通信学报, 2007,28(4): 32-37

⑦ 李凤英,古天龙,徐周波. Petri网的符号ZBDD可达树分析技术. 计算机学报,2009,32(12):2420-2428

⑧ 古天龙,徐周波. 有序二叉决策图及其应用. 北京：科学出版社，2009.06

⑨ 古天龙. 软件开发的形式化方法. 北京：高等教育出版社，2005.01

⑩ 古天龙,蔡国永. 网络协议的形式化分析与设计. 北京：电子工业出版社，2003.06