Jinzhao Wu

Jinzhao Wu, Houguang Yue, Jinzhao Wu, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

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

Jinzhao Wu, Hui Zhang, Juan Tang, 2016, Cluster Computing.

A Method for Determining the Affine Equivalence of Boolean Functions

Guowu Yang, Jinzhao Wu, Ziyu Wang, 2019, IEEE Access.

Operational semantics of probabilistic Kleene algebra with tests

Jinzhao Wu, Rui Qiao, Xinyan Gao, 2008, 2008 IEEE Symposium on Computers and Communications.

CWA Extensions to Multi-Valued Logics

Jinzhao Wu, 2003, J. Appl. Non Class. Logics.

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

Jinzhao Wu, Hui Hou, 2009, 2009 International Conference on Computational Science and Engineering.

Formal verification of RGPS-G

Jinzhao Wu, Yang Liu, Jinzhao Wu, 2011, 2011 International Conference on Computer Science and Service System (CSSS).

Action Refinement for Real-Time Concurrent Processes with Urgency

Jinzhao Wu, Guangping Qin, Guangping Qin, 2005, Journal of Computer Science and Technology.

A New Approach for Classification of Epilepsy EEG Signals Based on Temporal Convolutional Neural Networks

Jinzhao Wu, Meng Yang, Wei Su, 2018, 2018 11th International Symposium on Computational Intelligence and Design (ISCID).

Multi-Valued Model Checking via Groebner Basis Approach

Jinzhao Wu, Lin Zhao, Lin Zhao, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

The Accessibility of Mathematical Formulas for the Visually Impaired in China

Jinzhao Wu, Wei Su, Chuan Cai, 2018, AISC.

An innovative implementation of asynchronous for-loop circuit with click micropipeline

Jinzhao Wu, Anping He, Guangbo Feng, 2017, 2017 2nd IEEE International Conference on Integrated Circuits and Microsystems (ICICM).

Symmetry and Autobisimulation

Jinzhao Wu, Jianmin Jiang, 2005, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05).

Approximation of Homogeneous Linear Algebraic Transition Systems

Jinzhao Wu, Hongyan Tan, Yi Liang, 2013, ICSE 2013.

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

Jinzhao Wu, Yong Huang, Jinzhao Wu, 2013, J. Comput..

Real Time Process Algebra with Urgency Executing Policy

Jinzhao Wu, Wenbo Chen, Guang Zheng, 2009, J. Softw..

Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement

Jinzhao Wu, Wenyin Zhang, Xiuli Sun, 2008, Journal of Computer Science and Technology.

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

Jinzhao Wu, Donghuo Chen, 2006, Electron. Notes Theor. Comput. Sci..

A New Approach to Nonlinear Invariants for Hybrid Systems Based on the Citing Instances Method

Jinzhao Wu, Honghui He, Honghui He, 2020, Inf..

Automatically Transforming Legacy XML Documents Into OWL Ontology

Jinzhao Wu, Shihan Yang, An Ping He, 2012 .

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

Jinzhao Wu, Guang Zheng, Lian Li, 2007, FAW.

Automata-Based Analysis of Stage Suspended Boom Systems

Jinzhao Wu, Yongquan Zhou, Juan Wang, 2013, J. Appl. Math..

A Logic for Flow Event Structures

Jinzhao Wu, Wei Yan, 2007, Computers and Their Applications.

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

Jinzhao Wu, Qing Yang, Jing Cheng, 2012, BMC Medical Informatics and Decision Making.

Error Analysis of Approximate Ripple Borrow Subtractors

Jinzhao Wu, An Ping He, Wei Jun Yuan, 2013 .

A Novel Double Glowworm Swarm Co-Evolution Optimization Algorithm based Lvy Flights

Jinzhao Wu, Yongquan Zhou, Sucai He, 2014 .

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

Jinzhao Wu, Harald Fecher, Mila E. Majster-Cederbaum, 2002, Electron. Notes Theor. Comput. Sci..

Automatic Generation of Mathematical Expressions of Printed Chinese Characters

Jinzhao Wu, Zhenbing Zeng, Wenyin Zhang, 2005, Computational Intelligence.

Formal verification and quantitative metrics of MPSoC data dynamics

Jinzhao Wu, Hui Zhang, Jinzhao Wu, 2018, Formal Aspects of Computing.

Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches

Jinzhao Wu, Ning Zhou, Xinyan Gao, 2013, J. Appl. Math..

Symmetries in logic programs

Jinzhao Wu, Jinzhao Wu, 1999 .

