| 2009 |
|---|
| 6 | EE | Yuan Yuan,
Yanwei Pang,
Jing Pan,
Xuelong Li:
Scene segmentation based on IPCA for visual surveillance.
Neurocomputing 72(10-12): 2450-2454 (2009) |
| 2008 |
|---|
| 5 | EE | Reiner Hähnle,
Jing Pan,
Philipp Rümmer,
Dennis Walter:
Integration of a security type system into a program logic.
Theor. Comput. Sci. 402(2-3): 172-189 (2008) |
| 2006 |
|---|
| 4 | EE | Jianghua Lv,
Shilong Ma,
Jing Pan,
Li Ma:
A Layered Semantics for Mobile Computation*.
PRIMA 2006: 175-186 |
| 3 | EE | Reiner Hähnle,
Jing Pan,
Philipp Rümmer,
Dennis Walter:
Integration of a Security Type System into a Program Logic.
TGC 2006: 116-131 |
| 2005 |
|---|
| 2 | EE | Jianghua Lv,
Shilong Ma,
Aili Wang,
Jing Pan:
Using Ambient in Computational Reflection Semantics Description.
ICCNMC 2005: 1105-1114 |
| 1992 |
|---|
| 1 | | Jing Pan,
Karl N. Levitt,
Myla Archer,
Saraswati Kalvala:
Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit.
TPHOLs 1992: 427-447 |
