Curtis Madsen
According to our database1,
Curtis Madsen
authored at least 13 papers
between 2009 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2018
Synthetic Biology Open Language Visual (SBOL Visual) Version 2.0.
J. Integrative Bioinformatics, 2018
Synthetic Biology Open Language (SBOL) Version 2.2.0.
J. Integrative Bioinformatics, 2018
Metrics for Signal Temporal Logic Formulae.
Proceedings of the 57th IEEE Conference on Decision and Control, 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