2009 |
44 | EE | 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 | EE | Wenbo Chen,
Guang Zheng,
Lian Li,
Jinzhao Wu:
Real Time Process Algebra with Urgency Executing Policy.
JSW 4(1): 34-41 (2009) |
2008 |
42 | EE | Guang Zheng,
Jinzhao Wu,
Lian Li:
Stochastic Process Algebra with Value-Passing.
CSSE (3) 2008: 374-377 |
41 | EE | Jinzhao Wu,
Shihan Yang:
Timed CSP for Safety Specification of Hybrid System.
ICYCS 2008: 1913-1918 |
40 | EE | Rui Qiao,
Yuan Wang,
Xinyan Gao,
Jinzhao Wu:
Operational semantics of probabilistic Kleene algebra with tests.
ISCC 2008: 706-713 |
39 | EE | Xinyan Gao,
Jinzhao Wu,
Rui Qiao,
Jianfeng Chen:
Theory framework for event structure slicing.
ISCC 2008: 714-721 |
38 | EE | Liannan Lin,
Jinzhao Wu,
Xiang Xu:
Open Logic Based on Partial-Ordered Partition Model.
TASE 2008: 247-254 |
2007 |
37 | EE | 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 | EE | Jinzhao Wu,
Wei Yan:
Model Checking of Computer-Based Systems.
ECBS 2007: 557-568 |
34 | EE | 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 | EE | Donghuo Chen,
Guangquan Zhang,
Jinzhao Wu:
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems.
TASE 2007: 241-250 |
32 | EE | Jinzhao Wu,
Lin Zhao:
Multi-Valued Model Checking via Groebner Basis Approach.
TASE 2007: 35-44 |
31 | EE | Jianmin Jiang,
Jinzhao Wu,
Hongping Shu:
Symmetry in Process Algebra.
TASE 2007: 450-462 |
2006 |
30 | EE | Xiying Zhao,
Lian Li,
Jinzhao Wu:
Simulation for Interactive Markov Chains.
ICNC (1) 2006: 893-902 |
29 | EE | Jianmin Jiang,
Jinzhao Wu,
Donghuo Chen:
Symmetry in event structures.
SAC 2006: 1850-1851 |
28 | EE | Donghuo Chen,
Jinzhao Wu:
Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic.
SOFSEM 2006: 207-217 |
27 | EE | 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 | EE | 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 | EE | Jianmin Jiang,
Jinzhao Wu:
The Preservation of Interleaving Equivalences.
ICECCS 2005: 580-589 |
23 | EE | Naijun Zhan,
Jinzhao Wu:
Compositionality of Fixpoint Logic with Chop.
ICTAC 2005: 136-150 |
22 | EE | Weibo Mao,
Jinzhao Wu:
Application of Wu's method to symbolic model checking.
ISSAC 2005: 237-244 |
21 | EE | Jianmin Jiang,
Jinzhao Wu:
Symmetry and Autobisimulation.
PDCAT 2005: 866-870 |
20 | EE | Xiuli Sun,
Jinzhao Wu:
Operational Semantics for Real-Time Processes with Action Refinement.
SEFM 2005: 54-63 |
19 | EE | 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 | EE | Guangping Qin,
Jinzhao Wu:
Branching Time Equivalences for Interactive Markov Chains.
FORTE Workshops 2004: 156-169 |
17 | EE | 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 | EE | Xiuli Sun,
Jinzhao Wu,
Xiaoyu Song,
Mila E. Majster-Cederbaum:
Formal Specification of an Asynchronous Processor via Action Refinement.
MTV 2004: 36-41 |
15 | EE | Jinzhao Wu,
Houguang Yue:
Towards Action Refinement for Concurrent Systems with Causal Ambiguity.
SEFM 2004: 300-309 |
14 | EE | Jinzhao Wu,
Harald Fecher:
Symmetric Structure in Logic Programming.
J. Comput. Sci. Technol. 19(6): 803-811 (2004) |
13 | EE | 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 | EE | Mila E. Majster-Cederbaum,
Jinzhao Wu:
Adding Action Refinement to Stochastic True Concurrency Models.
ICFEM 2003: 226-245 |
11 | EE | 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 | EE | Harald Fecher,
Mila E. Majster-Cederbaum,
Jinzhao Wu:
Action Refinement for Probabilistic Processes with True Concurrency Models.
PAPM-PROBMIV 2002: 77-94 |
8 | EE | 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 | EE | 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 | EE | Mila E. Majster-Cederbaum,
Jinzhao Wu:
Action Refinement for True Concurrent Real Time.
ICECCS 2001: 58-68 |
5 | EE | Jinzhao Wu:
CWA Formalizations in Multi-Valued Logics.
J. Comput. Sci. Technol. 16(3): 263-269 (2001) |
2000 |
4 | EE | 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 | EE | Louxin Zhang,
Lian Li,
Jinzhao Wu:
On the descriptive power of special Thue systems.
Discrete Mathematics 160(1-3): 291-297 (1996) |
1993 |
1 | EE | Jinzhao Wu,
Lian Li:
The Regular Problem and Green Equivalences for Special Monoids.
ISSAC 1993: 78-85 |