The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yongjian Li: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.022secs, Finished in 0.023secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002