Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMin Zhang 0007
Person information
- affiliation: East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, Shanghai, China
Other persons with the same name
- Min Zhang — disambiguation page
- Min Zhang 0001 — University of Texas Health Science Center, Houston, TX, United States
- Min Zhang 0002
![[0000-0003-1938-2902]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-1938-2902")
— East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, China (and 1 more) - Min Zhang 0003 — Shanghai Ocean University, Shanghai, China
- Min Zhang 0004 — Alcatel-Lucent (and 1 more)
- Min Zhang 0005 — Harbin Institute of Technology (Shenzhen), Shenzhen, China (and 6 more)
- Min Zhang 0006 — Tsinghua University, Department of Computer Science and Technology, Beijing, China
- Min Zhang 0008 — University of Hertfordshire
- Min Zhang 0009 — Harbin Medical University
- Min Zhang 0010 — University of Schience and Technology of China, Hefei
- Min Zhang 0011 — University of Electronic Science and Technology, School of Computer and Communication Engineering, Chengdu, China
- Min Zhang 0012 — The Chinese University of Hong Kong
- Min Zhang 0013 — Shanghai Jiao Tong University, School of Mechanical Engineering, China (and 1 more)
- Min Zhang 0014 — Xidian University, School of Physics and Optoelectronic Engineering, Xi'an, China
- Min Zhang 0015 — Xidian University, Measurement and Control Department, Xi'an, China
- Min Zhang 0016 — Beijing University of Posts and Telecommunications, State Key Laboratory of Information Photonics and Optical Communications, China
- Min Zhang 0017 — Tianjin Normal University, Tianjin Key Laboratory of Wireless Mobile Communications and Power Transmission, China
- Min Zhang 0018 — Linyi University, Library, China
- Min Zhang 0019 — Paris Diderot University, France
- Min Zhang 0020 — Arizona State University, Tempe, USA (and 1 more)
- Min Zhang 0021 — Northeast Normal University, Faculty of Chemistry, Changchun, China
- Min Zhang 0022 — Beijing University of Posts and Telecommunications, School of Science, China
- Min Zhang 0023 — Chongqing University, College of Computer Science, Chongqing Key Laboratory of Software Theory and Technology, China
- Min Zhang 0024 — Changchun University of Science and Technology, Institute of Space Optoelectronics Technology, China (and 1 more)
- Min Zhang 0025 — North China Electric Power University, School of Control and Computer Engineering, Beijing, China
- Min Zhang 0026 — Jiangnan University, School of Food Science and Technology, Wuxi, China
- Min Zhang 0027 — Open University, Milton Keynes, UK (and 2 more)
- Min Zhang 0028 — Tongji University, School of Economics and Management, Shanghai, China
- Min Zhang 0029 — Hangzhou Dianzi University, Institute of Software and Intelligent Technology, China (and 1 more)
- Min Zhang 0030 — University of Southern California, Department of Electrical and Computer Engineering, Los Angeles, CA, USA
- Min Zhang 0031 — Tsinghua University, Shenzhen International Graduate School, China
- Min Zhang 0032 — Wuhan University, School of Remote Sensing and Information Engineering, China (and 1 more)
- Min Zhang 0033 — Guangxi University, School of Computer and Electronics Information, Guangxi Key Laboratory of Multimedia Communications and Network Technology, Nanning, China
- Min Zhang 0034 — Beihua University, Nursing College, Jilin, China
- Min Zhang 0035 — Huaqiao University, College of Computer Science and Technology, Xiamen, China
- Min Zhang 0036 — Southwest Jiaotong University, School of Mechanical Engineering, Chengdu, China
- Min Zhang 0037 — University of Science and Technology Beijing, School of Computer and Communication Engineering, China
- Min Zhang 0038 — Chinese Academy of Sciences, Aerospace Information Research Institute, Beijing, China
- Min Zhang 0039 — Northwest University, School of Information Science and Technology, Xi'an, China
- Min Zhang 0040 — Hebei University of Technology, School of Artificial Intelligence, Hebei Province Key Laboratory of Big Data Calculation, Tianjin, China
- Min Zhang 0041 — Peking University, School of Electronic and Computer Engineering, Shenzhen, China
- Min Zhang 0042 — Huawei Technologies Co., Ltd., Huawei Translation Services Center, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2017
[j5]Yusi Lei, Fu Song, Wanwei Liu, Min Zhang:
On the complexity of ω-pushdown automata. Sci. China Inf. Sci. 60(11): 112102:1-112102:15 (2017)- 2014
- [j4]Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen:
Quantitative Analysis of Lattice-valued Kripke Structures. Fundam. Informaticae 135(3): 269-293 (2014) - [j3]Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen:
Simulation for lattice-valued doubly labeled transition systems. Int. J. Approx. Reason. 55(3): 797-811 (2014) - 2013
- [j2]Yanfang Ma, Min Zhang:
The Infinite Evolution Mechanism of ϵ-Bisimilarity. J. Comput. Sci. Technol. 28(6): 1097-1105 (2013) - 2011
- [j1]Yanfang Ma, Min Zhang, Yixiang Chen, Liang Chen:
Two-thirds simulation indexes and modal logic characterization. Frontiers Comput. Sci. China 5(4): 454-471 (2011)
Conference and Workshop Papers
- 2016
- [c17]Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang:
PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems. MMB/DFT 2016: 77-91 - [c16]Jia He, Min Zhang, Kangli He, Yannan Guo, Yusi Lei:
Bayesian Statistical Model-Checking for Complex Stochastic Systems. TASE 2016: 38-41 - 2015
- [c15]Kangli He, Min Zhang, Jia He, Yixiang Chen:
Probabilistic Model Checking of Pipe protocol. TASE 2015: 135-138 - 2013
- [c14]Xinghua Yao, Min Zhang, Yixiang Chen:
A Proof System in PADS. ICTAC 2013: 391-408 - [c13]Lewen Zhang, Yong Zhou, Yixiang Chen, Min Zhang, Juyang Zhang:
Stability of Software Trustworthiness Measurements Models. SERE (Companion) 2013: 219-224 - [c12]Hengyang Wu, Yixiang Chen, Min Zhang:
On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. TASE 2013: 113-120 - 2012
- [c11]Yanfang Ma, Min Zhang, Liang Chen:
Infinite Evolution Mechanism of ϵ-Bisimilarity. QLSC 2012 - [c10]Haiyu Pan, Min Zhang, Yixiang Chen:
Bisimilarity for fuzzy doubly Labeled Transition Systems. QLSC 2012 - [c9]Haiyu Pan, Min Zhang, Yixiang Chen:
Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. SERE (Companion) 2012: 137-143 - [c8]Haiyu Pan, Min Zhang, Yixiang Chen:
Bisimulation for Lattice-valued Transition Systems. TASE 2012: 279-282 - 2011
- [c7]Haiyu Pan, Min Zhang, Yixiang Chen:
Approximate Simulation for Metric Hybrid Input/Output Automata. SSIRI (Companion) 2011: 53-59 - [c6]Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu:
Approximate Bisimulation for Metric Doubly Labeled Transition System. TASE 2011: 108-114 - 2009
- [c5]Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu:
Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks. Web Intelligence/IAT Workshops 2009: 62-64 - [c4]Yanfang Ma, Min Zhang, Yixiang Chen:
Infinite Evolution Mechanism of Probabilistic Processes. ICTCS 2009: 155-161 - [c3]Yixiang Chen, Min Zhang, Hong Zhu, Tian-Ming Bu:
Average Transitive Trustworthy Degrees for Trustworthy Networks. RSKT 2009: 682-689 - [c2]Yanfang Ma, Min Zhang, Yixiang Chen:
Parameterized Bisimulation Infinite Evolution Mechanism. TASE 2009: 299-300 - [c1]Yanfang Ma, Min Zhang:
Topological Construction of Parameterized Bisimulation Limit. ISDT 2009: 55-70
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-07-09 23:52 CEST 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:
