# Jinzhao Wu

According to our database

Collaborative distances :

^{1}, Jinzhao Wu authored at least 70 papers between 1993 and 2018.Collaborative distances :

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Formal verification and quantitative metrics of MPSoC data dynamics.

Formal Asp. Comput., 2018

A FPGA Based SAT Solver with High Random and Concurrent Strategies.

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017

A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature.

CoRR, 2017

A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature.

IEEE Access, 2017

Anomaly Detection for Categorical Observations Using Latent Gaussian Process.

Proceedings of the Neural Information Processing - 24th International Conference, 2017

2016

Preservation of Dynamic Behaviours in a Hierarchical Event Structure.

JSW, 2016

Rough data-deduction based on the upper approximation.

Inf. Sci., 2016

Safety verification of finite real-time nonlinear hybrid systems using enhanced group preserving scheme.

Cluster Computing, 2016

2015

A discrete invasive weed optimization algorithm for solving traveling salesman problem.

Neurocomputing, 2015

2014

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions.

J. Applied Mathematics, 2014

Semantic Consistency Checking in Building Ontology from Heterogeneous Sources.

J. Applied Mathematics, 2014

Approximate Equivalence of the Hybrid Automata with Taylor Theory.

J. Applied Mathematics, 2014

2013

Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling.

JCP, 2013

Research on Virtual Network Mapping Algorithm with Path Splitting Based on Sort Preprocessing.

JCP, 2013

Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches.

J. Applied Mathematics, 2013

A Latent Implementation Error Detection Method for Software Validation.

J. Applied Mathematics, 2013

Automata-Based Analysis of Stage Suspended Boom Systems.

J. Applied Mathematics, 2013

Wu's Characteristic Set Method for SystemVerilog Assertions Verification.

J. Applied Mathematics, 2013

2012

Design and implementation of the first nationwide, web-based Chinese Renal Data System (CNRDS).

BMC Med. Inf. & Decision Making, 2012

2011

Stochastic Process Algebra with Value-Passing and Weak Time Restrictions.

JSW, 2011

Mathematical analysis of stage-based programmable logic controller.

Computers & Mathematics with Applications, 2011

2010

Runtime Verification with Multi-valued Formula Rewriting.

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Mapping Relational Databases into Ontologies through a Graph-based Formal Model.

Proceedings of the Sixth International Conference on Semantics Knowledge and Grid, 2010

2009

Real Time Process Algebra with Urgency Executing Policy.

JSW, 2009

Process Algebra with Chaos Executing Policy for Unhealthy Systems.

JCP, 2009

Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web.

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008

Open Logic Based on Partial-Ordered Partition Model.

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Operational semantics of probabilistic Kleene algebra with tests.

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Theory framework for event structure slicing.

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Timed CSP for Safety Specification of Hybrid System.

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Probabilistic Modal Kleene Algebra and Hoare-Style Logic.

Proceedings of the Fourth International Conference on Natural Computation, 2008

Stochastic Process Algebra with Value-Passing.

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

Multi-Valued Model Checking via Groebner Basis Approach.

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Symmetry in Process Algebra.

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems.

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement.

Proceedings of the Frontiers in Algorithmics, First Annual International Workshop, 2007

Model Checking of Computer-Based Systems.

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

A Logic for Flow Event Structures.

Proceedings of the 22nd International Conference on Computers and Their Applications, 2007

An Algebraic Approach to Multi-Valued Model Checking.

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic.

Electr. Notes Theor. Comput. Sci., 2006

Refinement of actions for real-time concurrent systems with causal ambiguity.

Acta Inf., 2006

Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic.

Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

Symmetry in event structures.

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Simulation for Interactive Markov Chains.

Proceedings of the Advances in Natural Computation, Second International Conference, 2006

2005

Action Refinement for Real-Time Concurrent Processes with Urgency.

Electr. Notes Theor. Comput. Sci., 2005

Operational Semantics for Real-Time Processes with Action Refinement.

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Symmetry and Autobisimulation.

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

Application of Wu's method to symbolic model checking.

Proceedings of the Symbolic and Algebraic Computation, 2005

Compositionality of Fixpoint Logic with Chop.

Proceedings of the Theoretical Aspects of Computing, 2005

The Preservation of Interleaving Equivalences.

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Automatic Generation of Mathematical Expressions of Printed Chinese Characters.

Proceedings of the IASTED International Conference on Computational Intelligence, 2005

2004

Symmetric Structure in Logic Programming.

J. Comput. Sci. Technol., 2004

Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement.

J. Comput. Sci. Technol., 2004

Towards Action Refinement for Concurrent Systems with Causal Ambiguity.

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Formal Specification of an Asynchronous Processor via Action Refinement.

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004

Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.

Proceedings of the Formal Methods and Software Engineering, 2004

Branching Time Equivalences for Interactive Markov Chains.

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

CWA Extensions to Multi-Valued Logics.

Journal of Applied Non-Classical Logics, 2003

Towards action refinement for true concurrent real time.

Acta Inf., 2003

Adding Action Refinement to Stochastic True Concurrency Models.

Proceedings of the Formal Methods and Software Engineering, 2003

2002

Bundle event structures: A revised cpo approach.

Inf. Process. Lett., 2002

Refinement of actions in a real-time process algebra with a true concurrency model.

Electr. Notes Theor. Comput. Sci., 2002

Action Refinement for Probabilistic Processes with True Concurrency Models.

Proceedings of the Process Algebra and Probabilistic Methods, 2002

2001

CWA Formalizations in Multi-Valued Logics.

J. Comput. Sci. Technol., 2001

Action Refinement for True Concurrent Real Time.

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

2000

Linear Strategy for Boolean Ring Based Theorem Proving.

J. Comput. Sci. Technol., 2000

1998

Well-Behaved Inference Rules for First-Order Theorem Proving.

J. Autom. Reasoning, 1998

1997

Mechanical geometry theorem proving based on groebner bases.

J. Comput. Sci. Technol., 1997

1996

On the descriptive power of special Thue systems.

Discrete Mathematics, 1996

1993

The Regular Problem and Green Equivalences for Special Monoids.

Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, 1993