The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jinzhao Wu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Guangping Qin, Jinzhao Wu
    Branching Time Equivalences for Interactive Markov Chains. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:156-169 [Conf]
  2. Jinzhao Wu, Wenyin Zhang, Zhenbing Zeng
    Automatic Generation of Mathematical Expressions of Printed Chinese Characters. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 2005, pp:404-408 [Conf]
  3. Mila E. Majster-Cederbaum, Jinzhao Wu
    Action Refinement for True Concurrent Real Time. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:58-68 [Conf]
  4. Jianmin Jiang, Jinzhao Wu
    The Preservation of Interleaving Equivalences. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:580-589 [Conf]
  5. Mila E. Majster-Cederbaum, Jinzhao Wu
    Adding Action Refinement to Stochastic True Concurrency Models. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:226-245 [Conf]
  6. Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan
    Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:449-463 [Conf]
  7. Xiying Zhao, Lian Li, Jinzhao Wu
    Simulation for Interactive Markov Chains. [Citation Graph (0, 0)][DBLP]
    ICNC (1), 2006, pp:893-902 [Conf]
  8. Naijun Zhan, Jinzhao Wu
    Compositionality of Fixpoint Logic with Chop. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:136-150 [Conf]
  9. Weibo Mao, Jinzhao Wu
    Application of Wu's method to symbolic model checking. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:237-244 [Conf]
  10. Jinzhao Wu, Lian Li
    The Regular Problem and Green Equivalences for Special Monoids. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:78-85 [Conf]
  11. Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum
    Formal Specification of an Asynchronous Processor via Action Refinement. [Citation Graph (0, 0)][DBLP]
    MTV, 2004, pp:36-41 [Conf]
  12. Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
    Action Refinement for Probabilistic Processes with True Concurrency Models. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:77-94 [Conf]
  13. Jianmin Jiang, Jinzhao Wu
    Symmetry and Autobisimulation. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2005, pp:866-870 [Conf]
  14. Jianmin Jiang, Jinzhao Wu, Donghuo Chen
    Symmetry in event structures. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1850-1851 [Conf]
  15. Xiuli Sun, Jinzhao Wu
    Operational Semantics for Real-Time Processes with Action Refinement. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:54-63 [Conf]
  16. Jinzhao Wu, Houguang Yue
    Towards Action Refinement for Concurrent Systems with Causal Ambiguity. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:300-309 [Conf]
  17. Donghuo Chen, Jinzhao Wu
    Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2006, pp:207-217 [Conf]
  18. Mila E. Majster-Cederbaum, Jinzhao Wu
    Towards action refinement for true concurrent real time. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2003, v:39, n:8, pp:531-577 [Journal]
  19. Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue
    Refinement of actions for real-time concurrent systems with causal ambiguity. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2006, v:42, n:6-7, pp:389-418 [Journal]
  20. Donghuo Chen, Jinzhao Wu
    Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:1, pp:23-38 [Journal]
  21. Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
    Refinement of actions in a real-time process algebra with a true concurrency model. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  22. Guangping Qin, Jinzhao Wu
    Action Refinement for Real-Time Concurrent Processes with Urgency. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:139, n:1, pp:123-144 [Journal]
  23. Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
    Bundle event structures: A revised cpo approach. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2002, v:83, n:1, pp:7-12 [Journal]
  24. Jinzhao Wu
    CWA Extensions to Multi-Valued Logics. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:2, pp:133-164 [Journal]
  25. Jinzhao Wu, Zhuojun Liu
    Well-Behaved Inference Rules for First-Order Theorem Proving. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:21, n:3, pp:381-400 [Journal]
  26. Jinzhao Wu
    CWA Formalizations in Multi-Valued Logics. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2001, v:16, n:3, pp:263-269 [Journal]
  27. Xiuli Sun, Wenyin Zhang, Jinzhao Wu
    Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2004, v:19, n:6, pp:828-839 [Journal]
  28. Jinzhao Wu, Harald Fecher
    Symmetric Structure in Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2004, v:19, n:6, pp:803-811 [Journal]
  29. Jinzhao Wu, Zhuojun Liu
    Linear Strategy for Boolean Ring Based Theorem Proving. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2000, v:15, n:3, pp:271-279 [Journal]
  30. Jinzhao Wu, Lin Zhao
    An Algebraic Approach to Multi-Valued Model Checking. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:238-239 [Conf]
  31. Jinzhao Wu, Wei Yan
    A Logic for Flow Event Structures. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2007, pp:373-379 [Conf]
  32. Donghuo Chen, Guangquan Zhang, Jinzhao Wu
    QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:241-250 [Conf]
  33. Jianmin Jiang, Jinzhao Wu, Hongping Shu
    Symmetry in Process Algebra. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:450-462 [Conf]
  34. Jinzhao Wu, Lin Zhao
    Multi-Valued Model Checking via Groebner Basis Approach. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:35-44 [Conf]
  35. Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li
    A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. [Citation Graph (0, 0)][DBLP]
    FAW, 2007, pp:178-190 [Conf]
  36. Louxin Zhang, Lian Li, Jinzhao Wu
    On the descriptive power of special Thue systems. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1996, v:160, n:1-3, pp:291-297 [Journal]

  37. Model Checking of Computer-Based Systems. [Citation Graph (, )][DBLP]


  38. Operational semantics of probabilistic Kleene algebra with tests. [Citation Graph (, )][DBLP]


  39. Theory framework for event structure slicing. [Citation Graph (, )][DBLP]


  40. Open Logic Based on Partial-Ordered Partition Model. [Citation Graph (, )][DBLP]


  41. Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web. [Citation Graph (, )][DBLP]


  42. Stochastic Process Algebra with Value-Passing. [Citation Graph (, )][DBLP]


  43. Timed CSP for Safety Specification of Hybrid System. [Citation Graph (, )][DBLP]


Search in 0.058secs, Finished in 0.062secs
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