Zhaohui Zhu - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2023

A general approach to extension-based semantics in abstract argumentationLixing Tan, Zhaohui Zhu, Jinjin Zhang. ai, 315:103836, 2023. [doi]

Graded labellings for abstract argumentationLixing Tan, Zhaohui Zhu, Fujun Wang, Jinjin Zhang. ijar, 152:59-93, 2023. [doi]

Analytical modeling and calculation of mechanical characteristics for few-piece main-auxiliary parabolic leaf spring with root diagonal segmentYuewei Yu, Leilei Zhao, Lin Yang, Changcheng Zhou, Zhaohui Zhu, Lianshun Tian. ijmssc, 14(2), April 2023. [doi]

2022

RYan Zhang 0012, Zhaohui Zhu, Jinjin Zhang. TCS, 897:64-82, 2022. [doi]

On Assisting Diagnoses of Pareidolia by Emulating Patient BehaviorZhaohui Zhu, Marc A. Kastner 0001, Shin'ichi Satoh 0001. mmm 2022: 299-310 [doi]

2020

A3ID: An Automatic and Interpretable Implicit Interference Detection Method for Smart Home via Knowledge GraphDing Xiao, Qianyu Wang, Ming Cai, Zhaohui Zhu, Weiming Zhao. iotj, 7(3):2197-2211, 2020. [doi]

2019

Sedimentary Facies and Paleoenvironment Significance of Hole BZK01 in the Yangtze River Delta Plain Since Pliocene Based on Big Data AnalyticsZhongyang Lin, Xianglong Jin, Zhaohui Zhu, Shaojun Pan, Xudong Zhao. csia 2020: 265-276 [doi]

Covariant-Contravariant Refinement Modal LogicHuili Xing, Zhaohui Zhu, Jinjin Zhang. flap, 6(1):1-30, 2019. [doi]

2017

Bounded Rationality, Stock Mispricing, and Corporate InvestmentZhaohui Zhu, Wensheng Huang. jaciii, 21(6):1056-1064, 2017. [doi]

2015

On recursive operations over logic LTSYan Zhang, Zhaohui Zhu, Jinjin Zhang. mscs, 25(6):1382-1431, 2015. [doi]

RYan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou. japll, 13(4):654-675, 2015. [doi]

RYan Zhang, Zhaohui Zhu, Jinjin Zhang. ipl, 115(11):903-907, 2015. [doi]

2014

A new Pansharp based method for PET/CT image fusionWei Mu, Zhe Chen, Jie Tian, Zhaohui Zhu, Di Dong. isbi 2014: 1140-1143 [doi]

A modal characterization of alternating approximate bisimilarityJinjin Zhang, Zhaohui Zhu. fmsd, 44(3):240-263, 2014. [doi]

2012

Satisfaction of Temporal Logic by Control Systems and Finite AbstractionsJinjin Zhang, Zhaohui Zhu, Lisong Wang. rocond 2012: 734-739 [doi]

2008

Characterize branching distance in terms of (eta, alpha)-bisimilarityJinjin Zhang, Zhaohui Zhu. iandc, 206(8):953-965, 2008. [doi]

A Behavioural Pseudometric based on lambda-BisimilarityJinjin Zhang, Zhaohui Zhu. ENTCS, 220(3):115-127, 2008. [doi]

2007

2006

Similarity between preferential modelsZhaohui Zhu. TCS, 353(1-3):26-52, 2006. [doi]

A characterization theorem for injective model classes axiomatized by general rulesZhaohui Zhu, Rong Zhang, Shan Lu. TCS, 360(1-3):147-171, 2006. [doi]

2003

Normal conditions for inference relations and injective modelsZhaohui Zhu, Xian Xiao, Yong Zhou, Wujia Zhu. TCS, 309(1-3):287-311, 2003. [doi]

A representation theorem for recovering contraction relations satisfying wciZhaohui Zhu, Bin Li, Xian Xiao, Shifu Chen, Wujia Zhu. TCS, 290(1):545-564, 2003.

2002

Valuation StructureZhaohui Zhu, Zhenghua Pan, Shifu Chen, Wujia Zhu. JSYML, 67(1):1-23, 2002.

2001

Some Contributions to Nonmonotonic ConsequenceZhaohui Zhu, Dongmo Zhang, Shifu Chen, Wujia Zhu. jcst, 16(4):297-314, 2001. [doi]

2000

Default Reasoning and Belief Revision: A Syntax-Independent ApproachDongmo Zhang, Zhaohui Zhu, Shifu Chen. jcst, 15(5):430-438, 2000. [doi]

Valuation-ranked preferential modelZhaohui Zhu, Ben Li, Shifu Chen, Wujia Zhu. kr 2000: 647-653

Sign in or sign up to see more results.

runs on WebDSL