|
Search the dblp DataBase
Jinzhao Wu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Guangping Qin, Jinzhao Wu
Branching Time Equivalences for Interactive Markov Chains. [Citation Graph (0, 0)][DBLP] FORTE Workshops, 2004, pp:156-169 [Conf]
- 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]
- Mila E. Majster-Cederbaum, Jinzhao Wu
Action Refinement for True Concurrent Real Time. [Citation Graph (0, 0)][DBLP] ICECCS, 2001, pp:58-68 [Conf]
- Jianmin Jiang, Jinzhao Wu
The Preservation of Interleaving Equivalences. [Citation Graph (0, 0)][DBLP] ICECCS, 2005, pp:580-589 [Conf]
- 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]
- 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]
- Xiying Zhao, Lian Li, Jinzhao Wu
Simulation for Interactive Markov Chains. [Citation Graph (0, 0)][DBLP] ICNC (1), 2006, pp:893-902 [Conf]
- Naijun Zhan, Jinzhao Wu
Compositionality of Fixpoint Logic with Chop. [Citation Graph (0, 0)][DBLP] ICTAC, 2005, pp:136-150 [Conf]
- Weibo Mao, Jinzhao Wu
Application of Wu's method to symbolic model checking. [Citation Graph (0, 0)][DBLP] ISSAC, 2005, pp:237-244 [Conf]
- Jinzhao Wu, Lian Li
The Regular Problem and Green Equivalences for Special Monoids. [Citation Graph (0, 0)][DBLP] ISSAC, 1993, pp:78-85 [Conf]
- 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]
- 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]
- Jianmin Jiang, Jinzhao Wu
Symmetry and Autobisimulation. [Citation Graph (0, 0)][DBLP] PDCAT, 2005, pp:866-870 [Conf]
- Jianmin Jiang, Jinzhao Wu, Donghuo Chen
Symmetry in event structures. [Citation Graph (0, 0)][DBLP] SAC, 2006, pp:1850-1851 [Conf]
- Xiuli Sun, Jinzhao Wu
Operational Semantics for Real-Time Processes with Action Refinement. [Citation Graph (0, 0)][DBLP] SEFM, 2005, pp:54-63 [Conf]
- Jinzhao Wu, Houguang Yue
Towards Action Refinement for Concurrent Systems with Causal Ambiguity. [Citation Graph (0, 0)][DBLP] SEFM, 2004, pp:300-309 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Jinzhao Wu, Lin Zhao
An Algebraic Approach to Multi-Valued Model Checking. [Citation Graph (0, 0)][DBLP] ACSD, 2007, pp:238-239 [Conf]
- Jinzhao Wu, Wei Yan
A Logic for Flow Event Structures. [Citation Graph (0, 0)][DBLP] Computers and Their Applications, 2007, pp:373-379 [Conf]
- 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]
- Jianmin Jiang, Jinzhao Wu, Hongping Shu
Symmetry in Process Algebra. [Citation Graph (0, 0)][DBLP] TASE, 2007, pp:450-462 [Conf]
- Jinzhao Wu, Lin Zhao
Multi-Valued Model Checking via Groebner Basis Approach. [Citation Graph (0, 0)][DBLP] TASE, 2007, pp:35-44 [Conf]
- 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]
- 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]
Model Checking of Computer-Based Systems. [Citation Graph (, )][DBLP]
Operational semantics of probabilistic Kleene algebra with tests. [Citation Graph (, )][DBLP]
Theory framework for event structure slicing. [Citation Graph (, )][DBLP]
Open Logic Based on Partial-Ordered Partition Model. [Citation Graph (, )][DBLP]
Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web. [Citation Graph (, )][DBLP]
Stochastic Process Algebra with Value-Passing. [Citation Graph (, )][DBLP]
Timed CSP for Safety Specification of Hybrid System. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.307secs
|