Jinzhao Wu

CoRR, 2024

2023

A Formal Approach for Consistency Management in UML Models.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2023

On the Optimal Fixed-Price Mechanism in Bilateral Trade.

[BibT_eX]

[DOI]

Yang Cai

Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023

A Formal Approach for Traceability Preservation in Software Development Process.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science - 41st National Conference, 2023

Simultaneous Auctions are Approximately Revenue-Optimal for Subadditive Bidders.

[BibT_eX]

[DOI]

Yang Cai

Ziyun Chen

Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science, 2023

2022

Generating and Restoring Private Face Images for Internet of Vehicles Based on Semantic Features and Adversarial Examples.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2022

MGPS: Midpoint-Series Group Preserving Scheme for Discretizing Nonlinear Dynamics.

[BibT_eX]

[DOI]

Zhenxing Xu

Symmetry, 2022

Reasoning Method Based on Intervals with Symmetric Truncated Normal Density.

[BibT_eX]

[DOI]

Symmetry, 2022

Multi-category classification with label noise by robust binary loss.

[BibT_eX]

[DOI]

Neurocomputing, 2022

Computing flow pipe of embedded hybrid systems using deep group preserving scheme.

[BibT_eX]

[DOI]

Zhenxing Xu

Clust. Comput., 2022

(Fractional) online stochastic matching via fine-grained offline statistics.

[BibT_eX]

[DOI]

Zhihao Gavin Tang

Hongxun Wu

Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

Oblivious Online Contention Resolution Schemes.

[BibT_eX]

[DOI]

Proceedings of the 5th Symposium on Simplicity in Algorithms, 2022

Eliciting Thinking Hierarchy without a Prior.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

An FPGA based Method of Polynomial Multiplication.

[BibT_eX]

[DOI]

Proceedings of the Asia Conference on Algorithms, Computing and Machine Learning, 2022

2021

Extending Ordinary-Label Learning Losses to Complementary-Label Learning.

[BibT_eX]

[DOI]

IEEE Signal Process. Lett., 2021

One-round semi-quantum-honest key agreement scheme in MSTSA structure without entanglement.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2021

Multitask Classification Method Based on Label Correction for Breast Tumor Ultrasound Images.

[BibT_eX]

[DOI]

Neural Process. Lett., 2021

Latent Gaussian process for anomaly detection in categorical data.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2021

Unsupervised person re-identification by Intra-Inter Camera Affinity Domain Adaptation.

[BibT_eX]

[DOI]

Guiqing Liu

J. Vis. Commun. Image Represent., 2021

Video-based person re-identification by intra-frame and inter-frame graph neural network.

[BibT_eX]

[DOI]

Guiqing Liu

Dorothy Araba Yakoba Agyapong

Image Vis. Comput., 2021

Reasoning Method between Polynomial Error Assertions.

[BibT_eX]

[DOI]

Inf., 2021

Identifying Fast/Slow Thinking without Prior.

[BibT_eX]

[DOI]

CoRR, 2021

Adaptive Curriculum Learning for Semi-supervised Segmentation of 3D CT-Scans.

[BibT_eX]

[DOI]

Obed Tettey Nartey

Guowu Yang

Asare K. Sarpong

Lady Nadia Frempong

Proceedings of the Neural Information Processing - 28th International Conference, 2021

Robust Binary Loss for Multi-Category Classification with Label Noise.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2021

Random Order Vertex Arrival Contention Resolution Schemes for Matching, with Applications.

[BibT_eX]

[DOI]

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Robust Semi-Supervised Traffic Sign Recognition via Self-Training and Weakly-Supervised Learning.

[BibT_eX]

[DOI]

Sensors, 2020

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

[BibT_eX]

[DOI]

Honghui He

Inf., 2020

Gradient boosting tree for <sup>1</sup>H-MRS Alzheimer diagnosis.

[BibT_eX]

[DOI]

Int. J. Data Min. Bioinform., 2020

Construction of information network vulnerability threat assessment model for CPS risk assessment.

[BibT_eX]

[DOI]

Juxia Xiong

Comput. Commun., 2020

Construction of approximate reasoning model for dynamic CPS network and system parameter identification.

[BibT_eX]

[DOI]

Juxia Xiong

Comput. Commun., 2020

Facial Image Privacy Protection Based on Principal Components of Adversarial Segmented Image Blocks.

[BibT_eX]

[DOI]

Jingjing Yang

Jiaxing Liu

IEEE Access, 2020

Semi-Supervised Learning for Fine-Grained Classification With Self-Training.

