| 2008 |
|---|
| 12 | EE | Guodong Li,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Formal specification of the MPI-2.0 standard in TLA+.
PPOPP 2008: 283-284 |
| 11 | EE | Guodong Li,
Konrad Slind:
Trusted Source Translation of a Total Function Language.
TACAS 2008: 471-485 |
| 10 | EE | Guodong Li,
Lequan Min,
Hongyan Zang:
Color Edge Detections Based on Cellular Neural Network.
I. J. Bifurcation and Chaos 18(4): 1231-1242 (2008) |
| 2007 |
|---|
| 9 | EE | Guodong Li,
Konrad Slind:
Compilation as Rewriting in Higher Order Logic.
CADE 2007: 19-34 |
| 8 | EE | Guodong Li,
Scott Owens,
Konrad Slind:
Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic.
ESOP 2007: 205-219 |
| 2005 |
|---|
| 7 | EE | Shuang Cong,
Guodong Li,
Yisong Zheng:
A Novel Local Connection Neural Network.
ICNC (1) 2005: 773-777 |
| 6 | EE | Jianjun Duan,
Joe Hurd,
Guodong Li,
Scott Owens,
Konrad Slind,
Junxing Zhang:
Functional Correctness Proofs of Encryption Algorithms.
LPAR 2005: 519-533 |
| 2004 |
|---|
| 5 | EE | Guodong Li,
Youtao Zhang,
Yongjing Lin,
Yaochun Huang:
Scalable Duplication Strategy with Bounded Availability of Processors.
ICPADS 2004: 267- |
| 2003 |
|---|
| 4 | EE | Guodong Li,
Daoxu Chen,
Wang Daming,
Defu Zhang:
Task Clustering and Scheduling to Multiprocessors with Duplication.
IPDPS 2003: 6 |
| 2002 |
|---|
| 3 | EE | Guodong Li,
Defu Zhang:
Distributing and Scheduling Divisible Task on Parallel Communicating Processors.
J. Comput. Sci. Technol. 17(6): 788-796 (2002) |
| 1998 |
|---|
| 2 | | Shuang Cong,
Gang Wu,
Guodong Li:
The Decrease of Fuzzy Label Number Using Self-organization Competition Network.
NC 1998: 106-112 |
| 1995 |
|---|
| 1 | | Bin Cong,
Guodong Li:
Simulation of 3-Dimensional Meshes by Small Hypercubes.
Parallel and Distributed Computing and Systems 1995: 403-406 |
