Jinzhao Wu

133 papers A* 8B 7C 6Misc 11Journal 76Unranked 25
YearRankTypeTitle / Venue / Authors
2026 J jnl
Progressive multi-level learning for gloss-free sign language translation.
Displays
Yingchun Xie, Wei Su, Shukai Chen, Jinzhao Wu, Chuan Cai, Yongna Yuan
2025 A* conf
Approximately Efficient Bilateral Trade with Samples.
EC
Yuan Deng, Jieming Mao, Balasubramanian Sivan, Kangning Wang, Jinzhao Wu
2025 J jnl
Approximately Efficient Bilateral Trade with Samples.
CoRR
Yuan Deng, Jieming Mao, Balasubramanian Sivan, Kangning Wang, Jinzhao Wu
2025 J jnl
Automated Bisimulation-Based Similarity Measurement in Heterogeneous Information Networks.
Concurr. Comput. Pract. Exp.
Yongjie Liang, Wujie Hu, Junjie Wu, Jinzhao Wu
2025 J jnl
Information Disclosure Makes Simple Mechanisms Competitive.
CoRR
Yang Cai, Yingkai Li, Jinzhao Wu
2025 J jnl
K-bisimulation: A novel approach for simplifying heterogeneous information networks.
Future Gener. Comput. Syst.
Yongjie Liang, Wujie Hu, Jinzhao Wu
2024 A* conf
Algorithmic Information Disclosure in Optimal Auctions.
EC
Yang Cai, Yingkai Li, Jinzhao Wu
2024 J jnl
Algorithmic Information Disclosure in Optimal Auctions.
CoRR
Yang Cai, Yingkai Li, Jinzhao Wu
2024 J jnl
General strong fuzzy solutions of complex fuzzy matrix equations involving the Moore-Penrose weak group inverse.
Inf. Sci.
Jinzhao Wu, Hongjie Jiang, Mengyu He, Xiaoji Liu
2024 Misc conf
Managing Traceability for Software Life Cycle Processes.
TASE
Hao Wen, Jinzhao Wu, Jianmin Jiang, Jianqing Li, Zhong Hong
2024 A* conf
Sample-Based Matroid Prophet Inequalities.
EC
Hu Fu, Pinyan Lu, Zhihao Gavin Tang, Hongxun Wu, Jinzhao Wu, Qianfan Zhang
2024 J jnl
Sample-Based Matroid Prophet Inequalities.
CoRR
Hu Fu, Pinyan Lu, Zhihao Gavin Tang, Hongxun Wu, Jinzhao Wu, Qianfan Zhang
2023 J jnl
A Formal Approach for Consistency Management in UML Models.
Int. J. Softw. Eng. Knowl. Eng.
Hao Wen, Jinzhao Wu, Jianmin Jiang, Guofu Tang, Zhong Hong
2023 — conf
A Formal Approach for Traceability Preservation in Software Development Process.
NCTCS
Hao Wen, Jinzhao Wu, Jianmin Jiang, Jianqing Li, Zhong Hong
2023 A* conf
On the Optimal Fixed-Price Mechanism in Bilateral Trade.
STOC
Yang Cai, Jinzhao Wu
2023 J jnl
On the Optimal Fixed-Price Mechanism in Bilateral Trade.
CoRR
Yang Cai, Jinzhao Wu
2023 A* conf
Simultaneous Auctions are Approximately Revenue-Optimal for Subadditive Bidders.
FOCS
Yang Cai, Ziyun Chen, Jinzhao Wu
2023 J jnl
Simultaneous Auctions are Approximately Revenue-Optimal for Subadditive Bidders.
CoRR
Yang Cai, Ziyun Chen, Jinzhao Wu
2022 J jnl
(Fractional) Online Stochastic Matching via Fine-Grained Offline Statistics.
CoRR
Zhihao Gavin Tang, Hongxun Wu, Jinzhao Wu
2022 A* conf
(Fractional) online stochastic matching via fine-grained offline statistics.
STOC
Zhihao Gavin Tang, Jinzhao Wu, Hongxun Wu
2022 — conf
An FPGA based Method of Polynomial Multiplication.
CACML
Xiaoyang Xiao, Wenqi Diao, Anping He, Jinzhao Wu
2022 J jnl
Computing flow pipe of embedded hybrid systems using deep group preserving scheme.
Clust. Comput.
Zhenxing Xu, Jinzhao Wu
2022 A* conf
Eliciting Thinking Hierarchy without a Prior.
NeurIPS
Yuqing Kong, Yunqi Li, Yubo Zhang, Zhihuan Huang, Jinzhao Wu
2022 J jnl
Generating and Restoring Private Face Images for Internet of Vehicles Based on Semantic Features and Adversarial Examples.
IEEE Trans. Intell. Transp. Syst.
Jingjing Yang, Jiaxing Liu, Runkai Han, Jinzhao Wu
2022 J jnl
Joint generative and camera-aware clustering for unsupervised domain adaptation on person re-identification.
J. Electronic Imaging
Guiqing Liu, Jinzhao Wu
2022 J jnl
MGPS: Midpoint-Series Group Preserving Scheme for Discretizing Nonlinear Dynamics.
Symmetry
Zhenxing Xu, Jinzhao Wu
2022 J jnl
Multi-category classification with label noise by robust binary loss.
Neurocomputing
Defu Liu, Jiayi Zhao, Jinzhao Wu, Guowu Yang, Fengmao Lv
2022 — conf
Oblivious Online Contention Resolution Schemes.
SOSA
Hu Fu, Pinyan Lu, Zhihao Gavin Tang, Abner Turkieltaub, Hongxun Wu, Jinzhao Wu, Qianfan Zhang
2022 J jnl
Reasoning Method Based on Intervals with Symmetric Truncated Normal Density.
Symmetry
Peng Wu, Zhenjie Hou, Jiqiang Liu, Jinzhao Wu
2021 — conf
Adaptive Curriculum Learning for Semi-supervised Segmentation of 3D CT-Scans.
ICONIP (1)
Obed Tettey Nartey, Guowu Yang, Dorothy Araba Yakoba Agyapong, Jinzhao Wu, Asare K. Sarpong, Lady Nadia Frempong
2021 J jnl
Extending Ordinary-Label Learning Losses to Complementary-Label Learning.
IEEE Signal Process. Lett.
Defu Liu, Jin Ning, Jinzhao Wu, Guowu Yang
2021 J jnl
Identifying Fast/Slow Thinking without Prior.
CoRR
Yuqing Kong, Yunqi Li, Yubo Zhang, Zhihuan Huang, Jinzhao Wu
2021 J jnl
Latent Gaussian process for anomaly detection in categorical data.
Knowl. Based Syst.
Fengmao Lv, Tao Liang, Jiayi Zhao, Zhongliu Zhuo, Jinzhao Wu, Guowu Yang
2021 J jnl
Multitask Classification Method Based on Label Correction for Breast Tumor Ultrasound Images.
Neural Process. Lett.
Zhantao Cao, Guowu Yang, Xiaoyu Li, Qin Chen, Jinzhao Wu
2021 J jnl
Oblivious Online Contention Resolution Schemes.
CoRR
Hu Fu, Pinyan Lu, Zhihao Gavin Tang, Abner Turkieltaub, Hongxun Wu, Jinzhao Wu, Qianfan Zhang
2021 J jnl
One-round semi-quantum-honest key agreement scheme in MSTSA structure without entanglement.
Quantum Inf. Process.
Jingjing Yang, Zexi Li, Jinzhao Wu, Hongfeng Zhu
2021 A* conf
Random Order Vertex Arrival Contention Resolution Schemes for Matching, with Applications.
ICALP
Hu Fu, Zhihao Gavin Tang, Hongxun Wu, Jinzhao Wu, Qianfan Zhang
2021 J jnl
Reasoning Method between Polynomial Error Assertions.
Inf.
Peng Wu, Ning Xiong, Juxia Xiong, Jinzhao Wu
2021 Misc conf
Robust Binary Loss for Multi-Category Classification with Label Noise.
ICASSP
Defu Liu, Guowu Yang, Jinzhao Wu, Jiayi Zhao, Fengmao Lv
2021 J jnl
Unsupervised person re-identification by Intra-Inter Camera Affinity Domain Adaptation.
J. Vis. Commun. Image Represent.
Guiqing Liu, Jinzhao Wu
2021 J jnl
Video-based person re-identification by intra-frame and inter-frame graph neural network.
Image Vis. Comput.
Guiqing Liu, Jinzhao Wu
2020 J jnl
A New Approach to Nonlinear Invariants for Hybrid Systems Based on the Citing Instances Method.
Inf.
Honghui He, Jinzhao Wu
2020 J jnl
Construction of approximate reasoning model for dynamic CPS network and system parameter identification.
Comput. Commun.
Juxia Xiong, Jinzhao Wu
2020 J jnl
Construction of information network vulnerability threat assessment model for CPS risk assessment.
Comput. Commun.
Juxia Xiong, Jinzhao Wu
2020 J jnl
Facial Image Privacy Protection Based on Principal Components of Adversarial Segmented Image Blocks.
IEEE Access
Jingjing Yang, Jiaxing Liu, Jinzhao Wu
2020 J jnl
Gradient boosting tree for
Int. J. Data Min. Bioinform.
Defu Liu, Guowu Yang, Yuchen Li, Jinzhao Wu, Fengmao Lv
2020 — conf
Quadratic Difference Set-Based Quorum Generation Algorithm in Distributed System.
WSSE
Peng Wu, Ning Xiong, Jiqiang Liu, Jie Meng, Jinzhao Wu
2020 J jnl
Robust Semi-Supervised Traffic Sign Recognition via Self-Training and Weakly-Supervised Learning.
Sensors
Obed Tettey Nartey, Guowu Yang, Sarpong Kwadwo Asare, Jinzhao Wu, Lady Nadia Frempong
2020 J jnl
Semi-Supervised Learning for Fine-Grained Classification With Self-Training.
IEEE Access
Obed Tettey Nartey, Guowu Yang, Jinzhao Wu, Sarpong Kwadwo Asare
2019 J jnl
A Method for Determining the Affine Equivalence of Boolean Functions.
IEEE Access
Ziyu Wang, Xiao Zeng, Jinzhao Wu, Guowu Yang
2019 J jnl
A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature.
Symmetry
Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu, Yixin Zhu
2019 J jnl
An asynchronous mesh NoC based booth multiplication.
IET Circuits Devices Syst.
Anping He, Guangbo Feng, Jilin Zhang, Jinzhao Wu
2019 J jnl
An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion.
Clust. Comput.
Juling Zhang, Guowu Yang, William N. N. Hung, Yan Zhang, Jinzhao Wu
2019 J jnl
Approximate Completed Trace Equivalence of ILAHSs Based on SAS Solving.
Inf.
Honghui He, Jinzhao Wu, Juxia Xiong
2019 J jnl
Deep Temporal-Spatial Aggregation for Video-Based Facial Expression Recognition.
Symmetry
Xianzhang Pan, Wenping Guo, Xiaoying Guo, Wenshu Li, Junjie Xu, Jinzhao Wu
2019 J jnl
Inductive Method for Evaluating RFID Security Protocols.
Wirel. Commun. Mob. Comput.
Defu Liu, Guowu Yang, Yong Huang, Jinzhao Wu
2019 J jnl
Multi-objective constraint task scheduling algorithm for multi-core processors.
Clust. Comput.
Ying Xie, Jinzhao Wu
2019 — conf
Predicting Fishing Activities Based on DeepFM.
CSAI
Yongzhao Yu, Li Liu, Wei Su, Jiuwen Zhang, Jinzhao Wu
2018 — conf
A FPGA Based SAT Solver with High Random and Concurrent Strategies.
QRS Companion
Anping He, Lvying Yu, Haitao Zhang, Lian Li, Jinzhao Wu
2018 — conf
A New Approach for Classification of Epilepsy EEG Signals Based on Temporal Convolutional Neural Networks.
ISCID (2)
Jiuwen Zhang, Haobo Wu, Wei Su, Xin Wang, Meng Yang, Jinzhao Wu
2018 J jnl
Formal verification and quantitative metrics of MPSoC data dynamics.
Formal Aspects Comput.
Hui Zhang, Jinzhao Wu
2018 — conf
Improving Target Discriminability for Unsupervised Domain Adaptation.
ICONIP (5)
Fengmao Lv, Hao Chen, Jinzhao Wu, Linfeng Zhong, Xiaoyu Li, Guowu Yang
2018 J jnl
Research on an Adaptive Variational Mode Decomposition with Double Thresholds for Feature Extraction.
Symmetry
Wu Deng, Hailong Liu, Shengjie Zhang, Haodong Liu, Huimin Zhao, Jinzhao Wu
2018 Misc conf
The Accessibility of Mathematical Formulas for the Visually Impaired in China.
AISC
Wei Su, Chuan Cai, Jinzhao Wu
2017 J jnl
A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature.
IEEE Access
Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu
2017 J jnl
A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature.
CoRR
Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu
2017 — conf
Anomaly Detection for Categorical Observations Using Latent Gaussian Process.
ICONIP (5)
Fengmao Lv, Guowu Yang, Jinzhao Wu, Chuan Liu, Yuhong Yang
2016 J jnl
Preservation of Dynamic Behaviours in a Hierarchical Event Structure.
J. Softw.
Weidong Tang, Jinzhao Wu, Meiling Liu
2016 J jnl
Rough data-deduction based on the upper approximation.
Inf. Sci.
Shuo Yan, Lin Yan, Jinzhao Wu
2016 J jnl
Safety verification of finite real-time nonlinear hybrid systems using enhanced group preserving scheme.
Clust. Comput.
Hui Zhang, Jinzhao Wu, Jianguang Lu, Juan Tang
2015 J jnl
A discrete invasive weed optimization algorithm for solving traveling salesman problem.
Neurocomputing
Yongquan Zhou, Qifang Luo, Huan Chen, Anping He, Jinzhao Wu
2015 J jnl
基于Seal演算的分布式系统安全模型 (Security Model for Distributed System Based on Seal Calculus).
计算机科学
Yong Huang, Jinzhao Wu
2014 J jnl
Approximate Equivalence of the Hybrid Automata with Taylor Theory.
J. Appl. Math.
Anping He, Jinzhao Wu, Shihan Yang, Hongyan Tan
2014 J jnl
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions.
J. Appl. Math.
Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li
2014 J jnl
Semantic Consistency Checking in Building Ontology from Heterogeneous Sources.
J. Appl. Math.
Shihan Yang, Hongyan Tan, Jinzhao Wu
2013 J jnl
A Latent Implementation Error Detection Method for Software Validation.
J. Appl. Math.
Jiantao Zhou, Jing Liu, Jinzhao Wu, Guodong Zhong
2013 J jnl
Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches.
J. Appl. Math.
Ning Zhou, Jinzhao Wu, Xinyan Gao
2013 J jnl
Automata-Based Analysis of Stage Suspended Boom Systems.
J. Appl. Math.
Anping He, Jinzhao Wu, Shihan Yang, Yongquan Zhou, Juan Wang
2013 J jnl
Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling.
J. Comput.
Shihan Yang, Jinzhao Wu, Anping He, Yunbo Rao
2013 J jnl
Research on Virtual Network Mapping Algorithm with Path Splitting Based on Sort Preprocessing.
J. Comput.
Yong Huang, Jinzhao Wu
2013 J jnl
Wu's Characteristic Set Method for SystemVerilog Assertions Verification.
J. Appl. Math.
Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li
2012 J jnl
Design and implementation of the first nationwide, web-based Chinese Renal Data System (CNRDS).
BMC Medical Informatics Decis. Mak.
Fengbo Xie, Dong Zhang, Jinzhao Wu, Yunfeng Zhang, Qing Yang, Xuefeng Sun, Jing Cheng, Xiangmei Chen
2011 J jnl
Mathematical analysis of stage-based programmable logic controller.
Comput. Math. Appl.
Anping He, William N. N. Hung, Guowu Yang, Jinzhao Wu, Lian Li
2011 J jnl
Stochastic Process Algebra with Value-Passing and Weak Time Restrictions.
J. Softw.
Guang Zheng, Jinzhao Wu, Aiping Lu
2010 — conf
Mapping Relational Databases into Ontologies through a Graph-based Formal Model.
SKG
Shihan Yang, Jinzhao Wu
2010 Misc conf
Runtime Verification with Multi-valued Formula Rewriting.
TASE
Lin Zhao, Tao Tang, Jinzhao Wu, Tianhua Xu
2009 J jnl
Process Algebra with Chaos Executing Policy for Unhealthy Systems.
J. Comput.
Guang Zheng, Lian Li, Wenbo Chen, Anping He, Jinzhao Wu
2009 — conf
Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web.
CSE (2)
Hui Hou, Jinzhao Wu
2009 J jnl
Real Time Process Algebra with Urgency Executing Policy.
J. Softw.
Wenbo Chen, Guang Zheng, Lian Li, Jinzhao Wu
2008 Misc conf
Open Logic Based on Partial-Ordered Partition Model.
TASE
Liannan Lin, Jinzhao Wu, Xiang Xu
2008 C conf
Operational semantics of probabilistic Kleene algebra with tests.
ISCC
Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu
2008 — conf
Probabilistic Modal Kleene Algebra and Hoare-Style Logic.
ICNC (3)
Rui Qiao, Jinzhao Wu, Xinyan Gao
2008 — conf
Stochastic Process Algebra with Value-Passing.
CSSE (3)
Guang Zheng, Jinzhao Wu, Lian Li
2008 C conf
Theory framework for event structure slicing.
ISCC
Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen
2008 — conf
Timed CSP for Safety Specification of Hybrid System.
ICYCS
Jinzhao Wu, Shihan Yang
2007 Misc conf
A Logic for Flow Event Structures.
CATA
Jinzhao Wu, Wei Yan
2007 Misc conf
A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement.
FAW
Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li
2007 — conf
An Algebraic Approach to Multi-Valued Model Checking.
ACSD
Jinzhao Wu, Lin Zhao
2007 — conf
Model Checking of Computer-Based Systems.
ECBS
Jinzhao Wu, Wei Yan
2007 Misc conf
Multi-Valued Model Checking via Groebner Basis Approach.
TASE
Jinzhao Wu, Lin Zhao
2007 Misc conf
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems.
TASE
Donghuo Chen, Guangquan Zhang, Jinzhao Wu
2007 Misc conf
Symmetry in Process Algebra.
TASE
Jianmin Jiang, Jinzhao Wu, Hongping Shu
2006 B conf
Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic.
SOFSEM
Donghuo Chen, Jinzhao Wu
2006 J jnl
Refinement of actions for real-time concurrent systems with causal ambiguity.
Acta Informatica
Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue
2006 — conf
Simulation for Interactive Markov Chains.
ICNC (1)
Xiying Zhao, Lian Li, Jinzhao Wu
2006 Misc conf
Symmetry in event structures.
SAC
Jianmin Jiang, Jinzhao Wu, Donghuo Chen
2005 B conf
Application of Wu's method to symbolic model checking.
ISSAC
Weibo Mao, Jinzhao Wu
2005 — conf
Automatic Generation of Mathematical Expressions of Printed Chinese Characters.
Computational Intelligence
Jinzhao Wu, Wenyin Zhang, Zhenbing Zeng
2005 C conf
Compositionality of Fixpoint Logic with Chop.
ICTAC
Naijun Zhan, Jinzhao Wu
2005 — conf
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic.
SVV@ICFEM
Donghuo Chen, Jinzhao Wu
2005 B conf
Operational Semantics for Real-Time Processes with Action Refinement.
SEFM
Xiuli Sun, Jinzhao Wu
2005 C conf
Symmetry and Autobisimulation.
PDCAT
Jianmin Jiang, Jinzhao Wu
2005 B conf
The Preservation of Interleaving Equivalences.
ICECCS
Jianmin Jiang, Jinzhao Wu
2004 — conf
Action Refinement for Real-Time Concurrent Processes with Urgency.
ARTS
Guangping Qin, Jinzhao Wu
2004 — conf
Branching Time Equivalences for Interactive Markov Chains.
FORTE Workshops
Guangping Qin, Jinzhao Wu
2004 — conf
Formal Specification of an Asynchronous Processor via Action Refinement.
MTV
Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum
2004 J jnl
Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement.
J. Comput. Sci. Technol.
Xiuli Sun, Wenyin Zhang, Jinzhao Wu
2004 C conf
Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.
ICFEM
Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan
2004 J jnl
Symmetric Structure in Logic Programming.
J. Comput. Sci. Technol.
Jinzhao Wu, Harald Fecher
2004 B conf
Towards Action Refinement for Concurrent Systems with Causal Ambiguity.
SEFM
Jinzhao Wu, Houguang Yue
2003 C conf
Adding Action Refinement to Stochastic True Concurrency Models.
ICFEM
Mila E. Majster-Cederbaum, Jinzhao Wu
2003 J jnl
CWA Extensions to Multi-Valued Logics.
J. Appl. Non Class. Logics
Jinzhao Wu
2003 J jnl
Towards action refinement for true concurrent real time.
Acta Informatica
Mila E. Majster-Cederbaum, Jinzhao Wu
2002 — conf
Action Refinement for Probabilistic Processes with True Concurrency Models.
PAPM-PROBMIV
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
2002 J jnl
Bundle event structures: A revised cpo approach.
Inf. Process. Lett.
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
2002 — conf
Refinement of actions in a real-time process algebra with a true concurrency model.
Refine
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
2001 B conf
Action Refinement for True Concurrent Real Time.
ICECCS
Mila E. Majster-Cederbaum, Jinzhao Wu
2001 J jnl
CWA Formalizations in Multi-Valued Logics.
J. Comput. Sci. Technol.
Jinzhao Wu
2000 J jnl
Linear Strategy for Boolean Ring Based Theorem Proving.
J. Comput. Sci. Technol.
Jinzhao Wu, Zhuojun Liu
1998 J jnl
Well-Behaved Inference Rules for First-Order Theorem Proving.
J. Autom. Reason.
Jinzhao Wu, Zhuojun Liu
1997 J jnl
Mechanical geometry theorem proving based on groebner bases.
J. Comput. Sci. Technol.
Jinzhao Wu
1996 J jnl
On the descriptive power of special Thue systems.
Discret. Math.
Louxin Zhang, Lian Li, Jinzhao Wu
1993 B conf
The Regular Problem and Green Equivalences for Special Monoids.
ISSAC
Jinzhao Wu, Lian Li