[BibT_eX]

[DOI]

IEEE Access, 2020

Quadratic Difference Set-Based Quorum Generation Algorithm in Distributed System.

[BibT_eX]

[DOI]

Proceedings of the WSSE 2020: The 2nd World Symposium on Software Engineering, 2020

2019

Inductive Method for Evaluating RFID Security Protocols.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2019

A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature.

[BibT_eX]

[DOI]

Symmetry, 2019

Deep Temporal-Spatial Aggregation for Video-Based Facial Expression Recognition.

[BibT_eX]

[DOI]

Symmetry, 2019

Approximate Completed Trace Equivalence of ILAHSs Based on SAS Solving.

[BibT_eX]

[DOI]

Honghui He

Juxia Xiong

Inf., 2019

An asynchronous mesh NoC based booth multiplication.

[BibT_eX]

[DOI]

IET Circuits Devices Syst., 2019

An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion.

[BibT_eX]

[DOI]

Clust. Comput., 2019

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

[BibT_eX]

[DOI]

Ying Xie

Clust. Comput., 2019

A Method for Determining the Affine Equivalence of Boolean Functions.

[BibT_eX]

[DOI]

IEEE Access, 2019

Predicting Fishing Activities Based on DeepFM.

[BibT_eX]

[DOI]

Proceedings of the CSAI 2019: 2019 3rd International Conference on Computer Science and Artificial Intelligence, 2019

2018

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

[BibT_eX]

[DOI]

Symmetry, 2018

Formal verification and quantitative metrics of MPSoC data dynamics.

[BibT_eX]

[DOI]

Hui Zhang

Formal Aspects Comput., 2018

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Computational Intelligence and Design, 2018

Improving Target Discriminability for Unsupervised Domain Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing - 25th International Conference, 2018

The Accessibility of Mathematical Formulas for the Visually Impaired in China.

[BibT_eX]

[DOI]

Wei Su

Chuan Cai

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

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

[BibT_eX]

[DOI]

IEEE Access, 2017

Anomaly Detection for Categorical Observations Using Latent Gaussian Process.

[BibT_eX]

[DOI]

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

2016

Preservation of Dynamic Behaviours in a Hierarchical Event Structure.

[BibT_eX]

[DOI]

Weidong Tang

Meiling Liu

J. Softw., 2016

Rough data-deduction based on the upper approximation.

[BibT_eX]

[DOI]

Shuo Yan

Lin Yan

Inf. Sci., 2016

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

[BibT_eX]

[DOI]

Clust. Comput., 2016

2015

基于Seal演算的分布式系统安全模型 (Security Model for Distributed System Based on Seal Calculus).

[BibT_eX]

[DOI]

Yong Huang

计算机科学, 2015

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

[BibT_eX]

[DOI]

Neurocomputing, 2015

2014

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

Semantic Consistency Checking in Building Ontology from Heterogeneous Sources.

[BibT_eX]

[DOI]

Shihan Yang

Hongyan Tan

J. Appl. Math., 2014

Approximate Equivalence of the Hybrid Automata with Taylor Theory.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

2013

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

[BibT_eX]

[DOI]

J. Comput., 2013

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

[BibT_eX]

[DOI]

Yong Huang

J. Comput., 2013

Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches.

[BibT_eX]

[DOI]

Ning Zhou

Xinyan Gao

J. Appl. Math., 2013

A Latent Implementation Error Detection Method for Software Validation.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Automata-Based Analysis of Stage Suspended Boom Systems.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Wu's Characteristic Set Method for SystemVerilog Assertions Verification.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

2012

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

[BibT_eX]

[DOI]

BMC Medical Informatics Decis. Mak., 2012

2011

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

[BibT_eX]

[DOI]

Guang Zheng

Aiping Lu

J. Softw., 2011

Mathematical analysis of stage-based programmable logic controller.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2011

2010

Runtime Verification with Multi-valued Formula Rewriting.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Shihan Yang

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

2009

Real Time Process Algebra with Urgency Executing Policy.

[BibT_eX]

[DOI]

J. Softw., 2009

Process Algebra with Chaos Executing Policy for Unhealthy Systems.

[BibT_eX]

[DOI]

J. Comput., 2009

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

[BibT_eX]

[DOI]

Hui Hou

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

2008

Open Logic Based on Partial-Ordered Partition Model.

[BibT_eX]

[DOI]

Liannan Lin

Xiang Xu

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

Operational semantics of probabilistic Kleene algebra with tests.