Model Checking of Computer-Based Systems

Jinzhao Wu, Wei Yan, Wei Yan, 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

Symmetric structure in logic programming

Jinzhao Wu, Harald Fecher, Jinzhao Wu, 2004, Journal of Computer Science and Technology.

Preservation of Dynamic Behaviours in a Hierarchical Event Structure

Jinzhao Wu, Meiling Liu, Weidong Tang, 2016, J. Softw..

Open Logic Based on Partial-Ordered Partition Model

Jinzhao Wu, Xiang Xu, Liannan Lin, 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.

Process Algebra with Chaos Executing Policy for Unhealthy Systems

Jinzhao Wu, Guang Zheng, Lian Li, 2009, J. Comput..

Timed CSP for Safety Specification of Hybrid System

Jinzhao Wu, Shihan Yang, Jinzhao Wu, 2008, 2008 The 9th International Conference for Young Computer Scientists.

Weaker bisimulation: How to make a.0+b.0 and τ.a.0+b.0 equivalent?

Jinzhao Wu, Guang Zheng, Xiaojuan He, 2011 .

Action refinement for true concurrent real time

Jinzhao Wu, Mila E. Majster-Cederbaum, 2001, Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems.

ACTION REFINEMENT FOR TIMED LOTOS

Jinzhao Wu, 2001 .

Formal Verification of Process Layer with Petri nets and Z

Jinzhao Wu, Hao Yang, Rong Zhao, 2013 .

Stochastic Process Algebra with Value-Passing and Weak Time Restrictions

Jinzhao Wu, Guang Zheng, Aiping Lu, 2011, J. Softw..

Compositionality of Fixpoint Logic with Chop

Jinzhao Wu, Naijun Zhan, N. Zhan, 2005, ICTAC.

CWA formalizations in multi-valued logics

Jinzhao Wu, 2001, Journal of Computer Science and Technology.

Approximate Completed Trace Equivalence of Homogeneous Linear Algebraic Hybrid Systems

Jinzhao Wu, Hao Yang, Yang Liu, 2013 .

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

Jinzhao Wu, Shihan Yang, 2010, 2010 Sixth International Conference on Semantics, Knowledge and Grids.

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

Jinzhao Wu, Mila E. Majster-Cederbaum, Houguang Yue, 2006, Acta Informatica.

Rough data-deduction based on the upper approximation

Lin Yan, Jinzhao Wu, Shuo Yan, 2016, Inf. Sci..

A Latent Implementation Error Detection Method for Software Validation

Jinzhao Wu, Jiantao Zhou, Guodong Zhong, 2013, J. Appl. Math..

A Novel Approach on Vessel Trajectory Prediction Based on Variational LSTM

Jinzhao Wu, Wei Su, Yingjie Liu, 2020, 2020 IEEE International Conference on Artificial Intelligence and Computer Applications (ICAICA).

An innovative Booth algorithm

Jinzhao Wu, Lijuan Su, Juxia Xiong, 2016, 2016 IEEE Advanced Information Management, Communicates, Electronic and Automation Control Conference (IMCEC).

An Asynchronous Pipeline based Implementation of Membrane Potential of IF model

Jinzhao Wu, Anping He, Juxia Xiong, 2018, 2018 IEEE International Conference on Electron Devices and Solid State Circuits (EDSSC).

Stochastic Process Algebra with Value-Passing

Jinzhao Wu, Guang Zheng, Lian Li, 2008, 2008 International Conference on Computer Science and Software Engineering.

Research on an Adaptive Variational Mode Decomposition with Double Thresholds for Feature Extraction

Jinzhao Wu, Hailong Liu, Wu Deng, 2018, Symmetry.

Consistency Verification Between Goal Model and Process Model in Requirements Analysis of Networked Software

Yang Liu, Jinzhao Wu, Rui Qiao, 2014 .

Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling

Jinzhao Wu, Yunbo Rao, Shihan Yang, 2013, J. Comput..

A Descent Conjugate Gradient Algorithm for Optimization Problems and Its Applications in Image Restoration and Compression Sensing

Jinzhao Wu, Wenjie Liu, Junyue Cao, 2020 .

A FPGA Based SAT Solver with High Random and Concurrent Strategies

Jinzhao Wu, Haitao Zhang, Lian Li, 2018, 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).

Multi-objective constraint task scheduling algorithm for multi-core processors

Jinzhao Wu, Ying Xie, 2018, Cluster Computing.

Wu's Characteristic Set Method for SystemVerilog Assertions Verification

