The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Limin Jia: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ye Zhang, Guoqiang Cai, Limin Jia, Fu Wei
    Application of Petri Net with Objects in Safety System Process Modeling. [Citation Graph (0, 0)][DBLP]
    CSREA EEE, 2005, pp:120-126 [Conf]
  2. Limin Jia, David Walker
    Modal Proofs as Distributed Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:219-233 [Conf]
  3. Limin Jia, David Walker
    ILC: A Foundation for Automated Reasoning About Pointer Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:131-145 [Conf]
  4. Zong-yi Xing, Yong Zhang, Li-min Jia, Wei-li Hu
    Design of Interpretable and Accurate Fuzzy Models from Data. [Citation Graph (0, 0)][DBLP]
    FSKD (1), 2005, pp:69-78 [Conf]
  5. Yangdong Ye, Juan Wang, Limin Jia
    Analysis of Temporal Uncertainty of Trains Converging Based on Fuzzy Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    FSKD (1), 2005, pp:89-99 [Conf]
  6. Frances Perry, Limin Jia, David Walker
    Expressing heap-shape contracts in linear logic. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:101-110 [Conf]
  7. Guoqiang Cai, Yangdong Ye, Xiaoyan Lv, Limin Jia
    Predictive Analysis Method Based on Railway Ticket Data Warehouse. [Citation Graph (0, 0)][DBLP]
    IKE, 2004, pp:378-384 [Conf]
  8. Limin Jia, Qiuhua Jiang
    Study on Essential Characteristics of RITS. [Citation Graph (0, 0)][DBLP]
    ISADS, 2003, pp:216-0 [Conf]
  9. Yangdong Ye, Zundong Zhang, Honghua Dai, Limin Jia
    A Study of Train Group Operation Multi-agent Model Oriented to RITS. [Citation Graph (0, 0)][DBLP]
    KES (1), 2005, pp:707-713 [Conf]
  10. Amal J. Ahmed, Limin Jia, David Walker
    Reasoning about Hierarchical Storage. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:33-44 [Conf]
  11. Limin Jia, Frances Spalding, David Walker, Neal Glew
    Certifying Compilation for a Language with Stack Allocation. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:407-416 [Conf]
  12. Wei Fu, Guoqiang Cai, Limin Jia, Yangdong Ye, Ye Zhang
    Research on Software Requirement Analysis Method Based on Five-Key Elements Arrange. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:442-447 [Conf]
  13. Guoqiang Cai, Zundong Zhang, Limin Jia, Yangdong Ye
    A multi-agent model of railway intelligent safety guarantee system. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 2006, pp:138-143 [Conf]

  14. A Novel Self Accommodate Control Network. [Citation Graph (, )][DBLP]


  15. Evidence-Based Audit. [Citation Graph (, )][DBLP]


  16. Constraining Credential Usage in Logic-Based Access Control. [Citation Graph (, )][DBLP]


  17. Chinese Prosodic Word Prediction Using the Conditional Random Fields. [Citation Graph (, )][DBLP]


  18. Mamdani Model Based Adaptive Neural Fuzzy Inference System and its Application in Traffic Level of Service Evaluation. [Citation Graph (, )][DBLP]


  19. AURA: a programming language for authorization and audit. [Citation Graph (, )][DBLP]


  20. An Experiment Study on Level of Service for the Regional Road Traffic. [Citation Graph (, )][DBLP]


  21. Application Research on Track Safety Assessment Based on Artificial Neural Network. [Citation Graph (, )][DBLP]


  22. Modeling and Application of Railway Safety System through Object Petri Nets. [Citation Graph (, )][DBLP]


  23. Encoding information flow in Aura. [Citation Graph (, )][DBLP]


  24. Dependent types and program equivalence. [Citation Graph (, )][DBLP]


  25. Language support for processing distributed ad hoc data. [Citation Graph (, )][DBLP]


  26. xDomain: cross-border proofs of access. [Citation Graph (, )][DBLP]


  27. Uncertain Temporal Knowledge Reasoning of Train Group Operation Based on Extended Fuzzy-Timing Petri Nets. [Citation Graph (, )][DBLP]


  28. Research on fuzzy modeling based on modified fuzzy clustering and its application. [Citation Graph (, )][DBLP]


  29. Integrating GIS with Cellular Automaton Model for Railway Transportation Safety System. [Citation Graph (, )][DBLP]


  30. Analysis and Evaluation of Connectivity Reliability for Dynamic Transportation Network. [Citation Graph (, )][DBLP]


  31. Road Traffic State Prediction with a Maximum Entropy Method. [Citation Graph (, )][DBLP]


  32. Road Traffic Flow Prediction with a Time-Oriented ARIMA Model. [Citation Graph (, )][DBLP]


  33. Approach of Fuzzy Classification Based on Hybrid Co-Evolution Algorithm. [Citation Graph (, )][DBLP]


  34. A New Kind of PSO--Convergent Fuzzy Particle Swarm Optimization and Performance Analysis. [Citation Graph (, )][DBLP]


  35. Application of Quantitative Analysis Method in Traffic Volume Prediction. [Citation Graph (, )][DBLP]


  36. Modeling and Application of Urban Dynamic Region Traffic Model Based on Information Fusion. [Citation Graph (, )][DBLP]


  37. Research on Emergency Management Information System of Qinghai-Tibet Railway Line. [Citation Graph (, )][DBLP]


  38. Approach and Application of Transportation State Analysis. [Citation Graph (, )][DBLP]


  39. Approach of Train Group Operation Conflict Prevention Reasoning Based on Fuzzy Time Petri Nets. [Citation Graph (, )][DBLP]


Search in 0.169secs, Finished in 0.171secs
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