2008 |
13 | EE | Yongjian Li,
Rui Xue:
Design of a CIL Connector to Spin.
International Journal of Software Engineering and Knowledge Engineering 18(1): 65-91 (2008) |
2007 |
12 | EE | Yongjian Li,
Jun Pang:
Extending the Strand Space Method to Verify Kerberos V.
PDCAT 2007: 437-444 |
11 | EE | Yongjian Li:
Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.
SAC 2007: 1534-1535 |
10 | EE | Yongjian Li,
Jian Chen,
Xiaoqiang Cai:
An integrated staff-sizing approach considering feasibility of scheduling decision.
Annals OR 155(1): 361-390 (2007) |
9 | EE | Yongjian Li,
Jian Wan,
Xin Xu:
Theoretical study of the vertical excited states of benzene, pyrimidine, and pyrazine by the symmetry adapted cluster - Configuration interaction method.
Journal of Computational Chemistry 28(10): 1658-1667 (2007) |
2006 |
8 | EE | Xiaoqiang Cai,
Yongjian Li,
Fengsheng Tu:
Maximizing Dual Function by Genetic Algorithm - A New Approach for Optimal Manpower Planning.
ICIC (2) 2006: 1147-1157 |
7 | EE | Yongjian Li,
Jun Pang:
Generalized Unsolicited Tests for Authentication Protocol Analysis.
PDCAT 2006: 509-514 |
2005 |
6 | EE | Yongjian Li,
Jian Chen,
Xiaoqiang Cai,
Fengsheng Tu:
Optimal Manpower Planning with Temporal Labor and Contract Period Constraints.
AAIM 2005: 350-359 |
5 | EE | Yongjian Li:
The Inductive Approach to Strand Space.
FORTE 2005: 547-552 |
4 | EE | Yongjian Li:
Contextual Labelled Semantics for Higher-order Process Calculi.
Electr. Notes Theor. Comput. Sci. 138(1): 61-77 (2005) |
2004 |
3 | EE | Yongjian Li,
Xiaoqiang Cai,
Fengsheng Tu,
Xiuli Shao:
Optimization of tandem queue systems with finite buffers.
Computers & OR 31(6): 963-984 (2004) |
2 | EE | Yongjian Li,
Xinxin Liu:
Towards a Theory of Bisimulation for the Higher-Order Process Calculi.
J. Comput. Sci. Technol. 19(3): 352-363 (2004) |
2002 |
1 | | Xinxin Liu,
Yongjian Li:
Bisimulation for Higher-Order Pi-calculus.
APLAS 2002: 216-229 |