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