[BibT_eX]

[DOI]

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

Theory framework for event structure slicing.

[BibT_eX]

[DOI]

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

Timed CSP for Safety Specification of Hybrid System.

[BibT_eX]

[DOI]

Shihan Yang

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

Probabilistic Modal Kleene Algebra and Hoare-Style Logic.

[BibT_eX]

[DOI]

Rui Qiao

Xinyan Gao

Proceedings of the Fourth International Conference on Natural Computation, 2008

Stochastic Process Algebra with Value-Passing.

[BibT_eX]

[DOI]

Guang Zheng

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

2007

Multi-Valued Model Checking via Groebner Basis Approach.

[BibT_eX]

[DOI]

Lin Zhao

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

Symmetry in Process Algebra.

[BibT_eX]

[DOI]

Hongping Shu

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

QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems.

[BibT_eX]

[DOI]

Guangquan Zhang

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.

[BibT_eX]

[DOI]

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

Model Checking of Computer-Based Systems.

[BibT_eX]

[DOI]

Wei Yan

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.

[BibT_eX]

Wei Yan

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

An Algebraic Approach to Multi-Valued Model Checking.

[BibT_eX]

[DOI]

Lin Zhao

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

2006

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

[BibT_eX]

[DOI]

Houguang Yue

Acta Informatica, 2006

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

[BibT_eX]

[DOI]

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

Symmetry in event structures.

[BibT_eX]

[DOI]

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

Simulation for Interactive Markov Chains.

[BibT_eX]

[DOI]

Xiying Zhao

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

2005

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

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software Verification and Validation, 2005

Operational Semantics for Real-Time Processes with Action Refinement.

[BibT_eX]

[DOI]

Xiuli Sun

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

Symmetry and Autobisimulation.

[BibT_eX]

[DOI]

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

Application of Wu's method to symbolic model checking.

[BibT_eX]

[DOI]

Weibo Mao

Proceedings of the Symbolic and Algebraic Computation, 2005

Compositionality of Fixpoint Logic with Chop.

[BibT_eX]

[DOI]

Naijun Zhan

Proceedings of the Theoretical Aspects of Computing, 2005

The Preservation of Interleaving Equivalences.

[BibT_eX]

[DOI]

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

Automatic Generation of Mathematical Expressions of Printed Chinese Characters.

[BibT_eX]

Wenyin Zhang

Zhenbing Zeng

Proceedings of the IASTED International Conference on Computational Intelligence, 2005

2004

Symmetric Structure in Logic Programming.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2004

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

[BibT_eX]

[DOI]

Xiuli Sun

Wenyin Zhang

J. Comput. Sci. Technol., 2004

Action Refinement for Real-Time Concurrent Processes with Urgency.

[BibT_eX]

[DOI]

Guangping Qin

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

Towards Action Refinement for Concurrent Systems with Causal Ambiguity.

[BibT_eX]

[DOI]

Houguang Yue

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

Formal Specification of an Asynchronous Processor via Action Refinement.

[BibT_eX]

[DOI]

Xiuli Sun

Xiaoyu Song

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.

[BibT_eX]

[DOI]

Houguang Yue

Naijun Zhan

Proceedings of the Formal Methods and Software Engineering, 2004

Branching Time Equivalences for Interactive Markov Chains.

[BibT_eX]

[DOI]

Guangping Qin

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

2003

CWA Extensions to Multi-Valued Logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2003

Towards action refinement for true concurrent real time.

[BibT_eX]

[DOI]

Acta Informatica, 2003

Adding Action Refinement to Stochastic True Concurrency Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2003

2002

Bundle event structures: A revised cpo approach.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2002

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

[BibT_eX]

[DOI]

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Action Refinement for Probabilistic Processes with True Concurrency Models.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2002

2001

CWA Formalizations in Multi-Valued Logics.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2001

Action Refinement for True Concurrent Real Time.

[BibT_eX]

[DOI]

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

2000

Linear Strategy for Boolean Ring Based Theorem Proving.

[BibT_eX]

[DOI]

Zhuojun Liu

J. Comput. Sci. Technol., 2000

1998

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

[BibT_eX]

[DOI]

Zhuojun Liu

J. Autom. Reason., 1998

1997

Mechanical geometry theorem proving based on groebner bases.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1997

1996

On the descriptive power of special Thue systems.

[BibT_eX]

[DOI]

Louxin Zhang

Discret. Math., 1996

1993

The Regular Problem and Green Equivalences for Special Monoids.

[BibT_eX]

[DOI]