Zhaohui Zhu - RankMe

48 papers A* 1Journal 40Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Multi-view and spatial-correlation interaction for multi-scale object detection. Multim. Syst. Yike Yang, Zhaohui Zhu, Zekun Li, Peidong He, Ziqi Zhang, Yaqi Wang, Yuan Ma, Bing Li, Yang Bai
2026	J	`jnl`	The Similarity Control Problem with Required Events. CoRR Yu Wang, Zhaohui Zhu, Rob J. van Glabbeek, Jinjin Zhang, Yixuan Li
2025	J	`jnl`	An extension of process calculus for asynchronous communications between agents with epistemic states. Frontiers Comput. Sci. Huili Xing, Zhaohui Zhu, Jinjin Zhang
2025	J	`jnl`	Computer-Assisted Noise Pareidolia Tests Through Patient Emulation. IEEE Access Zhaohui Zhu, Marc A. Kastner, Kazuki Nakajima, Shota Furukawa, Momoko Kitazawa, Taishiro Kishimoto, Shin'ichi Satoh
2025	J	`jnl`	Dynamic health prediction of plain reservoirs based on deep learning algorithms. Eng. Appl. Artif. Intell. Zhaohui Zhu, Hao Wu, Zhicheng Zhang, Rui Wang, Qiang Yue
2025	J	`jnl`	Fairness Auditing of Limited-Access Models Using Protected Datasets. IEEE Access Zhaohui Zhu, Marc A. Kastner, Shin'ichi Satoh
2025	J	`jnl`	Reduced meet over labelling-based semantics in abstract argumentation. Inf. Process. Lett. Lixing Tan, Zhaohui Zhu, Jinjin Zhang
2024	J	`jnl`	More on Maximally Permissive Similarity Control of Discrete Event Systems. CoRR Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan
2023	J	`jnl`	A general approach to extension-based semantics in abstract argumentation. Artif. Intell. Lixing Tan, Zhaohui Zhu, Jinjin Zhang
2023	J	`jnl`	Analytical modeling and calculation of mechanical characteristics for few-piece main-auxiliary parabolic leaf spring with root diagonal segment. Int. J. Model. Simul. Sci. Comput. Yuewei Yu, Leilei Zhao, Lin Yang, Changcheng Zhou, Zhaohui Zhu, Lianshun Tian
2023	J	`jnl`	Graded labellings for abstract argumentation. Int. J. Approx. Reason. Lixing Tan, Zhaohui Zhu, Fujun Wang, Jinjin Zhang
2023	—	`conf`	How Can BOLE Identify, Cultivate, and Judge User Experience (UX) Talents? Inspiring and Designing the Playful Experience of Tomorrow. HCI (20) 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
2022	J	`jnl`	A calculus for epistemic interactions. CoRR Huili Xing, Zhaohui Zhu, Jinjin Zhang
2022	J	`jnl`	Encoding safety in CLL Theor. Comput. Sci. Yan Zhang, Zhaohui Zhu, Jinjin Zhang
2022	—	`conf`	On Assisting Diagnoses of Pareidolia by Emulating Patient Behavior. MMM (1) Zhaohui Zhu, Marc A. Kastner, Shin'ichi Satoh
2020	J	`jnl`	A3ID: An Automatic and Interpretable Implicit Interference Detection Method for Smart Home via Knowledge Graph. IEEE Internet Things J. Ding Xiao, Qianyu Wang, Ming Cai, Zhaohui Zhu, Weiming Zhao
2020	J	`jnl`	On graded semantics of abstract argumentation: Extension-based case. CoRR Lixing Tan, Zhaohui Zhu, Jinjin Zhang
2019	J	`jnl`	Covariant-Contravariant Refinement Modal Logic. FLAP Huili Xing, Zhaohui Zhu, Jinjin Zhang
2019	—	`conf`	Sedimentary Facies and Paleoenvironment Significance of Hole BZK01 in the Yangtze River Delta Plain Since Pliocene Based on Big Data Analytics. CSIA Zhongyang Lin, Xianglong Jin, Zhaohui Zhu, Shaojun Pan, Xudong Zhao
2017	J	`jnl`	Bounded Rationality, Stock Mispricing, and Corporate Investment. J. Adv. Comput. Intell. Intell. Informatics Zhaohui Zhu, Wensheng Huang
2015	J	`jnl`	Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL J. Appl. Log. Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou
2015	J	`jnl`	Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in CLL CoRR Yan Zhang, Zhaohui Zhu, Jinjin Zhang
2015	J	`jnl`	On recursive operations over logic LTS. Math. Struct. Comput. Sci. Yan Zhang, Zhaohui Zhu, Jinjin Zhang
2015	J	`jnl`	On the greatest solution of equations in CLL CoRR Yan Zhang, Zhaohui Zhu, Jinjin Zhang
2015	J	`jnl`	On the greatest solution of equations in CLL Inf. Process. Lett. Yan Zhang, Zhaohui Zhu, Jinjin Zhang
2014	J	`jnl`	A modal characterization of alternating approximate bisimilarity. Formal Methods Syst. Des. Jinjin Zhang, Zhaohui Zhu
2014	—	`conf`	A new Pansharp based method for PET/CT image fusion. ISBI Wei Mu, Zhe Chen, Jie Tian, Zhaohui Zhu, Di Dong
2014	J	`jnl`	Greatest solutions of equations in $\text{CLL}_R$ and its application. CoRR Yan Zhang, Zhaohui Zhu, Jinjin Zhang
2013	J	`jnl`	On Recursive Operations Over Logic LTS CoRR Yan Zhang, Zhaohui Zhu, Jinjin Zhang
2012	J	`jnl`	A Modal Characterization of Alternating Approximate Bisimilarity CoRR Jinjin Zhang, Zhaohui Zhu
2012	J	`jnl`	A Process Calculus with Logical Operators CoRR Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou
2012	J	`jnl`	A control strategy algorithm for finite alternating transition systems CoRR Jinjin Zhang, Zhaohui Zhu, Jianfei Yang
2012	J	`jnl`	Merging Process Algebra and Action-based Computation Tree Logic CoRR Zhaohui Zhu, Yan Zhang, Jinjin Zhang
2012	—	`conf`	Satisfaction of Temporal Logic by Control Systems and Finite Abstractions. ROCOND Jinjin Zhang, Zhaohui Zhu, Lisong Wang
2008	—	`conf`	A Behavioural Pseudometric based on lambda-Bisimilarity. QAPL Jinjin Zhang, Zhaohui Zhu
2008	J	`jnl`	Characterize branching distance in terms of (eta, alpha)-bisimilarity. Inf. Comput. Jinjin Zhang, Zhaohui Zhu
2007	J	`jnl`	A Modal Characterization of λ-Bisimilarity. Int. J. Softw. Informatics Jinjin Zhang, Zhaohui Zhu
2007	—	`conf`	An Improved Least-Laxity-First Scheduling Algorithm of Variable Time Slice for Periodic Tasks. IEEE ICCI Wei Zhang, Shaohua Teng, Zhaohui Zhu, Xiufen Fu, Haibin Zhu
2007	J	`jnl`	An algebraic characterization of equivalent preferential models. J. Symb. Log. Rong Zhang, Zhaohui Zhu
2007	J	`jnl`	Two Representation Theorems for Non-monotonic Inference Relations. J. Log. Comput. Zhaohui Zhu, Wenjie Xiao
2006	J	`jnl`	A characterization theorem for injective model classes axiomatized by general rules. Theor. Comput. Sci. Zhaohui Zhu, Rong Zhang, Shan Lu
2006	J	`jnl`	Similarity between preferential models. Theor. Comput. Sci. Zhaohui Zhu
2003	J	`jnl`	A representation theorem for recovering contraction relations satisfying wci. Theor. Comput. Sci. Zhaohui Zhu, Bin Li, Xian Xiao, Shifu Chen, Wujia Zhu
2003	J	`jnl`	Normal conditions for inference relations and injective models. Theor. Comput. Sci. Zhaohui Zhu, Xian Xiao, Yong Zhou, Wujia Zhu
2002	J	`jnl`	Valuation Structure. J. Symb. Log. Zhaohui Zhu, Zhenghua Pan, Shifu Chen, Wujia Zhu
2001	J	`jnl`	Some Contributions to Nonmonotonic Consequence. J. Comput. Sci. Technol. Zhaohui Zhu, Dongmo Zhang, Shifu Chen, Wujia Zhu
2000	J	`jnl`	Default Reasoning and Belief Revision: A Syntax-Independent Approach. J. Comput. Sci. Technol. Dongmo Zhang, Zhaohui Zhu, Shifu Chen
2000	A*	`conf`	Valuation-ranked preferential model. KR Zhaohui Zhu, Ben Li, Shifu Chen, Wujia Zhu