Search the dblp DataBase

Publications of Author

1. Yongjian Li, Jian Chen, Xiaoqiang Cai, Fengsheng Tu
   Optimal Manpower Planning with Temporal Labor and Contract Period Constraints. [Citation Graph (0, 0)][DBLP]
   AAIM, 2005, pp:350-359 [Conf]
   
2. Xinxin Liu, Yongjian Li
   Bisimulation for Higher-Order Pi-calculus. [Citation Graph (0, 0)][DBLP]
   APLAS, 2002, pp:216-229 [Conf]
   
3. Yongjian Li
   The Inductive Approach to Strand Space. [Citation Graph (0, 0)][DBLP]
   FORTE, 2005, pp:547-552 [Conf]
   
4. Xiaoqiang Cai, Yongjian Li, Fengsheng Tu
   Maximizing Dual Function by Genetic Algorithm - A New Approach for Optimal Manpower Planning. [Citation Graph (0, 0)][DBLP]
   ICIC (2), 2006, pp:1147-1157 [Conf]
   
5. Yongjian Li, Jun Pang
   Generalized Unsolicited Tests for Authentication Protocol Analysis. [Citation Graph (0, 0)][DBLP]
   PDCAT, 2006, pp:509-514 [Conf]
   
6. Yongjian Li
   Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols. [Citation Graph (0, 0)][DBLP]
   SAC, 2007, pp:1534-1535 [Conf]
   
7. Yongjian Li, Xiaoqiang Cai, Fengsheng Tu, Xiuli Shao
   Optimization of tandem queue systems with finite buffers. [Citation Graph (0, 0)][DBLP]
   Computers & OR, 2004, v:31, n:6, pp:963-984 [Journal]
   
8. Yongjian Li
   Contextual Labelled Semantics for Higher-order Process Calculi. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:138, n:1, pp:61-77 [Journal]
   
9. Yongjian Li, Xinxin Liu
   Towards a Theory of Bisimulation for the Higher-Order Process Calculi. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2004, v:19, n:3, pp:352-363 [Journal]
   
10. 
    Extending the Strand Space Method to Verify Kerberos V. [Citation Graph (, )][DBLP]