Zhaohui Zhu

According to our database, Zhaohui Zhu authored at least 37 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Analytical modeling and calculation of mechanical characteristics for few-piece main-auxiliary parabolic leaf spring with root diagonal segment.

Yuewei Yu, Leilei Zhao, Lin Yang, Changcheng Zhou, Zhaohui Zhu, Lianshun Tian

Int. J. Model. Simul. Sci. Comput., April, 2023

Graded labellings for abstract argumentation.

Lixing Tan, Zhaohui Zhu, Fujun Wang, Jinjin Zhang

Int. J. Approx. Reason., 2023

A general approach to extension-based semantics in abstract argumentation.

Lixing Tan, Zhaohui Zhu, Jinjin Zhang

Artif. Intell., 2023

How Can BOLE Identify, Cultivate, and Judge User Experience (UX) Talents? Inspiring and Designing the Playful Experience of Tomorrow.

Mei Ai, Qiwen Cai, Yun Fan, Bowen Li, Ruonan Huang, Shuya Liu, Yuxin Ran, Ruikang Wang, Yanna Wang, Kaihe Zhang, Amanda Liu, Zheng Zou, Larry Leifer, Taiyu Huang, Mengzhen Xiao, Zhaohui Zhu, Wei Liu

Proceedings of the Design, User Experience, and Usability, 2023

2022

Encoding safety in CLL_<i>R</i>.

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

Theor. Comput. Sci., 2022

A calculus for epistemic interactions.

Huili Xing, Zhaohui Zhu, Jinjin Zhang

CoRR, 2022

On Assisting Diagnoses of Pareidolia by Emulating Patient Behavior.

Zhaohui Zhu, Marc A. Kastner, Shin'ichi Satoh

Proceedings of the MultiMedia Modeling - 28th International Conference, 2022

2020

A3ID: An Automatic and Interpretable Implicit Interference Detection Method for Smart Home via Knowledge Graph.

Ding Xiao, Qianyu Wang, Ming Cai, Zhaohui Zhu, Weiming Zhao

IEEE Internet Things J., 2020

On graded semantics of abstract argumentation: Extension-based case.

Lixing Tan, Zhaohui Zhu, Jinjin Zhang

CoRR, 2020

2019

Covariant-Contravariant Refinement Modal Logic.

Huili Xing, Zhaohui Zhu, Jinjin Zhang

FLAP, 2019

Sedimentary Facies and Paleoenvironment Significance of Hole BZK01 in the Yangtze River Delta Plain Since Pliocene Based on Big Data Analytics.

Zhongyang Lin, Xianglong Jin, Zhaohui Zhu, Shaojun Pan, Xudong Zhao

Proceedings of the Cyber Security Intelligence and Analytics, 2019

2017

Bounded Rationality, Stock Mispricing, and Corporate Investment.

Zhaohui Zhu, Wensheng Huang

J. Adv. Comput. Intell. Intell. Informatics, 2017

2015

On recursive operations over logic LTS.

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

Math. Struct. Comput. Sci., 2015

Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL_R.

Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou

J. Appl. Log., 2015

On the greatest solution of equations in CLL_R.

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

Inf. Process. Lett., 2015

Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in CLL_R.

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

CoRR, 2015

2014

A modal characterization of alternating approximate bisimilarity.

Jinjin Zhang, Zhaohui Zhu

Formal Methods Syst. Des., 2014

Greatest solutions of equations in $\text{CLL}_R$ and its application.

Yan Zhang, Zhaohui Zhu, Jinjin Zhang

CoRR, 2014

A new Pansharp based method for PET/CT image fusion.

Wei Mu, Zhe Chen, Jie Tian, Zhaohui Zhu, Di Dong

Proceedings of the IEEE 11th International Symposium on Biomedical Imaging, 2014

2012

Merging Process Algebra and Action-based Computation Tree Logic

Zhaohui Zhu, Yan Zhang, Jinjin Zhang

CoRR, 2012

A control strategy algorithm for finite alternating transition systems

Jinjin Zhang, Zhaohui Zhu, Jianfei Yang

CoRR, 2012

A Process Calculus with Logical Operators

Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou

CoRR, 2012

Satisfaction of Temporal Logic by Control Systems and Finite Abstractions.

Jinjin Zhang, Zhaohui Zhu, Lisong Wang

Proceedings of the 7th IFAC Symposium on Robust Control Design, 2012

2008

Characterize branching distance in terms of (eta, alpha)-bisimilarity.

Jinjin Zhang, Zhaohui Zhu

Inf. Comput., 2008

A Behavioural Pseudometric based on lambda-Bisimilarity.

Jinjin Zhang, Zhaohui Zhu

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

2007

Two Representation Theorems for Non-monotonic Inference Relations.

Zhaohui Zhu, Wenjie Xiao

J. Log. Comput., 2007

An algebraic characterization of equivalent preferential models.

Rong Zhang, Zhaohui Zhu

J. Symb. Log., 2007

A Modal Characterization of λ-Bisimilarity.

Jinjin Zhang, Zhaohui Zhu

Int. J. Softw. Informatics, 2007

An Improved Least-Laxity-First Scheduling Algorithm of Variable Time Slice for Periodic Tasks.

Wei Zhang, Shaohua Teng, Zhaohui Zhu, Xiufen Fu, Haibin Zhu

Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007

2006

A characterization theorem for injective model classes axiomatized by general rules.

Zhaohui Zhu, Rong Zhang, Shan Lu

Theor. Comput. Sci., 2006

Similarity between preferential models.

Zhaohui Zhu

Theor. Comput. Sci., 2006

2003

Normal conditions for inference relations and injective models.

Zhaohui Zhu, Xian Xiao, Yong Zhou, Wujia Zhu

Theor. Comput. Sci., 2003

A representation theorem for recovering contraction relations satisfying wci.

Zhaohui Zhu, Bin Li, Xian Xiao, Shifu Chen, Wujia Zhu

Theor. Comput. Sci., 2003

2002

Valuation Structure.

Zhaohui Zhu, Zhenghua Pan, Shifu Chen, Wujia Zhu

J. Symb. Log., 2002

2001

Some Contributions to Nonmonotonic Consequence.

Zhaohui Zhu, Dongmo Zhang, Shifu Chen, Wujia Zhu

J. Comput. Sci. Technol., 2001

2000

Default Reasoning and Belief Revision: A Syntax-Independent Approach.

Dongmo Zhang, Zhaohui Zhu, Shifu Chen

J. Comput. Sci. Technol., 2000

Valuation-ranked preferential model.

Zhaohui Zhu, Ben Li, Shifu Chen, Wujia Zhu

Proceedings of the KR 2000, 2000