Tianlong Gu

	2012
26		Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao: A Family of Dynamic Description Logics for Representing and Reasoning About Actions. J. Autom. Reasoning 49(1): 1-52 (2012)
	2011
25		Tianlong Gu, Liang Chang, Zhoubo Xu: The Symbolic OBDD Algorithm for Finding Optimal Semi-matching in Bipartite Graphs. Communications and Network 3(2): 65-72 (2011)
24		Tianlong Gu, Liang Chang, Zhoubo Xu: A Novel Symbolic Algorithm for Maximum Weighted Matching in Bipartite Graphs. IJCNS 4(2): 111-121 (2011)
23		Tianlong Gu, Shenghui Liu: Guest Editorial. JCP 6(5): 831-832 (2011)
22		Tianlong Gu, Shenghui Liu: Guest Editorial. JNW 6(7): 937-938 (2011)
21		Tianlong Gu, Shenghui Li: Guest Editorial. JSW 6(6): 951-952 (2011)
20		Qianjin Wei, Tianlong Gu: Symbolic Representation for Rough Set Attribute Reduction Using Ordered Binary Decision Diagrams. JSW 6(6): 977-984 (2011)
	2010
19		Liang Chang, Zhongzhi Shi, Tianlong Gu: Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions. Intelligent Information Processing 2010: 45-54
18		Lingzhong Zhao, Xuesong Wang, Junyan Qian, Tianlong Gu: Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning. PRICAI 2010: 384-396
17		Yaodong Cui, Tianlong Gu, Wei Hu: A bi-objective guillotine cutting problem of stamping strips of equal circles. Int. J. Comput. Math. 87(12): 2716-2721 (2010)
	2009
16		Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu: Automatic Construction of Complete Abstraction by Abstract Interpretation. ACIS-ICIS 2009: 927-932
15		Xuesong Wang, Lingzhong Zhao, Congwen Zeng, Junyan Qian, Tianlong Gu: An ASP Based Solution to Mechanical Assembly Sequence Planning. WGEC 2009: 205-208
14		Tie-yuan Liu, Liang Chang, Tianlong Gu: Analyzing the Impact of Entity Mobility Models on the Performance of Routing Protocols in the MANET. WGEC 2009: 56-59
	2008
13		Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu: Formula-Dependent Abstraction for CTL Model Checking. ICCSA (2) 2008: 1035-1048
12		Tianlong Gu, Zhoubo Xu, Zhifei Yang: Symbolic OBDD representations for mechanical assembly sequences. Computer-Aided Design 40(4): 411-421 (2008)
11		Tianlong Gu, Huadong Liu: The symbolic OBDD scheme for generating mechanical assembly sequences. Formal Methods in System Design 33(1-3): 29-44 (2008)
10		Yaodong Cui, Tianlong Gu, Wei Hu: Simplest optimal guillotine cutting patterns for strips of identical circles. J. Comb. Optim. 15(4): 357-367 (2008)
9		Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: Test frame updating in CPM testing of Prolog programs. Software Quality Journal 16(2): 277-298 (2008)
	2007
8		Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. APLAS 2007: 105-121
7		Lingzhong Zhao, Tianlong Gu, Junyan Qian: Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. TASE 2007: 261-272
6		Tianlong Gu, Zhoubo Xu: The symbolic algorithms for maximum flow in networks. Computers & OR 34(3): 799-816 (2007)
	2006
5		Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: On the New Application of Call Patterns to CPM Testing of Prolog Programs. Australian Conference on Artificial Intelligence 2006: 1265-1270
4		Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: Designing Prolog Semantics for a Class of Observables. PRICAI 2006: 1052-1057
3		Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics. SEKE 2006: 359-362
2		Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: A Base for Achieving Semantics for Prolog with Cut for Correct Observables. Software Engineering Research and Practice 2006: 664-670
	2005
1		Mahsa Ghaeli, Parisa A. Bahri, Peter L. Lee, Tianlong Gu: Petri-net based formulation and algorithm for short-term scheduling of batch plants. Computers & Chemical Engineering 29(2): 249-259 (2005)

Coauthor Index

1	Parisa A. Bahri	[1]
2	Guoyong Cai	[2] [3] [4] [5] [8] [9] [13] [16]
3	Liang Chang	[14] [19] [24] [25] [26]
4	Yaodong Cui	[10] [17]
5	Mahsa Ghaeli	[1]
6	Wei Hu	[10] [17]
7	Peter L. Lee	[1]
8	Shenghui Li	[21]
9	Huadong Liu	[11]
10	Shenghui Liu	[22] [23]
11	Tie-yuan Liu	[14]
12	Junyan Qian	[2] [3] [4] [5] [7] [8] [9] [13] [15] [16] [18]
13	Zhongzhi Shi	[19] [26]
14	Xuesong Wang	[15] [18]
15	Qianjin Wei	[20]
16	Zhoubo Xu	[6] [12] [24] [25]
17	Zhifei Yang	[12]
18	Congwen Zeng	[15]
19	Lingzhong Zhao	[2] [3] [4] [5] [7] [8] [9] [13] [15] [16] [18] [26]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page