Skip to main content
MENU
Toggle navigation menu
Sign up
Log in
Utah State University
DigitalCommons@USU Gallery
Expert Gallery
Follow
Contact
Selected Works of
Zhen Zhang
Selected Works of
Save
Cancel
Associate Professor
Title
Save
Cancel
read more
Works
About
×
About Zhen Zhang
Positions
Present
Associate Professor,
Utah State University
‐
Electrical and Computer Engineering
Institution
Organization
Position Type
Position Title
Time Period
to
Options
Current Position
Affiliate my profile with this Institution
Save
Cancel
Disciplines
Electrical and Computer Engineering
Title
URL
Funding Agency
Grant Name
Grant Number
Amount
$
Role
Colleague(s)
Time Period
to
Enter a valid date range.
Current Grant
Save
Cancel
Position
Affiliation
Time Period
to
Enter a valid date range.
Current Position
URL
Save
Cancel
Jump to Category
View All
Articles
Conference Papers
Articles
(9)
Article
STAMINA: Stochastic Approximate Model-Checker for Infinite-State Analysis
Lecture Notes in Computer Science (2019)
Thackur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, et al.
Stochastic model checking is a technique for analyzing systems that possess probabilistic characteristics. However, its scalability is limited as probabilistic ...
Download
Article
A Validator and Converter for the Synthetic Biology Open Language
ACS Synthetic Biology (2016)
Zach Zundel, Meher Samineni, Zhen Zhang and Chris J. Myers
This paper presents a new validation and conversion utility for the Synthetic Biology Open Language (SBOL). This utility can be ...
Article
Sharing Structure and Function in Biological Desing with SBOL 2 ...
ACS Synthetic Biology (2016)
Nicholas Roehner, Jacob Beal, Kevin Clancy, Bryan Bartley, et al.
The Synthetic Biology Open Language (SBOL) is a standard that enables collaborative engineering of biological systems across different institutions and ...
Article
An imporved fault-tolerant routing algorithm for a Network-on-Chip derived with ...
Science of Computer Programming (2016)
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, et al.
A fault-tolerant routing algorithm in Network-on-Chip (NoC) architectures provides adaptivity for on-chip communications. Adding fault-tolerance adaptivity to a routing algorithm ...
Article
libSBOLj 2.0: A Java Library to Support SBOL 2 ...
IEEE Life Science Letters (2015)
Zhen Zhang, Tramy Nguyen, Nicholas Roehner, Goksel Misirli, et al.
The Synthetic Biology Open Language (SBOL) is an emerging data standard for representing synthetic biology designs. The goal of SBOL ...
Download
Article
Generating Systems Biology Markup Language Models from the Synthetic Biology ...
ACS Synthetic Biology (2015)
Nicholas Roehner, Zhen Zhang, Tramy Nguyen and Chris J. Myers
In the context of synthetic biology, model generation is the automated process of constructing biochemical models based on genetic designs. ...
Article
Synthetic Biology Open Language (SBOL) Version 2.0.0
Journal of Integrative Bioinformatics (2015)
Bryan Bartley, Jacob Beal, Kevin Clancy, Goksel Misirli, et al.
Synthetic biology builds upon the techniques and successes of genetics, molecular biology, and metabolic engineering by applying engineering principles to ...
Download
Article
Stochastic Model Checking of Genetic Circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC) - Special Issue on Computational Synthetic Biology and Regular Papers (2014)
Curtis Madsen, Zhen Zhang, Nicholas Roehner, Chris Winstead, et al.
Synthetic genetic circuits have a number of exciting potential applications such as cleaning up toxic waste, hunting and killing tumor ...
Article
Compositional Model Checking of Concurrent Systems
IEEE Transactions on Computers (2014)
Hao Zheng, Zhen Zhang, Chris J. Myers, Emmanuel Rodriguez, et al.
This paper presents a compositional framework to address the state explosion problem in model checking of concurrent systems. This framework ...
Conference Papers
(4)
Article
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip
Formal Methods for Industrial Critical System (2014)
Zhen Zhang, Wendeling Serwe, Jian Wu, Tomohiro Yoneda, et al.
A fault-tolerant routing algorithm in Network-on-Chip architectures provides adaptivity for on-chip communications. Adding fault-tolerance adaptivity to a routing algorithm increases ...
Article
Utilizing Stochastic Model Checking to Analyze Genetic Circuits
IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB) (2012)
Curtis Madsen, Chris J. Myers, Nicholas Roehner, Chris Winstead, et al.
When designing and analyzing genetic circuits, researchers are often interested in the probability of the system reaching a given state ...
Article
A Fault-Tolerant Routing Algorithm for a Network-on-Chip Using a Link ...
VirtualWorldwide Forum for PhD researchers in Electronic Design Automantion (2011)
Jian Wu, Zhen Zhang and Chris Myers
Adaptive routing is a sensible approach to enhance fault-tolerance in Network-on-Chip (NoC) architectures, but can cause deadlock if implemented improperly. ...
Article
Performance Analysis of Two Synchronizers
20th UK Asynchronous Forum (2008)
Zhen Zhang and Jim Garside
Synchronizers are necessary when importing signals into any clocked domain. As multiple different clocks become increasingly common on chips, synchronizers ...