 | 2009 |
|---|
| 14 |       | Junyan Qian,
Lingzhong Zhao,
Guoyong Cai,
Tianlong Gu:
Automatic Construction of Complete Abstraction by Abstract Interpretation.
ACIS-ICIS 2009: 927-932 |
| 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) |
