Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDXiangfu Zhao
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j11]Xiangfu Zhao
, Gianfranco Lamperti, Dantong Ouyang, Xiangrong Tong:
Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata. Complex. 2020: 4306261:1-4306261:17 (2020)- [j10]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Diagnosis of Deep Discrete-Event Systems. J. Artif. Intell. Res. 69: 1473-1532 (2020) - [c21]Sen Huang, Xiangfu Zhao, Xiangrong Tong:
An Incremental Boolean Algorithm for Computing Minimal Hitting Sets. CISP-BMEI 2020: 56-59 - [c20]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Diagnosis of Temporal Faults in Discrete-Event Systems. ECAI 2020: 632-639 - [c19]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems. KES 2020: 521-530 - [c18]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Explanatory Monitoring of Discrete-Event Systems. KES-IDT 2020: 63-77 - [c17]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. KR 2020: 130-140 - [e1]Qiang Zheng, Xiaopeng Zheng, Xiangfu Zhao, Weiqing Yan, Nan Zhang, Lipo Wang:
13th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics, CISP-BMEI 2020, Chengdu, China, October 17-19, 2020. IEEE 2020, ISBN 978-0-7381-0545-1 [contents]
2010 – 2019
- 2019
- [c16]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems. IntelliSys (2) 2019: 835-852 - 2018
- [b1]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Introduction to Diagnosis of Active Systems. Springer 2018, ISBN 978-3-319-92731-2, pp. 1-353 - [j9]Xiangfu Zhao, Dantong Ouyang, Liming Zhang:
Computing all minimal hitting sets by subset recombination. Appl. Intell. 48(2): 257-270 (2018) - [j8]Xiangfu Zhao:
LinearMerge: Efficient computation of minimal hitting sets for conflict sets in a linear structure. Eng. Appl. Artif. Intell. 72: 327-339 (2018) - [c15]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems. CD-MAKE 2018: 43-64 - [c14]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. KR 2018: 464-473 - 2017
- [j7]Xiangfu Zhao, Wei-Ting Kary Chien:
Exploration of baking temperature effects on 28 nm BEOL reliability. Microelectron. Reliab. 72: 1-4 (2017) - [c13]Xiangfu Zhao, Zhongyu Chen, Xin Chen, Yanxia Wang, Changbing Tang:
The DAO attack paradoxes in propositional logic. ICSAI 2017: 1743-1746 - [c12]Gianfranco Lamperti, Xiangfu Zhao:
Decremental Subset Construction. KES-IDT (1) 2017: 22-36 - 2016
- [j6]Xuena Geng, Dantong Ouyang, Xiangfu Zhao, Shuang Hao:
Probabilistic logical approach for testing diagnosability of stochastic discrete event systems. Eng. Appl. Artif. Intell. 53: 53-61 (2016) - [c11]Gianfranco Lamperti, Xiangfu Zhao:
Diagnosis of Complex Active Systems with Uncertain Temporal Observations. CD-ARES 2016: 45-62 - [c10]Xiangfu Zhao, Dantong Ouyang:
Deriving all minimal hitting-sets by merging. ICIA 2016: 1132-1137 - [c9]Gianfranco Lamperti, Xiangfu Zhao:
Viable diagnosis of complex active systems. SMC 2016: 457-462 - 2015
- [j5]Xiangfu Zhao, Dantong Ouyang:
Deriving All Minimal Hitting Sets Based on Join Relation. IEEE Trans. Syst. Man Cybern. Syst. 45(7): 1063-1076 (2015) - 2014
- [j4]Yuanwei Li, En Zhu, Jianmin Zhao, Jianping Yin, Xiangfu Zhao:
A Fast Simple Optical Flow Computation Approach Based on the 3-D Gradient. IEEE Trans. Circuits Syst. Video Technol. 24(5): 842-853 (2014) - [j3]Gianfranco Lamperti, Xiangfu Zhao:
Diagnosis of Active Systems by Semantic Patterns. IEEE Trans. Syst. Man Cybern. Syst. 44(8): 1028-1043 (2014) - 2013
- [c8]Gianfranco Lamperti, Xiangfu Zhao:
Diagnosis of Higher-Order Discrete-Event Systems. CD-ARES 2013: 162-177 - [c7]Gianfranco Lamperti, Xiangfu Zhao:
Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems. SMC 2013: 2342-2347 - 2012
- [j2]Xiangfu Zhao, Dantong Ouyang, Liming Zhang, Xiaoyu Wang, Yuchang Mo:
Reasoning on partially-ordered observations in online diagnosis of DESs. AI Commun. 25(4): 285-294 (2012) - 2010
- [c6]Huawen Liu, Shichao Zhang, Jianming Zhao, Xiangfu Zhao, Yuchang Mo:
A New Classification Algorithm Using Mutual Nearest Neighbors. GCC 2010: 52-57
2000 – 2009
- 2008
- [j1]Xiangfu Zhao, Dantong Ouyang:
On-line diagnosis of discrete event systems with two successive temporal windows. AI Commun. 21(4): 249-262 (2008) - [c5]Xiangfu Zhao, Dantong Ouyang:
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model. ECAI 2008: 189-193 - [c4]Xiangfu Zhao, Dantong Ouyang:
On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach. RAM 2008: 785-790 - [c3]Xiangfu Zhao, Dantong Ouyang:
An extended hierarchical framework for definitions of diagnosability of discrete event systems. SMC 2008: 1966-1971 - [c2]Yu Jiao, Dantong Ouyang, Xiangfu Zhao:
A complete approach to identify conflict sets based on ATMS. SMC 2008: 1984-1988 - 2007
- [c1]Xiangfu Zhao, Dantong Ouyang:
Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis. ICIC (1) 2007: 157-166
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-02-21 23:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
