 | 2009 |
|---|
| 8 |       | Guoqiang Li,
Shoji Yuen,
Masakazu Adachi:
Environmental Simulation of Real-Time Systems with Nested Interrupts.
TASE 2009: 21-28 |
| 2008 |
|---|
| 7 | | Guoqiang Li,
Mizuhito Ogawa:
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol.
ATVA 2008: 374-385 |
| 2007 |
|---|
| 6 | | Guoqiang Li,
Mizuhito Ogawa:
On-the-Fly Model Checking of Fair Non-repudiation Protocols.
ATVA 2007: 511-522 |
| 2006 |
|---|
| 5 | | Min Zhang,
Guoqiang Li,
Yuxi Fu:
Secrecy of Signals by Typing in Signal Transduction.
ICNC (2) 2006: 384-393 |
| 2005 |
|---|
| 4 | | Min Zhang,
Guoqiang Li,
Yuxi Fu,
Zhizhou Zhang,
Lin He:
Typing Aberrance in Signal Transduction.
ICNC (3) 2005: 668-677 |
| 3 | | Yonggen Gu,
Yuxi Fu,
Guoqiang Li:
A Simple Process Calculus for the analysis of Security Protocols.
PDCAT 2005: 110-114 |
| 2004 |
|---|
| 2 | | Min Zhang,
Guoqiang Li,
Yuxi Fu,
Zhizhou Zhang,
Lin He:
Representation of the Signal Transduction with Aberrance Using Ipi Calculus.
CIS 2004: 477-485 |
| 1 | | Yonggen Gu,
Guoqiang Li,
Yuxi Fu:
Analyzing iKP Security in Applied Pi Calculus.
CIS 2004: 879-887 |
