Title
Utilizing stochastic model checking to analyze genetic circuits.
Year
DOI
Venue
2012
10.1109/CIBCB.2012.6217255
CIBCB
Keywords
Field
DocType
satisfiability,time series,integrated circuit,switches,computer model,production,stochastic simulation,time series data,equivalent circuits,genetics,stochastic processes,stochastic model,complex networks,markov processes,continuous time markov chain,ctmc,markov chain,stochastic process,computational modeling,molecular biophysics,synthetic biology
Stochastic simulation,Time series,Markov process,Computer science,Markov chain,Stochastic process,Algorithm,Complex network,Artificial intelligence,Machine learning,Equivalent circuit,Speedup
Conference
Citations 
PageRank 
References 
6
0.56
11
Authors
5
Name
Order
Citations
PageRank
Curtis Madsen1336.07
Chris J. Myers260775.73
Nicholas Roehner3113.04
Chris Winstead415721.14
Zhen Zhang59719.98