Jinzhao Wu, Ning Zhou, Xinyan Gao, 2013, J. Appl. Math..

Bundle event structures: A revised cpo approach

Jinzhao Wu, Harald Fecher, Mila E. Majster-Cederbaum, 2002, Inf. Process. Lett..

Symmetry in event structures

Jinzhao Wu, Jianmin Jiang, Donghuo Chen, 2006, SAC '06.

Linear strategy for boolean ring based theorem proving

Jinzhao Wu, Zhuojun Liu, 2000, Journal of Computer Science and Technology.

A formal method for finite relation model based on symbolic logic

Jinzhao Wu, Yang Liu, Jinzhao Wu, 2011, 2011 International Conference on Computer Science and Service System (CSSS).

Formal specification of an asynchronous processor via action refinement

Jinzhao Wu, Xiuli Sun, Xiaoyu Song, 2004, Fifth International Workshop on Microprocessor Test and Verification (MTV'04).

Runtime Verification with Multi-valued Formula Rewriting

Tao Tang, Jinzhao Wu, Lin Zhao, 2010, 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.

Mathematical analysis of stage-based programmable logic controller

Guowu Yang, Jinzhao Wu, Lian Li, 2011, Comput. Math. Appl..

Variables Refinement on Polynomial Flow Event Structure

Jinzhao Wu, Bai Liu, 2013 .

The preservation of interleaving equivalences

Jinzhao Wu, Jianmin Jiang, Jinzhao Wu, 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

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

Jinzhao Wu, Naijun Zhan, Mila E. Majster-Cederbaum, 2004, ICFEM.

Well-Behaved Inference Rules for First-Order Theorem Proving

Jinzhao Wu, Zhuojun Liu, 2004, Journal of Automated Reasoning.

Simulation for Interactive Markov Chains

Jinzhao Wu, Lian Li, Xiying Zhao, 2006, ICNC.

Approximate Completed Trace Equivalence of Inhomogeneous Linear Transition Systems

Jinzhao Wu, Hao Yang, Zhiwei Zhang, 2012 .

QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems

Jinzhao Wu, Guangquan Zhang, Donghuo Chen, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

Theory framework for event structure slicing

Jinzhao Wu, Rui Qiao, Xinyan Gao, 2008, 2008 IEEE Symposium on Computers and Communications.

Symmetry in Process Algebra

Jinzhao Wu, Hongping Shu, Jianmin Jiang, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions

Jinzhao Wu, Ning Zhou, Xinyan Gao, 2014, J. Appl. Math..

Approximate Equivalence of the Hybrid Automata with Taylor Theory

Jinzhao Wu, Hongyan Tan, Shihan Yang, 2014, J. Appl. Math..

An asynchronous mesh NoC based booth multiplication

Jinzhao Wu, Jilin Zhang, Anping He, 2019, IET Circuits Devices Syst..

Inductive Method for Evaluating RFID Security Protocols

Yong Huang, Guowu Yang, Jinzhao Wu, 2019, Wirel. Commun. Mob. Comput..

Analysis & Tools: Stochastic Analysis

Jinzhao Wu, Guangping Qin, Ametist Deliverable 2.4.b, 2005 .

The Status and Challenges of Multi-Processor System-on-Chip’s Formal Verification

Jinzhao Wu, Lin Tang, 2014 .

Semantic Consistency Checking in Building Ontology from Heterogeneous Sources

Jinzhao Wu, Hongyan Tan, Shihan Yang, 2014, J. Appl. Math..

Mechanical geometry theorem proving based on groebner bases

Jinzhao Wu, 2008, Journal of Computer Science and Technology.

A Study of Mobile Node Localization Algorithm Based on Ranging MCL for WSN

Jinzhao Wu, Bai Liu, Wei Dong Tang, 2012 .

Towards action refinement for true concurrent real time

Jinzhao Wu, Mila E. Majster-Cederbaum, M. Majster-Cederbaum, 2003, Acta Informatica.

Adding Action Refinement to Stochastic True Concurrency Models

Jinzhao Wu, Mila E. Majster-Cederbaum, M. Majster-Cederbaum, 2003, ICFEM.

Requirement Verification of Networked Software Goals with Multi-Valued Logic

Jinzhao Wu, Hao Yang, Yang Liu, 2012 .

Low-overhead pieceable fault-tolerant construction of logical controlled-phase circuit for degenerate quantum code*

Guowu Yang, Jinzhao Wu, Chen Lin, 2020, 2020 IEEE International Conference on Artificial Intelligence and Computer Applications (ICAICA).