Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhenyu Zhang 0009
Person information
- affiliation: San Diego State University, Department of Computer Science, CA, USA
- affiliation (former): Illinois Institute of Technology, Department of Computer Science, Chicago, IL, USA
Other persons with the same name
- Zhenyu Zhang — disambiguation page
- Zhenyu Zhang 0001
![[0000-0001-8985-7083]](https://dblp.org/img/orcid-mark.12x12.png "0000-0001-8985-7083")
— Chongqing University, College of Communication Engineering, China - Zhenyu Zhang 0002 — Chongqing University, State Key Laboratory of Coal Mine Disaster Dynamics and Control, China
- Zhenyu Zhang 0003 — Xiangtan University, Department of Mathematics and Computational Science, China
- Zhenyu Zhang 0004 — Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China (and 2 more)
- Zhenyu Zhang 0005 — Nanjing University of Science and Technology, School of Computer Science and Engineering, China
- Zhenyu Zhang 0006 — Baidu Inc., Beijing, China (and 1 more)
- Zhenyu Zhang 0007 — University of Science and Technology Beijing, Beijing, China
- Zhenyu Zhang 0008 — Zhejiang University, Hangzhou Shi, China
- Zhenyu Zhang 0010 — Tongji University, School of Economics and Management, Shanghai, China
- Zhenyu Zhang 0011 — Xinjiang University, Xinjiang, Urumqi, China
- Zhenyu Zhang 0012 — Harbin Engineering University, Harbin, China
- Zhenyu Zhang 0013 — Shanghai University, School of Computer Engineering and Science, China
- Zhenyu Zhang 0014 — Beihang University, School of Electronic and Information Engineering, China (and 1 more)
- Zhenyu Zhang 0015 — University of Texas at Austin, TX, USA (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j5]Zhenyu Zhang, Caleb Johnson, Nalini Venkatasubramanian, Shangping Ren:
Process scenario discovery from event logs based on activity and timing information. J. Syst. Archit. 125: 102435 (2022)- [c9]Zhenyu Zhang, Junjie Zhu, Ryan Hildebrant, Nalini Venkatasubramanian, Shangping Ren:
Using Domain Knowledge to Assist Process Scenario Discoveries. COMPSAC 2022: 280-288 - 2021
- [j4]Ryan Hildebrant, Zhenyu Zhang, Shangping Ren:
A Generalizable Approach for Determining The Sensitivity of A Trace within An Event Log. EMISA Forum 41(1): 35-36 (2021) - [c8]Wenyu Peng, Zhenyu Zhang, Ryan Hildebrant, Shangping Ren:
Empirical Studies of Three Commonly Used Process Mining Algorithms. SMC 2021: 2492-2499 - [c7]Zhenyu Zhang, Ryan Hildebrant, Fatemeh Asgarinejad, Nalini Venkatasubramanian, Shangping Ren:
Improving Process Discovery Results by Filtering Out Outliers from Event Logs with Hidden Markov Models. CBI (1) 2021: 171-180 - 2020
- [j3]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
A framework for supporting the development of verifiably safe medical best practice guideline systems. J. Syst. Archit. 104: 101693 (2020) - [j2]Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha:
UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models. ACM Trans. Cyber Phys. Syst. 4(3): 24:1-24:25 (2020) - [c6]Zhenyu Zhang, Chunhui Guo, Wenyu Peng, Shangping Ren:
Using Event Log Timing Information to Assist Process Scenario Discoveries. AIKE 2020: 58-64 - [c5]Zhenyu Zhang, Chunhui Guo, Shangping Ren:
Mining Timing Constraints from Event Logs for Process Model. COMPSAC 2020: 1011-1016
2010 – 2019
- 2019
- [j1]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet Things J. 6(4): 6276-6284 (2019) - [c4]Zhenyu Zhang, Chunhui Guo, Zhicheng Fu, Shangping Ren, Nalini Venkatasubramanian:
Prevent Potential Hazards Caused by Medical Device Time Differences in Integrated Clinical Environments. ICESS 2019: 1-4 - [i4]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts. CoRR abs/1909.10493 (2019) - 2018
- [c3]Zhicheng Fu, Zhao Wang, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha:
IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. DAC 2018: 143:1-143:6 - [c2]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. ICCPS 2018: 253-262 - [i3]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report). CoRR abs/1811.00694 (2018) - [i2]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version). CoRR abs/1811.08061 (2018) - [i1]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report. CoRR abs/1811.08064 (2018) - 2017
- [c1]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Model and integrate medical resource availability into verifiably correct executable medical guidelines. ICCAD 2017: 964-969
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-04-17 20:37 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:
