![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Jinzhao Wu
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j62]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: 119832 (2024) - [c54]Hao Wen, Jinzhao Wu, Jianmin Jiang, Jianqing Li, Zhong Hong:
Managing Traceability for Software Life Cycle Processes. TASE 2024: 428-445 - [i8]Yang Cai, Yingkai Li, Jinzhao Wu:
Algorithmic Information Disclosure in Optimal Auctions. CoRR abs/2403.08145 (2024) - [i7]Hu Fu, Pinyan Lu, Zhihao Gavin Tang, Hongxun Wu, Jinzhao Wu, Qianfan Zhang:
Sample-Based Matroid Prophet Inequalities. CoRR abs/2406.12799 (2024) - 2023
- [j61]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): 733-763 (2023) - [c53]Yang Cai, Ziyun Chen, Jinzhao Wu:
Simultaneous Auctions are Approximately Revenue-Optimal for Subadditive Bidders. FOCS 2023: 134-147 - [c52]Hao Wen
, Jinzhao Wu, Jianmin Jiang, Jianqing Li, Zhong Hong:
A Formal Approach for Traceability Preservation in Software Development Process. NCTCS 2023: 18-35 - [c51]Yang Cai
, Jinzhao Wu:
On the Optimal Fixed-Price Mechanism in Bilateral Trade. STOC 2023: 737-750 - [i6]Yang Cai, Jinzhao Wu:
On the Optimal Fixed-Price Mechanism in Bilateral Trade. CoRR abs/2301.05167 (2023) - [i5]Yang Cai, Ziyun Chen, Jinzhao Wu:
Simultaneous Auctions are Approximately Revenue-Optimal for Subadditive Bidders. CoRR abs/2310.07977 (2023) - 2022
- [j60]Zhenxing Xu
, Jinzhao Wu:
Computing flow pipe of embedded hybrid systems using deep group preserving scheme. Clust. Comput. 25(2): 1207-1220 (2022) - [j59]Defu Liu, Jiayi Zhao, Jinzhao Wu, Guowu Yang, Fengmao Lv:
Multi-category classification with label noise by robust binary loss. Neurocomputing 482: 14-26 (2022) - [j58]Peng Wu
, Zhenjie Hou, Jiqiang Liu, Jinzhao Wu:
Reasoning Method Based on Intervals with Symmetric Truncated Normal Density. Symmetry 14(1): 25 (2022) - [j57]Zhenxing Xu
, Jinzhao Wu
:
MGPS: Midpoint-Series Group Preserving Scheme for Discretizing Nonlinear Dynamics. Symmetry 14(2): 365 (2022) - [j56]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): 16799-16809 (2022) - [c50]Xiaoyang Xiao, Wenqi Diao, Anping He, Jinzhao Wu:
An FPGA based Method of Polynomial Multiplication. CACML 2022: 121-129 - [c49]Yuqing Kong, Yunqi Li, Yubo Zhang, Zhihuan Huang, Jinzhao Wu:
Eliciting Thinking Hierarchy without a Prior. NeurIPS 2022 - [c48]Hu Fu, Pinyan Lu, Zhihao Gavin Tang, Abner Turkieltaub, Hongxun Wu, Jinzhao Wu, Qianfan Zhang:
Oblivious Online Contention Resolution Schemes. SOSA 2022: 268-278 - [c47]Zhihao Gavin Tang, Jinzhao Wu, Hongxun Wu:
(Fractional) online stochastic matching via fine-grained offline statistics. STOC 2022: 77-90 - [i4]Zhihao Gavin Tang, Hongxun Wu, Jinzhao Wu:
(Fractional) Online Stochastic Matching via Fine-Grained Offline Statistics. CoRR abs/2204.06851 (2022) - 2021
- [j55]Peng Wu
, Ning Xiong, Juxia Xiong, Jinzhao Wu:
Reasoning Method between Polynomial Error Assertions. Inf. 12(8): 309 (2021) - [j54]Guiqing Liu, Jinzhao Wu:
Video-based person re-identification by intra-frame and inter-frame graph neural network. Image Vis. Comput. 106: 104068 (2021) - [j53]Guiqing Liu, Jinzhao Wu
:
Unsupervised person re-identification by Intra-Inter Camera Affinity Domain Adaptation. J. Vis. Commun. Image Represent. 80: 103310 (2021) - [j52]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: 106896 (2021) - [j51]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): 1453-1468 (2021) - [j50]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): 188 (2021) - [j49]Defu Liu
, Jin Ning, Jinzhao Wu
, Guowu Yang
:
Extending Ordinary-Label Learning Losses to Complementary-Label Learning. IEEE Signal Process. Lett. 28: 852-856 (2021) - [c46]Hu Fu, Zhihao Gavin Tang, Hongxun Wu, Jinzhao Wu, Qianfan Zhang:
Random Order Vertex Arrival Contention Resolution Schemes for Matching, with Applications. ICALP 2021: 68:1-68:20 - [c45]Defu Liu, Guowu Yang, Jinzhao Wu, Jiayi Zhao, Fengmao Lv:
Robust Binary Loss for Multi-Category Classification with Label Noise. ICASSP 2021: 1700-1704 - [c44]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: 77-90 - [i3]Yuqing Kong, Yunqi Li, Yubo Zhang, Zhihuan Huang, Jinzhao Wu:
Identifying Fast/Slow Thinking without Prior. CoRR abs/2109.10619 (2021) - [i2]Hu Fu, Pinyan Lu, Zhihao Gavin Tang, Abner Turkieltaub, Hongxun Wu, Jinzhao Wu, Qianfan Zhang:
Oblivious Online Contention Resolution Schemes. CoRR abs/2111.10607 (2021) - 2020
- [j48]Obed Tettey Nartey
, Guowu Yang
, Jinzhao Wu
, Sarpong Kwadwo Asare
:
Semi-Supervised Learning for Fine-Grained Classification With Self-Training. IEEE Access 8: 2109-2121 (2020) - [j47]Jingjing Yang
, Jiaxing Liu
, Jinzhao Wu
:
Facial Image Privacy Protection Based on Principal Components of Adversarial Segmented Image Blocks. IEEE Access 8: 103385-103394 (2020) - [j46]Juxia Xiong, Jinzhao Wu
:
Construction of approximate reasoning model for dynamic CPS network and system parameter identification. Comput. Commun. 154: 180-187 (2020) - [j45]Juxia Xiong, Jinzhao Wu
:
Construction of information network vulnerability threat assessment model for CPS risk assessment. Comput. Commun. 155: 197-204 (2020) - [j44]Defu Liu, Guowu Yang, Yuchen Li, Jinzhao Wu, Fengmao Lv:
Gradient boosting tree for 1H-MRS Alzheimer diagnosis. Int. J. Data Min. Bioinform. 23(1): 12-29 (2020) - [j43]Honghui He, Jinzhao Wu:
A New Approach to Nonlinear Invariants for Hybrid Systems Based on the Citing Instances Method. Inf. 11(5): 246 (2020) - [j42]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): 2684 (2020) - [c43]Peng Wu
, Ning Xiong, Jiqiang Liu, Jie Meng, Jinzhao Wu
:
Quadratic Difference Set-Based Quorum Generation Algorithm in Distributed System. WSSE 2020: 85-89
2010 – 2019
- 2019
- [j41]Ziyu Wang
, Xiao Zeng, Jinzhao Wu
, Guowu Yang:
A Method for Determining the Affine Equivalence of Boolean Functions. IEEE Access 7: 156326-156337 (2019) - [j40]Ying Xie, Jinzhao Wu:
Multi-objective constraint task scheduling algorithm for multi-core processors. Clust. Comput. 22(3): 953-964 (2019) - [j39]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): 7491-7506 (2019) - [j38]Anping He, Guangbo Feng, Jilin Zhang, Jinzhao Wu:
An asynchronous mesh NoC based booth multiplication. IET Circuits Devices Syst. 13(1): 73-78 (2019) - [j37]Honghui He
, Jinzhao Wu, Juxia Xiong:
Approximate Completed Trace Equivalence of ILAHSs Based on SAS Solving. Inf. 10(11): 340 (2019) - [j36]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): 27 (2019) - [j35]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): 52 (2019) - [j34]Defu Liu, Guowu Yang, Yong Huang
, Jinzhao Wu:
Inductive Method for Evaluating RFID Security Protocols. Wirel. Commun. Mob. Comput. 2019: 2138468:1-2138468:8 (2019) - [c42]Yongzhao Yu, Li Liu, Wei Su, Jiuwen Zhang, Jinzhao Wu:
Predicting Fishing Activities Based on DeepFM. CSAI 2019: 118-121 - 2018
- [j33]Hui Zhang, Jinzhao Wu:
Formal verification and quantitative metrics of MPSoC data dynamics. Formal Aspects Comput. 30(2): 219-237 (2018) - [j32]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): 684 (2018) - [c41]Wei Su
, Chuan Cai, Jinzhao Wu:
The Accessibility of Mathematical Formulas for the Visually Impaired in China. AISC 2018: 237-242 - [c40]Fengmao Lv
, Hao Chen, Jinzhao Wu, Linfeng Zhong, Xiaoyu Li, Guowu Yang:
Improving Target Discriminability for Unsupervised Domain Adaptation. ICONIP (5) 2018: 287-298 - [c39]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: 80-84 - [c38]Anping He, Lvying Yu, Haitao Zhang, Lian Li, Jinzhao Wu:
A FPGA Based SAT Solver with High Random and Concurrent Strategies. QRS Companion 2018: 221-228 - 2017
- [j31]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: 27777-27785 (2017) - [c37]Fengmao Lv
, Guowu Yang, Jinzhao Wu, Chuan Liu
, Yuhong Yang:
Anomaly Detection for Categorical Observations Using Latent Gaussian Process. ICONIP (5) 2017: 285-296 - [i1]Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu:
A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature. CoRR abs/1711.03269 (2017) - 2016
- [j30]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): 2189-2199 (2016) - [j29]Shuo Yan, Lin Yan, Jinzhao Wu:
Rough data-deduction based on the upper approximation. Inf. Sci. 373: 308-320 (2016) - [j28]Weidong Tang, Jinzhao Wu, Meiling Liu:
Preservation of Dynamic Behaviours in a Hierarchical Event Structure. J. Softw. 11(8): 712-732 (2016) - 2015
- [j27]Yongquan Zhou, Qifang Luo, Huan Chen, Anping He, Jinzhao Wu:
A discrete invasive weed optimization algorithm for solving traveling salesman problem. Neurocomputing 151: 1227-1236 (2015) - [j26]Yong Huang, Jinzhao Wu:
基于Seal演算的分布式系统安全模型 (Security Model for Distributed System Based on Seal Calculus). 计算机科学 42(7): 178-181 (2015) - 2014
- [j25]Shihan Yang
, Hongyan Tan, Jinzhao Wu:
Semantic Consistency Checking in Building Ontology from Heterogeneous Sources. J. Appl. Math. 2014: 181938:1-181938:11 (2014) - [j24]Ning Zhou
, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li:
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. J. Appl. Math. 2014: 194574:1-194574:15 (2014) - [j23]Anping He, Jinzhao Wu, Shihan Yang
, Hongyan Tan:
Approximate Equivalence of the Hybrid Automata with Taylor Theory. J. Appl. Math. 2014: 850789:1-850789:5 (2014) - 2013
- [j22]Jiantao Zhou
, Jing Liu, Jinzhao Wu, Guodong Zhong:
A Latent Implementation Error Detection Method for Software Validation. J. Appl. Math. 2013: 138287:1-138287:10 (2013) - [j21]Ning Zhou
, Jinzhao Wu, Xinyan Gao:
Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches. J. Appl. Math. 2013: 272781:1-272781:10 (2013) - [j20]Anping He, Jinzhao Wu, Shihan Yang
, Yongquan Zhou, Juan Wang:
Automata-Based Analysis of Stage Suspended Boom Systems. J. Appl. Math. 2013: 739253:1-739253:7 (2013) - [j19]Xinyan Gao, Ning Zhou
, Jinzhao Wu, Dakui Li:
Wu's Characteristic Set Method for SystemVerilog Assertions Verification. J. Appl. Math. 2013: 740194:1-740194:14 (2013) - [j18]Shihan Yang
, Jinzhao Wu, Anping He, Yunbo Rao:
Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling. J. Comput. 8(2): 372-379 (2013) - [j17]Yong Huang, Jinzhao Wu:
Research on Virtual Network Mapping Algorithm with Path Splitting Based on Sort Preprocessing. J. Comput. 8(9): 2413-2420 (2013) - 2012
- [j16]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: 11 (2012) - 2011
- [j15]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): 1769-1785 (2011) - [j14]Guang Zheng, Jinzhao Wu, Aiping Lu:
Stochastic Process Algebra with Value-Passing and Weak Time Restrictions. J. Softw. 6(5): 769-782 (2011) - 2010
- [c36]Shihan Yang
, Jinzhao Wu:
Mapping Relational Databases into Ontologies through a Graph-based Formal Model. SKG 2010: 219-226 - [c35]Lin Zhao, Tao Tang, Jinzhao Wu, Tianhua Xu
:
Runtime Verification with Multi-valued Formula Rewriting. TASE 2010: 77-86
2000 – 2009
- 2009
- [j13]Guang Zheng, Lian Li, Wenbo Chen, Anping He, Jinzhao Wu:
Process Algebra with Chaos Executing Policy for Unhealthy Systems. J. Comput. 4(1): 86-93 (2009) - [j12]Wenbo Chen, Guang Zheng, Lian Li, Jinzhao Wu:
Real Time Process Algebra with Urgency Executing Policy. J. Softw. 4(1): 34-41 (2009) - [c34]Hui Hou, Jinzhao Wu:
Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web. CSE (2) 2009: 703-708 - 2008
- [c33]Guang Zheng, Jinzhao Wu, Lian Li:
Stochastic Process Algebra with Value-Passing. CSSE (3) 2008: 374-377 - [c32]Rui Qiao, Jinzhao Wu, Xinyan Gao:
Probabilistic Modal Kleene Algebra and Hoare-Style Logic. ICNC (3) 2008: 652-661 - [c31]Jinzhao Wu, Shihan Yang
:
Timed CSP for Safety Specification of Hybrid System. ICYCS 2008: 1913-1918 - [c30]Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu:
Operational semantics of probabilistic Kleene algebra with tests. ISCC 2008: 706-713 - [c29]Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen:
Theory framework for event structure slicing. ISCC 2008: 714-721 - [c28]Liannan Lin, Jinzhao Wu, Xiang Xu:
Open Logic Based on Partial-Ordered Partition Model. TASE 2008: 247-254 - 2007
- [c27]Jinzhao Wu, Lin Zhao:
An Algebraic Approach to Multi-Valued Model Checking. ACSD 2007: 238-239 - [c26]Jinzhao Wu, Wei Yan:
A Logic for Flow Event Structures. CATA 2007: 373-379 - [c25]Jinzhao Wu, Wei Yan:
Model Checking of Computer-Based Systems. ECBS 2007: 557-568 - [c24]Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li:
A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. FAW 2007: 178-190 - [c23]Jinzhao Wu, Lin Zhao:
Multi-Valued Model Checking via Groebner Basis Approach. TASE 2007: 35-44 - [c22]Donghuo Chen, Guangquan Zhang, Jinzhao Wu:
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. TASE 2007: 241-250 - [c21]Jianmin Jiang, Jinzhao Wu, Hongping Shu:
Symmetry in Process Algebra. TASE 2007: 450-462 - 2006
- [j11]Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue:
Refinement of actions for real-time concurrent systems with causal ambiguity. Acta Informatica 42(6-7): 389-418 (2006) - [c20]Xiying Zhao, Lian Li, Jinzhao Wu:
Simulation for Interactive Markov Chains. ICNC (1) 2006: 893-902 - [c19]Jianmin Jiang, Jinzhao Wu, Donghuo Chen:
Symmetry in event structures. SAC 2006: 1850-1851 - [c18]Donghuo Chen, Jinzhao Wu:
Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. SOFSEM 2006: 207-217 - 2005
- [c17]Jinzhao Wu, Wenyin Zhang, Zhenbing Zeng:
Automatic Generation of Mathematical Expressions of Printed Chinese Characters. Computational Intelligence 2005: 404-408 - [c16]Jianmin Jiang, Jinzhao Wu:
The Preservation of Interleaving Equivalences. ICECCS 2005: 580-589 - [c15]Naijun Zhan, Jinzhao Wu:
Compositionality of Fixpoint Logic with Chop. ICTAC 2005: 136-150 - [c14]Weibo Mao, Jinzhao Wu:
Application of Wu's method to symbolic model checking. ISSAC 2005: 237-244 - [c13]Jianmin Jiang, Jinzhao Wu:
Symmetry and Autobisimulation. PDCAT 2005: 866-870 - [c12]Xiuli Sun, Jinzhao Wu:
Operational Semantics for Real-Time Processes with Action Refinement. SEFM 2005: 54-63 - [c11]Donghuo Chen, Jinzhao Wu:
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic. SVV@ICFEM 2005: 23-38 - 2004
- [j10]Jinzhao Wu, Harald Fecher:
Symmetric Structure in Logic Programming. J. Comput. Sci. Technol. 19(6): 803-811 (2004) - [j9]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) - [c10]Guangping Qin, Jinzhao Wu:
Branching Time Equivalences for Interactive Markov Chains. FORTE Workshops 2004: 156-169 - [c9]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 - [c8]Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum:
Formal Specification of an Asynchronous Processor via Action Refinement. MTV 2004: 36-41 - [c7]Jinzhao Wu, Houguang Yue:
Towards Action Refinement for Concurrent Systems with Causal Ambiguity. SEFM 2004: 300-309 - [c6]Guangping Qin, Jinzhao Wu:
Action Refinement for Real-Time Concurrent Processes with Urgency. ARTS 2004: 123-144 - 2003
- [j8]Mila E. Majster-Cederbaum, Jinzhao Wu:
Towards action refinement for true concurrent real time. Acta Informatica 39(8): 531-577 (2003) - [j7]Jinzhao Wu:
CWA Extensions to Multi-Valued Logics. J. Appl. Non Class. Logics 13(2): 133-164 (2003) - [c5]Mila E. Majster-Cederbaum, Jinzhao Wu:
Adding Action Refinement to Stochastic True Concurrency Models. ICFEM 2003: 226-245 - 2002
- [j6]Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu:
Bundle event structures: A revised cpo approach. Inf. Process. Lett. 83(1): 7-12 (2002) - [c4]Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu:
Action Refinement for Probabilistic Processes with True Concurrency Models. PAPM-PROBMIV 2002: 77-94 - [c3]Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu:
Refinement of actions in a real-time process algebra with a true concurrency model. Refine 2002: 260-280 - 2001
- [j5]Jinzhao Wu:
CWA Formalizations in Multi-Valued Logics. J. Comput. Sci. Technol. 16(3): 263-269 (2001) - [c2]Mila E. Majster-Cederbaum, Jinzhao Wu:
Action Refinement for True Concurrent Real Time. ICECCS 2001: 58-68 - 2000
- [j4]Jinzhao Wu, Zhuojun Liu:
Linear Strategy for Boolean Ring Based Theorem Proving. J. Comput. Sci. Technol. 15(3): 271-279 (2000)
1990 – 1999
- 1998
- [j3]Jinzhao Wu, Zhuojun Liu:
Well-Behaved Inference Rules for First-Order Theorem Proving. J. Autom. Reason. 21(3): 381-400 (1998) - 1997
- [j2]Jinzhao Wu:
Mechanical geometry theorem proving based on groebner bases. J. Comput. Sci. Technol. 12(1): 10-16 (1997) - 1996
- [j1]Louxin Zhang, Lian Li, Jinzhao Wu:
On the descriptive power of special Thue systems. Discret. Math. 160(1-3): 291-297 (1996) - 1993
- [c1]Jinzhao Wu, Lian Li:
The Regular Problem and Green Equivalences for Special Monoids. ISSAC 1993: 78-85
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-29 21:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint