| 2007 |
|---|
| 15 | | Guoqiang Cai,
Limin Jia,
Xi Li,
Xiaoning Zhu:
A Novel Self Accommodate Control Network.
Communications in Computing 2007: 76-82 |
| 14 | | Guoqiang Cai,
Limin Jia,
Ye Zhang,
Jia Yuquan:
Application Research on Track Safety Assessment Based on Artificial Neural Network.
IKE 2007: 280-284 |
| 13 | | Ye Zhang,
Limin Jia,
Guoqiang Cai:
Modeling and Application of Railway Safety System through Object Petri Nets.
IMECS 2007: 2173-2176 |
| 2006 |
|---|
| 12 | | Guoqiang Cai,
Zundong Zhang,
Limin Jia,
Yangdong Ye:
A multi-agent model of railway intelligent safety guarantee system.
Computational Intelligence 2006: 138-143 |
| 11 | EE | Limin Jia,
David Walker:
ILC: A Foundation for Automated Reasoning About Pointer Programs.
ESOP 2006: 131-145 |
| 10 | EE | Frances Perry,
Limin Jia,
David Walker:
Expressing heap-shape contracts in linear logic.
GPCE 2006: 101-110 |
| 2005 |
|---|
| 9 | | Ye Zhang,
Guoqiang Cai,
Limin Jia,
Fu Wei:
Application of Petri Net with Objects in Safety System Process Modeling.
CSREA EEE 2005: 120-126 |
| 8 | EE | Yangdong Ye,
Juan Wang,
Limin Jia:
Analysis of Temporal Uncertainty of Trains Converging Based on Fuzzy Time Petri Nets.
FSKD (1) 2005: 89-99 |
| 7 | EE | Yangdong Ye,
Zundong Zhang,
Honghua Dai,
Limin Jia:
A Study of Train Group Operation Multi-agent Model Oriented to RITS.
KES (1) 2005: 707-713 |
| 6 | EE | Limin Jia,
Frances Spalding,
David Walker,
Neal Glew:
Certifying Compilation for a Language with Stack Allocation.
LICS 2005: 407-416 |
| 5 | | Wei Fu,
Guoqiang Cai,
Limin Jia,
Yangdong Ye,
Ye Zhang:
Research on Software Requirement Analysis Method Based on Five-Key Elements Arrange.
Software Engineering Research and Practice 2005: 442-447 |
| 2004 |
|---|
| 4 | EE | Limin Jia,
David Walker:
Modal Proofs as Distributed Programs (Extended Abstract).
ESOP 2004: 219-233 |
| 3 | | Guoqiang Cai,
Yangdong Ye,
Xiaoyan Lv,
Limin Jia:
Predictive Analysis Method Based on Railway Ticket Data Warehouse.
IKE 2004: 378-384 |
| 2003 |
|---|
| 2 | EE | Limin Jia,
Qiuhua Jiang:
Study on Essential Characteristics of RITS.
ISADS 2003: 216- |
| 1 | EE | Amal J. Ahmed,
Limin Jia,
David Walker:
Reasoning about Hierarchical Storage.
LICS 2003: 33-44 |
