Jinzhao Wu

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 62

Top Venues

Publications

Yang Cai, Yingkai Li, Jinzhao Wu
Algorithmic Information Disclosure in Optimal Auctions. CoRR (2024)
Hao Wen, Jinzhao Wu, Jianmin Jiang, Jianqing Li, Zhong Hong
Managing Traceability for Software Life Cycle Processes. TASE (2024)
Hu Fu, Pinyan Lu, Zhihao Gavin Tang, Hongxun Wu, Jinzhao Wu, Qianfan Zhang
Sample-Based Matroid Prophet Inequalities. CoRR (2024)
Jinzhao Wu, Hongjie Jiang, Mengyu He, Xiaoji Liu
General strong fuzzy solutions of complex fuzzy matrix equations involving the Moore-Penrose weak group inverse. Inf. Sci. 654 (2024)
Yang Cai, Ziyun Chen, Jinzhao Wu
Simultaneous Auctions are Approximately Revenue-Optimal for Subadditive Bidders. CoRR (2023)
Hao Wen, Jinzhao Wu, Jianmin Jiang, Jianqing Li, Zhong Hong
A Formal Approach for Traceability Preservation in Software Development Process. NCTCS (2023)
Yang Cai, Jinzhao Wu
On the Optimal Fixed-Price Mechanism in Bilateral Trade. CoRR (2023)
Hao Wen, Jinzhao Wu, Jianmin Jiang, Guofu Tang, Zhong Hong
A Formal Approach for Consistency Management in UML Models. Int. J. Softw. Eng. Knowl. Eng. 33 (5) (2023)
Yang Cai, Jinzhao Wu
On the Optimal Fixed-Price Mechanism in Bilateral Trade. STOC (2023)
Yang Cai, Ziyun Chen, Jinzhao Wu
Simultaneous Auctions are Approximately Revenue-Optimal for Subadditive Bidders. FOCS (2023)
Zhihao Gavin Tang, Jinzhao Wu, Hongxun Wu
(Fractional) online stochastic matching via fine-grained offline statistics. STOC (2022)
Defu Liu, Jiayi Zhao, Jinzhao Wu, Guowu Yang, Fengmao Lv
Multi-category classification with label noise by robust binary loss. Neurocomputing 482 (2022)
Zhenxing Xu, Jinzhao Wu
MGPS: Midpoint-Series Group Preserving Scheme for Discretizing Nonlinear Dynamics. Symmetry 14 (2) (2022)
Yuqing Kong, Yunqi Li, Yubo Zhang, Zhihuan Huang, Jinzhao Wu
Eliciting Thinking Hierarchy without a Prior. NeurIPS (2022)
Peng Wu, Zhenjie Hou, Jiqiang Liu, Jinzhao Wu
Reasoning Method Based on Intervals with Symmetric Truncated Normal Density. Symmetry 14 (1) (2022)
Zhihao Gavin Tang, Hongxun Wu, Jinzhao Wu
(Fractional) Online Stochastic Matching via Fine-Grained Offline Statistics. CoRR (2022)
Xiaoyang Xiao, Wenqi Diao, Anping He, Jinzhao Wu
An FPGA based Method of Polynomial Multiplication. CACML (2022)
Zhenxing Xu, Jinzhao Wu
Computing flow pipe of embedded hybrid systems using deep group preserving scheme. Clust. Comput. 25 (2) (2022)
Jingjing Yang, Jiaxing Liu, Runkai Han, Jinzhao Wu
Generating and Restoring Private Face Images for Internet of Vehicles Based on Semantic Features and Adversarial Examples. IEEE Trans. Intell. Transp. Syst. 23 (9) (2022)
Hu Fu, Pinyan Lu, Zhihao Gavin Tang, Abner Turkieltaub, Hongxun Wu, Jinzhao Wu, Qianfan Zhang
Oblivious Online Contention Resolution Schemes. SOSA (2022)
Fengmao Lv, Tao Liang, Jiayi Zhao, Zhongliu Zhuo, Jinzhao Wu, Guowu Yang
Latent Gaussian process for anomaly detection in categorical data. Knowl. Based Syst. 220 (2021)
Guiqing Liu, Jinzhao Wu
Video-based person re-identification by intra-frame and inter-frame graph neural network. Image Vis. Comput. 106 (2021)
Hu Fu, Zhihao Gavin Tang, Hongxun Wu, Jinzhao Wu, Qianfan Zhang
Random Order Vertex Arrival Contention Resolution Schemes for Matching, with Applications. ICALP (2021)
Yuqing Kong, Yunqi Li, Yubo Zhang, Zhihuan Huang, Jinzhao Wu
Identifying Fast/Slow Thinking without Prior. CoRR (2021)
Guiqing Liu, Jinzhao Wu
Unsupervised person re-identification by Intra-Inter Camera Affinity Domain Adaptation. J. Vis. Commun. Image Represent. 80 (2021)
Obed Tettey Nartey, Guowu Yang, Dorothy Araba Yakoba Agyapong, Jinzhao Wu, Asare K. Sarpong, Lady Nadia Frempong
Adaptive Curriculum Learning for Semi-supervised Segmentation of 3D CT-Scans. ICONIP (1) (2021)
Jingjing Yang, Zexi Li, Jinzhao Wu, Hongfeng Zhu
One-round semi-quantum-honest key agreement scheme in MSTSA structure without entanglement. Quantum Inf. Process. 20 (5) (2021)
Defu Liu, Jin Ning, Jinzhao Wu, Guowu Yang
Extending Ordinary-Label Learning Losses to Complementary-Label Learning. IEEE Signal Process. Lett. 28 (2021)
Zhantao Cao, Guowu Yang, Xiaoyu Li, Qin Chen, Jinzhao Wu
Multitask Classification Method Based on Label Correction for Breast Tumor Ultrasound Images. Neural Process. Lett. 53 (2) (2021)
Hu Fu, Pinyan Lu, Zhihao Gavin Tang, Abner Turkieltaub, Hongxun Wu, Jinzhao Wu, Qianfan Zhang
Oblivious Online Contention Resolution Schemes. CoRR (2021)
Peng Wu, Ning Xiong, Juxia Xiong, Jinzhao Wu
Reasoning Method between Polynomial Error Assertions. Inf. 12 (8) (2021)
Defu Liu, Guowu Yang, Jinzhao Wu, Jiayi Zhao, Fengmao Lv
Robust Binary Loss for Multi-Category Classification with Label Noise. ICASSP (2021)
Juxia Xiong, Jinzhao Wu
Construction of approximate reasoning model for dynamic CPS network and system parameter identification. Comput. Commun. 154 (2020)
Honghui He, Jinzhao Wu
A New Approach to Nonlinear Invariants for Hybrid Systems Based on the Citing Instances Method. Inf. 11 (5) (2020)
Juxia Xiong, Jinzhao Wu
Construction of information network vulnerability threat assessment model for CPS risk assessment. Comput. Commun. 155 (2020)
Obed Tettey Nartey, Guowu Yang, Sarpong Kwadwo Asare, Jinzhao Wu, Lady Nadia Frempong
Robust Semi-Supervised Traffic Sign Recognition via Self-Training and Weakly-Supervised Learning. Sensors 20 (9) (2020)
Peng Wu, Ning Xiong, Jiqiang Liu, Jie Meng, Jinzhao Wu
Quadratic Difference Set-Based Quorum Generation Algorithm in Distributed System. WSSE (2020)
Jingjing Yang, Jiaxing Liu, Jinzhao Wu
Facial Image Privacy Protection Based on Principal Components of Adversarial Segmented Image Blocks. IEEE Access 8 (2020)
Defu Liu, Guowu Yang, Yuchen Li, Jinzhao Wu, Fengmao Lv
H-MRS Alzheimer diagnosis. Int. J. Data Min. Bioinform. 23 (1) (2020)
Jingjing Yang, Jinzhao Wu, Xiaojing Wang
Convolutional neural network based on differential privacy in exponential attenuation mode for image classification. IET Image Process. 14 (15) (2020)
Obed Tettey Nartey, Guowu Yang, Jinzhao Wu, Sarpong Kwadwo Asare
Semi-Supervised Learning for Fine-Grained Classification With Self-Training. IEEE Access 8 (2020)
Defu Liu, Guowu Yang, Yong Huang, Jinzhao Wu
Inductive Method for Evaluating RFID Security Protocols. Wirel. Commun. Mob. Comput. 2019 (2019)
Ziyu Wang, Xiao Zeng, Jinzhao Wu, Guowu Yang
A Method for Determining the Affine Equivalence of Boolean Functions. IEEE Access 7 (2019)
Honghui He, Jinzhao Wu, Juxia Xiong
Approximate Completed Trace Equivalence of ILAHSs Based on SAS Solving. Inf. 10 (11) (2019)
Juling Zhang, Guowu Yang, William N. N. Hung, Yan Zhang, Jinzhao Wu
An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion. Clust. Comput. 22 (Supplement) (2019)
Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu, Yixin Zhu
A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature. Symmetry 11 (1) (2019)
Anping He, Guangbo Feng, Jilin Zhang, Jinzhao Wu
An asynchronous mesh NoC based booth multiplication. IET Circuits Devices Syst. 13 (1) (2019)
Yongzhao Yu, Li Liu, Wei Su, Jiuwen Zhang, Jinzhao Wu
Predicting Fishing Activities Based on DeepFM. CSAI (2019)
Xianzhang Pan, Wenping Guo, Xiaoying Guo, Wenshu Li, Junjie Xu, Jinzhao Wu
Deep Temporal-Spatial Aggregation for Video-Based Facial Expression Recognition. Symmetry 11 (1) (2019)
Ying Xie, Jinzhao Wu
Multi-objective constraint task scheduling algorithm for multi-core processors. Clust. Comput. 22 (3) (2019)
Anping He, Lvying Yu, Haitao Zhang, Lian Li, Jinzhao Wu
A FPGA Based SAT Solver with High Random and Concurrent Strategies. QRS Companion (2018)
Fengmao Lv, Hao Chen, Jinzhao Wu, Linfeng Zhong, Xiaoyu Li, Guowu Yang
Improving Target Discriminability for Unsupervised Domain Adaptation. ICONIP (5) (2018)
Wu Deng, Hailong Liu, Shengjie Zhang, Haodong Liu, Huimin Zhao, Jinzhao Wu
Research on an Adaptive Variational Mode Decomposition with Double Thresholds for Feature Extraction. Symmetry 10 (12) (2018)
Jiuwen Zhang, Haobo Wu, Wei Su, Xin Wang, Meng Yang, Jinzhao Wu
A New Approach for Classification of Epilepsy EEG Signals Based on Temporal Convolutional Neural Networks. ISCID (2) (2018)
Wei Su, Chuan Cai, Jinzhao Wu
The Accessibility of Mathematical Formulas for the Visually Impaired in China. AISC (2018)
Hui Zhang, Jinzhao Wu
Formal verification and quantitative metrics of MPSoC data dynamics. Formal Aspects Comput. 30 (2) (2018)
Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu
A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature. IEEE Access 5 (2017)
Fengmao Lv, Guowu Yang, Jinzhao Wu, Chuan Liu, Yuhong Yang
Anomaly Detection for Categorical Observations Using Latent Gaussian Process. ICONIP (5) (2017)
Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu
A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature. CoRR (2017)
Weidong Tang, Jinzhao Wu, Meiling Liu
Preservation of Dynamic Behaviours in a Hierarchical Event Structure. J. Softw. 11 (8) (2016)
Shuo Yan, Lin Yan, Jinzhao Wu
Rough data-deduction based on the upper approximation. Inf. Sci. 373 (2016)
Hui Zhang, Jinzhao Wu, Jianguang Lu, Juan Tang
Safety verification of finite real-time nonlinear hybrid systems using enhanced group preserving scheme. Clust. Comput. 19 (4) (2016)
Yong Huang, Jinzhao Wu
基于Seal演算的分布式系统安全模型 (Security Model for Distributed System Based on Seal Calculus). 计算机科学 42 (7) (2015)
Yongquan Zhou, Qifang Luo, Huan Chen, Anping He, Jinzhao Wu
A discrete invasive weed optimization algorithm for solving traveling salesman problem. Neurocomputing 151 (2015)
Anping He, Jinzhao Wu, Shihan Yang, Hongyan Tan
Approximate Equivalence of the Hybrid Automata with Taylor Theory. J. Appl. Math. 2014 (2014)
Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. J. Appl. Math. 2014 (2014)
Shihan Yang, Hongyan Tan, Jinzhao Wu
Semantic Consistency Checking in Building Ontology from Heterogeneous Sources. J. Appl. Math. 2014 (2014)
Shihan Yang, Jinzhao Wu, Anping He, Yunbo Rao
Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling. J. Comput. 8 (2) (2013)
Jiantao Zhou, Jing Liu, Jinzhao Wu, Guodong Zhong
A Latent Implementation Error Detection Method for Software Validation. J. Appl. Math. 2013 (2013)
Yong Huang, Jinzhao Wu
Research on Virtual Network Mapping Algorithm with Path Splitting Based on Sort Preprocessing. J. Comput. 8 (9) (2013)
Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li
Wu's Characteristic Set Method for SystemVerilog Assertions Verification. J. Appl. Math. 2013 (2013)
Ning Zhou, Jinzhao Wu, Xinyan Gao
Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches. J. Appl. Math. 2013 (2013)
Anping He, Jinzhao Wu, Shihan Yang, Yongquan Zhou, Juan Wang
Automata-Based Analysis of Stage Suspended Boom Systems. J. Appl. Math. 2013 (2013)
Fengbo Xie, Dong Zhang, Jinzhao Wu, Yunfeng Zhang, Qing Yang, Xuefeng Sun, Jing Cheng, Xiangmei Chen
Design and implementation of the first nationwide, web-based Chinese Renal Data System (CNRDS). BMC Medical Informatics Decis. Mak. 12 (2012)
Guang Zheng, Jinzhao Wu, Aiping Lu
Stochastic Process Algebra with Value-Passing and Weak Time Restrictions. J. Softw. 6 (5) (2011)
Anping He, William N. N. Hung, Guowu Yang, Jinzhao Wu, Lian Li
Mathematical analysis of stage-based programmable logic controller. Comput. Math. Appl. 61 (7) (2011)
Lin Zhao, Tao Tang, Jinzhao Wu, Tianhua Xu
Runtime Verification with Multi-valued Formula Rewriting. TASE (2010)
Shihan Yang, Jinzhao Wu
Mapping Relational Databases into Ontologies through a Graph-based Formal Model. SKG (2010)
Wenbo Chen, Guang Zheng, Lian Li, Jinzhao Wu
Real Time Process Algebra with Urgency Executing Policy. J. Softw. 4 (1) (2009)
Hui Hou, Jinzhao Wu
Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web. CSE (2) (2009)
Guang Zheng, Lian Li, Wenbo Chen, Anping He, Jinzhao Wu
Process Algebra with Chaos Executing Policy for Unhealthy Systems. J. Comput. 4 (1) (2009)
Liannan Lin, Jinzhao Wu, Xiang Xu
Open Logic Based on Partial-Ordered Partition Model. TASE (2008)
Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu
Operational semantics of probabilistic Kleene algebra with tests. ISCC (2008)
Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen
Theory framework for event structure slicing. ISCC (2008)
Rui Qiao, Jinzhao Wu, Xinyan Gao
Probabilistic Modal Kleene Algebra and Hoare-Style Logic. ICNC (3) (2008)
Guang Zheng, Jinzhao Wu, Lian Li
Stochastic Process Algebra with Value-Passing. CSSE (3) (2008)
Jinzhao Wu, Shihan Yang
Timed CSP for Safety Specification of Hybrid System. ICYCS (2008)
Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li
A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. FAW (2007)
Donghuo Chen, Guangquan Zhang, Jinzhao Wu
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. TASE (2007)
Jianmin Jiang, Jinzhao Wu, Hongping Shu
Symmetry in Process Algebra. TASE (2007)
Jinzhao Wu, Lin Zhao
Multi-Valued Model Checking via Groebner Basis Approach. TASE (2007)
Jinzhao Wu, Wei Yan
Model Checking of Computer-Based Systems. ECBS (2007)
Jinzhao Wu, Wei Yan
A Logic for Flow Event Structures. CATA (2007)
Jinzhao Wu, Lin Zhao
An Algebraic Approach to Multi-Valued Model Checking. ACSD (2007)
Xiying Zhao, Lian Li, Jinzhao Wu
Simulation for Interactive Markov Chains. ICNC (1) (2006)
Donghuo Chen, Jinzhao Wu
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic. Electron. Notes Theor. Comput. Sci. 157 (1) (2006)
Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue
Refinement of actions for real-time concurrent systems with causal ambiguity. Acta Informatica 42 (6-7) (2006)
Donghuo Chen, Jinzhao Wu
Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. SOFSEM (2006)
Jianmin Jiang, Jinzhao Wu, Donghuo Chen
Symmetry in event structures. SAC (2006)
Jinzhao Wu, Wenyin Zhang, Zhenbing Zeng
Automatic Generation of Mathematical Expressions of Printed Chinese Characters. Computational Intelligence (2005)

Jinzhao Wu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jinzhao Wu