The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

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

Publications of Author

  1. Shuang Cong, Guodong Li, Yisong Zheng
    A Novel Local Connection Neural Network. [Citation Graph (0, 0)][DBLP]
    ICNC (1), 2005, pp:773-777 [Conf]
  2. Guodong Li, Youtao Zhang, Yongjing Lin, Yaochun Huang
    Scalable Duplication Strategy with Bounded Availability of Processors. [Citation Graph (0, 0)][DBLP]
    ICPADS, 2004, pp:267-0 [Conf]
  3. Guodong Li, Daoxu Chen, Wang Daming, Defu Zhang
    Task Clustering and Scheduling to Multiprocessors with Duplication. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:6- [Conf]
  4. Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang
    Functional Correctness Proofs of Encryption Algorithms. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:519-533 [Conf]
  5. Guodong Li, Daisuke Yamaguchi, Masatake Nagai
    Non-Equidistance Grey Model Based on Grey Interval Weighting Accumulated Generating Operation. [Citation Graph (0, 0)][DBLP]
    MLMTA, 2006, pp:180-188 [Conf]
  6. Shuang Cong, Gang Wu, Guodong Li
    The Decrease of Fuzzy Label Number Using Self-organization Competition Network. [Citation Graph (0, 0)][DBLP]
    NC, 1998, pp:106-112 [Conf]
  7. Bin Cong, Guodong Li
    Simulation of 3-Dimensional Meshes by Small Hypercubes. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Systems, 1995, pp:403-406 [Conf]
  8. Takahiro Akabane, Daisuke Yamaguchi, Guodong Li, Kozo Mizutani, Masatake Nagai
    Construction and Evaluation of Kansei Information Processing Systems Based on K-Model. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2005, pp:468-474 [Conf]
  9. Guodong Li, Daisuke Yamaguchi, Masatake Nagai
    A Grey-Based Approach to Suppliers Selection Problem. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2006, pp:818-824 [Conf]
  10. Guodong Li, Daisuke Yamaguchi, Hui-Shan Lin, Kun-Li Wen, Masatake Nagai
    A Grey-Based Rough Set Approach to Suppliers Selection Problem. [Citation Graph (0, 0)][DBLP]
    RSCTC, 2006, pp:487-496 [Conf]
  11. Guodong Li, Daisuke Yamaguchi, Kun-Li Wen, Masatake Nagai
    A Hybrid Grey-Based Dynamic Model for International Airlines Amount Increase Prediction. [Citation Graph (0, 0)][DBLP]
    RSCTC, 2006, pp:497-506 [Conf]
  12. Daisuke Yamaguchi, Guodong Li, Masatake Nagai
    On the Combination of Rough Set Theory and Grey Theory Based on Grey Lattice Operations. [Citation Graph (0, 0)][DBLP]
    RSCTC, 2006, pp:507-516 [Conf]
  13. Guodong Li, Defu Zhang
    Distributing and Scheduling Divisible Task on Parallel Communicating Processors. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2002, v:17, n:6, pp:788-796 [Journal]
  14. Guodong Li, Konrad Slind
    Compilation as Rewriting in Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:19-34 [Conf]
  15. Guodong Li, Scott Owens, Konrad Slind
    Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:205-219 [Conf]
  16. Daisuke Yamaguchi, Guodong Li, Masatake Nagai
    A Grey-Rough Set Approach for Interval Data Reduction of Attributes. [Citation Graph (0, 0)][DBLP]
    RSEISP, 2007, pp:400-410 [Conf]
  17. Daisuke Yamaguchi, Guodong Li, Masatake Nagai
    A grey-based rough approximation model for interval data processing. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2007, v:177, n:21, pp:4727-4744 [Journal]

  18. Decision rule extraction and reduction based on grey lattice classification. [Citation Graph (, )][DBLP]


  19. Formal specification of the MPI-2.0 standard in TLA+. [Citation Graph (, )][DBLP]


  20. A symbolic verifier for CUDA programs. [Citation Graph (, )][DBLP]


  21. Trusted Source Translation of a Total Function Language. [Citation Graph (, )][DBLP]


  22. Construction and Implementation of Spatial Analysis Model Based on Geographic Information System (GIS)--A Case Study of Simulation for Urban Thermal Field. [Citation Graph (, )][DBLP]


  23. Integration and Application of Geographic Information System (GIS) and Spatial Analysis Model--A Case Study of Simulation for Soil Environment. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002