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

Search the dblp DataBase

Title:
Author:
Jianhua Zhao: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng
    Runtime Verification of Java Programs for Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2006, pp:94-105 [Conf]
  2. Xuandong Li, Pei Yu, Jianhua Zhao, Yong Li 0005, Tao Zheng, Guoliang Zheng
    Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:465-480 [Conf]
  3. Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
    Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:34-45 [Conf]
  4. Xuandong Li, Bu Lei, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng
    Scenario-Based Timing Consistency Checking for Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:388-403 [Conf]
  5. Jinwu Gao, Jianhua Zhao, Xiaoyu Ji
    Fuzzy Chance-Constrained Programming for Capital Budgeting Problem with Fuzzy Decisions. [Citation Graph (0, 0)][DBLP]
    FSKD (1), 2005, pp:304-311 [Conf]
  6. Weizhen Yan, Jianhua Zhao, Zhe Cao
    Fuzzy Programming Model for Lot Sizing Production Planning Problem. [Citation Graph (0, 0)][DBLP]
    FSKD (1), 2005, pp:285-294 [Conf]
  7. Jianhua Zhao, Dang Van Hung
    On Checking Parallel Real-Time Systems for Linear Duration Properties. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:241-250 [Conf]
  8. Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng
    Partial Order Path Technique for Checking Parallel Timed Automata. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:417-432 [Conf]
  9. Xuandong Li, Tao Zheng, Hou Jianmin, Jianhua Zhao, Guoliang Zheng
    Hybrid Regular Expressions. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:384-399 [Conf]
  10. Jianhua Zhao, David McConnell, Kedong Li, Kanji Akahori
    STAD Modeling Method for Computer Supported Group Learning. [Citation Graph (0, 0)][DBLP]
    ICCE, 2002, pp:344-348 [Conf]
  11. Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng
    Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2005, pp:- [Conf]
  12. Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng
    Verifying Compositional Designs for Scenario-Based Timing Specifications. [Citation Graph (0, 0)][DBLP]
    ISORC, 2004, pp:253-256 [Conf]
  13. Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng
    Consistency Checking of Concurrent Models for Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2005, pp:298-312 [Conf]
  14. Xuandong Li, Cui Meng, Pei Yu, Jianhua Zhao, Guoliang Zheng
    Timing Analysis of UML Activity Diagrams. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:62-75 [Conf]
  15. Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng
    Duration-constrained regular expressions. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:2, pp:155-163 [Journal]
  16. Jianhua Zhao, Xuandong Li, Guoliang Zheng
    A quadratic-time DBM-based successor algorithm for checking timed automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:96, n:3, pp:101-105 [Journal]
  17. Jianhua Zhao, Dang Van Hung
    Checking Timed Automata for Linear Duration Properties. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2000, v:15, n:5, pp:423-429 [Journal]
  18. Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
    Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2006, v:21, n:1, pp:41-51 [Journal]
  19. Xuandong Li, Jianhua Zhao, Pei Yu, Yong Li 0005, Tao Zheng, Guoliang Zheng
    Positive loop-closed automata: a decidable class of hybrid systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:79-108 [Journal]
  20. Jianhua Zhao, Chen Jiajun, Guoliang Zheng
    Message Conversion and A New Type System for OO Model. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:9, pp:61-67 [Journal]
  21. Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li
    Towards a Model Driven Approach to Automatic BPEL Generation. [Citation Graph (0, 0)][DBLP]
    ECMDA-FA, 2007, pp:204-218 [Conf]
  22. Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li
    A Model Driven Development Framework for Enterprise Web Services. [Citation Graph (0, 0)][DBLP]
    EDOC, 2006, pp:75-84 [Conf]
  23. Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li
    A model-driven development framework for enterprise Web services. [Citation Graph (0, 0)][DBLP]
    Information Systems Frontiers, 2007, v:9, n:4, pp:391-409 [Journal]

  24. Proactive NBTI mitigation for busy functional units in out-of-order microprocessors. [Citation Graph (, )][DBLP]


  25. An Examination of Students' Perception of Blended E-Learning in Chinese Higher Education. [Citation Graph (, )][DBLP]


  26. Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. [Citation Graph (, )][DBLP]


  27. Students' Understandings and Attitudes toward Group learning: An Empirical Study. [Citation Graph (, )][DBLP]


  28. A Sociogram Analysis on Group Interaction in an Online Discussion Forum. [Citation Graph (, )][DBLP]


  29. A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. [Citation Graph (, )][DBLP]


  30. Improve Model Checking Efficiency Using Specific Knowledge about the System. [Citation Graph (, )][DBLP]


  31. Design pattern directed clustering for understanding open source code. [Citation Graph (, )][DBLP]


  32. Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. [Citation Graph (, )][DBLP]


  33. A MDE Based Approach for Bridging Formal Models. [Citation Graph (, )][DBLP]


  34. Verification of Population Ring Protocols in PAT. [Citation Graph (, )][DBLP]


  35. Knowledge Construction through Discussion Forum in a Blended Learning Environment. [Citation Graph (, )][DBLP]


  36. A Descriptive Method for Simulating a Group Knowledge Building Process. [Citation Graph (, )][DBLP]


  37. Teachers' Conceptions of E-learning in Chinese Higher Education: Findings of Phenomenographic Study. [Citation Graph (, )][DBLP]


  38. Discussion on Teamwork Construction in Teaching of Universities and Colleges. [Citation Graph (, )][DBLP]


  39. The International Comparison of Professionalization of University Administrators and the Related Apocalypse. [Citation Graph (, )][DBLP]


  40. A Discussion on the Training Mode of University Administrative Staffs under the Specialization View. [Citation Graph (, )][DBLP]


  41. UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. [Citation Graph (, )][DBLP]


  42. Scope Logic: Extending Hoare Logic for Pointer Program Verification [Citation Graph (, )][DBLP]


  43. Preface. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.302secs
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