Search the dblp DataBase

Publications of Author

1. X. Li, Richard Lai, Tharam S. Dillon
   Theory of Deductive Systems for Protocol Verification. [Citation Graph (0, 0)][DBLP]
   ICCI, 1992, pp:422-425 [Conf]
   
2. X. Li, Richard Lai, Tharam S. Dillon
   A New Decomposition Method to Relieve the State Space Explosion Problem. [Citation Graph (0, 0)][DBLP]
   ICCI, 1993, pp:150-154 [Conf]
   
3. X. Li, J. Hong
   A Robust Method of Extracting Rectangle Blocks for Form Reading . [Citation Graph (0, 0)][DBLP]
   ICDAR, 1995, pp:760-0 [Conf]
   
4. Hans Grabowski, Reiner Anderl, X. Li, M. Schmitt
   Exchange of Freeform Surfaces Using Standard Interfaces. [Citation Graph (0, 0)][DBLP]
   Interfaces in Industrial Systems for Production Engineering, 1993, pp:201-219 [Conf]
   
5. X. Li, Z. Guan
   Research on design and appraisal of management information systems. [Citation Graph (0, 0)][DBLP]
   Information Systems in the WWW Environment, 1998, pp:233-236 [Conf]
   
6. Chi-Hung Chi, Lin Liu, X. Li
   Performance modeling for real-time content adaptation network. [Citation Graph (0, 0)][DBLP]
   IRI, 2006, pp:444-447 [Conf]
   
7. J. W. Bruce, Mitchell A. Thornton, L. Shivakumaraiah, P. S. Kokate, X. Li
   Efficient Adder Circuits Based on a Conservative Reversible Logic Gate. [Citation Graph (0, 0)][DBLP]
   ISVLSI, 2002, pp:83-88 [Conf]
   
8. X. Li, Miroslaw Malek
   Analysis of Speedup and Communication/Computation Ratio in Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 1988, pp:282-288 [Conf]
   
9. Z. Hu, X. Li, Donald Mills, Eva Nuria Müller, W. Sun, Wolfgang Willems, Y. Yang, Z. Zhang
   On the Crosscorrelation of Sequences with the Decimation Factor d = (pⁿ+1)/(p+1) - (pⁿ-1)/2. [Citation Graph (0, 0)][DBLP]
   Appl. Algebra Eng. Commun. Comput., 2001, v:12, n:3, pp:255-263 [Journal]
   
10. Hans Grabowski, X. Li
    Coefficient formula and matrix of nonuniform B-spline functions. [Citation Graph (0, 0)][DBLP]
    Computer-Aided Design, 1992, v:24, n:12, pp:637-642 [Journal]
    
11. Richard Lai, X. Li
    Verification of the ISO ACSE protocol using Deductive Machine. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1997, v:39, n:3, pp:223-247 [Journal]
    
12. Richard Lai, X. Li
    Applying a new decomposition method to verify communication protocols. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1998, v:40, n:1, pp:29-50 [Journal]
    
13. S. H. De Boer, L. J. Ward, X. Li, S. Chittaranjan
    Attenuation of PCR inhibition in the presence of plant compounds by addition of BLOTTO. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 1995, v:23, n:13, pp:2567-2568 [Journal]
    
14. X. Li, N. Ye
    A Supervised Clustering and Classification Algorithm for Mining Data With Mixed Variables. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2006, v:36, n:2, pp:396-406 [Journal]
    
15. X. Li, P. Zhao
    Some Aging Properties of the Residual Life of$k$-out-of-$n$Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Reliability, 2006, v:55, n:3, pp:535-541 [Journal]
    
16. 
    B-FES/o: an ontology-based scheme for functional modeling in design for semantic Web applications. [Citation Graph (, )][DBLP]
    
    
17. 
    A Novel Framework for Multi-objective Optimization of Video CODECs. [Citation Graph (, )][DBLP]
    
    
18. 
    Survivability-Enhancing Routing Scheme for Multi-Domain Networks. [Citation Graph (, )][DBLP]
    
    
19. 
    Inspection and Image Analysis of Nickel Sulphide Inclusions in Toughened Glass Panels. [Citation Graph (, )][DBLP]
    
    
20. 
    A robust doorplate recognition system. [Citation Graph (, )][DBLP]
    
    
21. 
    Law recognition via histogram-based estimation. [Citation Graph (, )][DBLP]
    
    
22. 
    On the topology distortion in self-organizing feature maps. [Citation Graph (, )][DBLP]