Curtis Madsen

According to our database1, Curtis Madsen authored at least 11 papers between 2009 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Metrics for Signal Temporal Logic Formulae.
CoRR, 2018

2016
Synthetic Biology Open Language (SBOL) Version 2.1.0.
J. Integrative Bioinformatics, 2016

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization.
Bioinformatics, 2016

2015
Synthetic Biology Open Language (SBOL) Version 2.0.0.
J. Integrative Bioinformatics, 2015

BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models.
Proceedings of the Computational Methods in Systems Biology, 2015

2014
Stochastic Model Checking of Genetic Circuits.
JETC, 2014

2012
Design and Test of Genetic Circuits Using ${\tt iBioSim}$iBioSim.
IEEE Design & Test of Computers, 2012

Utilizing stochastic model checking to analyze genetic circuits.
Proceedings of the 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2012

2010
iSSA: An incremental stochastic simulation algorithm for genetic circuits.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

2009
iBioSim: a tool for the analysis and design of genetic circuits.
Bioinformatics, 2009

Genetic design automation.
Proceedings of the 2009 International Conference on Computer-Aided Design, 2009


  Loading...