The SCEAS System
| |||||||

## 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.004secs, Finished in 0.007secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |