default search action
Zhaohui Zhu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j24]Huili Xing, Zhaohui Zhu, Jinjin Zhang:
An extension of process calculus for asynchronous communications between agents with epistemic states. Frontiers Comput. Sci. 19(3): 193401 (2025) - [j23]Lixing Tan, Zhaohui Zhu, Jinjin Zhang:
Reduced meet over labelling-based semantics in abstract argumentation. Inf. Process. Lett. 187: 106514 (2025) - 2024
- [i11]Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan:
More on Maximally Permissive Similarity Control of Discrete Event Systems. CoRR abs/2407.08068 (2024) - 2023
- [j22]Lixing Tan
, Zhaohui Zhu
A general approach to extension-based semantics in abstract argumentation. Artif. Intell. 315: 103836 (2023) - [j21]Lixing Tan
Graded labellings for abstract argumentation. Int. J. Approx. Reason. 152: 59-93 (2023) - [j20]Yuewei Yu, Leilei Zhao
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. 14(2): 2350032:1-2350032:19 (2023) - [c8]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
How Can BOLE Identify, Cultivate, and Judge User Experience (UX) Talents? Inspiring and Designing the Playful Experience of Tomorrow. HCI (20) 2023: 16-26 - 2022
- [j19]Yan Zhang, Zhaohui Zhu, Jinjin Zhang:
Encoding safety in CLLR. Theor. Comput. Sci. 897: 64-82 (2022) - [c7]Zhaohui Zhu
On Assisting Diagnoses of Pareidolia by Emulating Patient Behavior. MMM (1) 2022: 299-310 - [i10]Huili Xing, Zhaohui Zhu, Jinjin Zhang:
A calculus for epistemic interactions. CoRR abs/2206.14506 (2022) - 2020
- [j18]Ding Xiao
A3ID: An Automatic and Interpretable Implicit Interference Detection Method for Smart Home via Knowledge Graph. IEEE Internet Things J. 7(3): 2197-2211 (2020) - [i9]Lixing Tan, Zhaohui Zhu, Jinjin Zhang:
On graded semantics of abstract argumentation: Extension-based case. CoRR abs/2012.10592 (2020)
2010 – 2019
- 2019
- [j17]Huili Xing, Zhaohui Zhu, Jinjin Zhang:
Covariant-Contravariant Refinement Modal Logic. FLAP 6(1): 1-30 (2019) - [c6]Zhongyang Lin, Xianglong Jin, Zhaohui Zhu, Shaojun Pan, Xudong Zhao:
Sedimentary Facies and Paleoenvironment Significance of Hole BZK01 in the Yangtze River Delta Plain Since Pliocene Based on Big Data Analytics. CSIA 2019: 265-276 - 2017
- [j16]Zhaohui Zhu, Wensheng Huang:
Bounded Rationality, Stock Mispricing, and Corporate Investment. J. Adv. Comput. Intell. Intell. Informatics 21(6): 1056-1064 (2017) - 2015
- [j15]Yan Zhang, Zhaohui Zhu, Jinjin Zhang:
On the greatest solution of equations in CLLR. Inf. Process. Lett. 115(11): 903-907 (2015) - [j14]Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou:
Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLLR. J. Appl. Log. 13(4): 654-675 (2015) - [j13]Yan Zhang, Zhaohui Zhu, Jinjin Zhang:
On recursive operations over logic LTS. Math. Struct. Comput. Sci. 25(6): 1382-1431 (2015) - [i8]Yan Zhang, Zhaohui Zhu, Jinjin Zhang:
On the greatest solution of equations in CLLR. CoRR abs/1502.03629 (2015) - [i7]Yan Zhang, Zhaohui Zhu, Jinjin Zhang:
Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in CLLR. CoRR abs/1502.03636 (2015) - 2014
- [j12]Jinjin Zhang, Zhaohui Zhu:
A modal characterization of alternating approximate bisimilarity. Formal Methods Syst. Des. 44(3): 240-263 (2014) - [c5]Wei Mu, Zhe Chen, Jie Tian, Zhaohui Zhu, Di Dong:
A new Pansharp based method for PET/CT image fusion. ISBI 2014: 1140-1143 - [i6]Yan Zhang, Zhaohui Zhu, Jinjin Zhang:
Greatest solutions of equations in $\text{CLL}_R$ and its application. CoRR abs/1411.0756 (2014) - 2013
- [i5]Yan Zhang, Zhaohui Zhu, Jinjin Zhang:
On Recursive Operations Over Logic LTS. CoRR abs/1301.3350 (2013) - 2012
- [c4]Jinjin Zhang, Zhaohui Zhu, Lisong Wang:
Satisfaction of Temporal Logic by Control Systems and Finite Abstractions. ROCOND 2012: 734-739 - [i4]Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou:
A Process Calculus with Logical Operators. CoRR abs/1212.2257 (2012) - [i3]Jinjin Zhang, Zhaohui Zhu:
A Modal Characterization of Alternating Approximate Bisimilarity. CoRR abs/1212.5139 (2012) - [i2]Jinjin Zhang, Zhaohui Zhu, Jianfei Yang:
A control strategy algorithm for finite alternating transition systems. CoRR abs/1212.6607 (2012) - [i1]Zhaohui Zhu, Yan Zhang, Jinjin Zhang:
Merging Process Algebra and Action-based Computation Tree Logic. CoRR abs/1212.6813 (2012)
2000 – 2009
- 2008
- [j11]Jinjin Zhang, Zhaohui Zhu:
Characterize branching distance in terms of (eta, alpha)-bisimilarity. Inf. Comput. 206(8): 953-965 (2008) - [c3]Jinjin Zhang, Zhaohui Zhu:
A Behavioural Pseudometric based on lambda-Bisimilarity. QAPL 2008: 115-127 - 2007
- [j10]Jinjin Zhang, Zhaohui Zhu:
A Modal Characterization of λ-Bisimilarity. Int. J. Softw. Informatics 1(1): 85-99 (2007) - [j9]Rong Zhang, Zhaohui Zhu:
An algebraic characterization of equivalent preferential models. J. Symb. Log. 72(3): 803-833 (2007) - [j8]Zhaohui Zhu, Wenjie Xiao:
Two Representation Theorems for Non-monotonic Inference Relations. J. Log. Comput. 17(4): 727-747 (2007) - [c2]Wei Zhang, Shaohua Teng, Zhaohui Zhu, Xiufen Fu, Haibin Zhu
An Improved Least-Laxity-First Scheduling Algorithm of Variable Time Slice for Periodic Tasks. IEEE ICCI 2007: 548-553 - 2006
- [j7]Zhaohui Zhu:
Similarity between preferential models. Theor. Comput. Sci. 353(1-3): 26-52 (2006) - [j6]Zhaohui Zhu, Rong Zhang, Shan Lu:
A characterization theorem for injective model classes axiomatized by general rules. Theor. Comput. Sci. 360(1-3): 147-171 (2006) - 2003
- [j5]Zhaohui Zhu, Bin Li, Xian Xiao, Shifu Chen, Wujia Zhu:
A representation theorem for recovering contraction relations satisfying wci. Theor. Comput. Sci. 290(1): 545-564 (2003) - [j4]Zhaohui Zhu, Xian Xiao, Yong Zhou, Wujia Zhu:
Normal conditions for inference relations and injective models. Theor. Comput. Sci. 309(1-3): 287-311 (2003) - 2002
- [j3]Zhaohui Zhu, Zhenghua Pan, Shifu Chen, Wujia Zhu:
Valuation Structure. J. Symb. Log. 67(1): 1-23 (2002) - 2001
- [j2]Zhaohui Zhu, Dongmo Zhang, Shifu Chen, Wujia Zhu:
Some Contributions to Nonmonotonic Consequence. J. Comput. Sci. Technol. 16(4): 297-314 (2001) - 2000
- [j1]Dongmo Zhang, Zhaohui Zhu, Shifu Chen:
Default Reasoning and Belief Revision: A Syntax-Independent Approach. J. Comput. Sci. Technol. 15(5): 430-438 (2000) - [c1]Zhaohui Zhu, Ben Li, Shifu Chen, Wujia Zhu:
Valuation-ranked preferential model. KR 2000: 647-653
Coauthor Index
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-12-11 21:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: