Curtis Madsen

According to our database, Curtis Madsen authored at least 21 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Synthetic biology open language visual (SBOL Visual) version 2.3.

Hasan Baig, Pedro Fontanarossa, Vishwesh Kulkarni, James Alastair McLaughlin, Prashant Vaidyanathan, Bryan Bartley, Shyam Bhakta, Swapnil Bhatia, Mike Bissell, Kevin Clancy, Robert Sidney Cox III, Ángel Goñi Moreno, Thomas E. Gorochowski, Raik Grünberg, Jihwan Lee, Augustin Luna, Curtis Madsen, Goksel Misirli, Tramy Nguyen, Nicolas Le Novère, Zachary Palchick, Matthew R. Pocock, Nicholas Roehner, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Logan Terry, Marta Vazquez Vilar, Christopher A. Voigt, Anil Wipat, David Zong, Zach Zundel, Jacob Beal, Chris J. Myers

J. Integr. Bioinform., 2021

2020

Synthetic biology open language visual (SBOL visual) version 2.2.

Hasan Baig, Pedro Fontanarrosa, Vishwesh Kulkarni, James Alastair McLaughlin, Prashant Vaidyanathan, Bryan Bartley, Swapnil Bhatia, Shyam Bhakta, Michael Bissell, Kevin Clancy, Robert Sidney Cox III, Ángel Goñi Moreno, Thomas E. Gorochowski, Raik Grünberg, Augustin Luna, Curtis Madsen, Goksel Misirli, Tramy Nguyen, Nicolas Le Novère, Zachary Palchick, Matthew R. Pocock, Nicholas Roehner, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Marta Vazquez Vilar, Christopher A. Voigt, Anil Wipat, David Zong, Zach Zundel, Jacob Beal, Chris J. Myers

J. Integr. Bioinform., 2020

2019

Approximation Techniques for Stochastic Analysis of Biological Systems.

Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Synthetic Biology Open Language Visual (SBOL Visual) Version 2.1.

Curtis Madsen, Ángel Goñi Moreno, Zachary Palchick, Umesh P, Nicholas Roehner, Bryan Bartley, Swapnil Bhatia, Shyam Bhakta, Mike Bissell, Kevin Clancy, Robert Sidney Cox III, Thomas E. Gorochowski, Raik Grünberg, Augustin Luna, James Alastair McLaughlin, Tramy Nguyen, Nicolas Le Novère, Matthew R. Pocock, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Christopher A. Voigt, Zach Zundel, Chris J. Myers, Jacob Beal, Anil Wipat

J. Integr. Bioinform., 2019

Synthetic Biology Open Language (SBOL) Version 2.3.

Curtis Madsen, Ángel Goñi Moreno, Umesh P, Zachary Palchick, Nicholas Roehner, Christian Atallah, Bryan Bartley, Kiri Choi, Robert Sidney Cox III, Thomas E. Gorochowski, Raik Grünberg, Chris Macklin, James Alastair McLaughlin, Xianwei Meng, Tramy Nguyen, Matthew R. Pocock, Meher Samineni, James Scott-Brown, Ysis Tarter, Michael Zhang, Zhen Zhang, Zach Zundel, Jacob Beal, Michael Bissell, Kevin Clancy, John H. Gennari, Goksel Misirli, Chris J. Myers, Ernst Oberortner, Herbert M. Sauro, Anil Wipat

J. Integr. Bioinform., 2019

Approximation Techniques for Stochastic Analysis of Biological Systems.

Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers

CoRR, 2019

STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis.

Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Synthetic Biology Open Language Visual (SBOL Visual) Version 2.0.

Robert Sidney Cox III, Curtis Madsen, James Alastair McLaughlin, Tramy Nguyen, Nicholas Roehner, Bryan Bartley, Swapnil Bhatia, Mike Bissell, Kevin Clancy, Thomas E. Gorochowski, Raik Grünberg, Augustin Luna, Nicolas Le Novère, Matthew R. Pocock, Herbert M. Sauro, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Christopher A. Voigt, Zach Zundel, Chris J. Myers, Jacob Beal, Anil Wipat

J. Integr. Bioinform., 2018

Synthetic Biology Open Language (SBOL) Version 2.2.0.

Robert Sidney Cox III, Curtis Madsen, James Alastair McLaughlin, Tramy Nguyen, Nicholas Roehner, Bryan Bartley, Jacob Beal, Michael Bissell, Kiri Choi, Kevin Clancy, Raik Grünberg, Chris Macklin, Goksel Misirli, Ernst Oberortner, Matthew R. Pocock, Meher Samineni, Michael Zhang, Zhen Zhang, Zach Zundel, John H. Gennari, Chris J. Myers, Herbert M. Sauro, Anil Wipat

J. Integr. Bioinform., 2018

Metrics for Signal Temporal Logic Formulae.

Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2016

Synthetic Biology Open Language (SBOL) Version 2.1.0.

Jacob Beal, Robert Sidney Cox III, Raik Grünberg, James Alastair McLaughlin, Tramy Nguyen, Bryan Bartley, Michael Bissell, Kiri Choi, Kevin Clancy, Chris Macklin, Curtis Madsen, Goksel Misirli, Ernst Oberortner, Matthew R. Pocock, Nicholas Roehner, Meher Samineni, Michael Zhang, Zhen Zhang, Zach Zundel, John H. Gennari, Chris J. Myers, Herbert M. Sauro, Anil Wipat

J. Integr. Bioinform., 2016

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

Goksel Misirli, Matteo Cavaliere, William Waites, Matthew R. Pocock, Curtis Madsen, Owen Gilfellon, Ricardo Honorato-Zimmer, Paolo Zuliani, Vincent Danos, Anil Wipat

Bioinform., 2016

2015

Synthetic Biology Open Language (SBOL) Version 2.0.0.

Bryan Bartley, Jacob Beal, Kevin Clancy, Goksel Misirli, Nicholas Roehner, Ernst Oberortner, Matthew R. Pocock, Michael Bissell, Curtis Madsen, Tramy Nguyen, Zhen Zhang, John H. Gennari, Chris J. Myers, Anil Wipat, Herbert M. Sauro

J. Integr. Bioinform., 2015

BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models.

Curtis Madsen, Fedor Shmarov, Paolo Zuliani

Proceedings of the Computational Methods in Systems Biology, 2015

2014

Stochastic Model Checking of Genetic Circuits.

Curtis Madsen, Zhen Zhang, Nicholas Roehner, Chris Winstead, Chris J. Myers

ACM J. Emerg. Technol. Comput. Syst., 2014

2013

Stochastic Analysis of Synthetic Genetic Circuits.

Curtis Madsen

PhD thesis, 2013

2012

Design and Test of Genetic Circuits Using ${\tt iBioSim}$iBioSim.

Curtis Madsen, Chris J. Myers, Tyler Patterson, Nicholas Roehner, Jason T. Stevens, Chris Winstead

IEEE Des. Test Comput., 2012

Utilizing stochastic model checking to analyze genetic circuits.

Curtis Madsen, Chris J. Myers, Nicholas Roehner, Chris Winstead, Zhen Zhang

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.

Chris Winstead, Curtis Madsen, Chris J. Myers

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.

Chris J. Myers, Nathan A. Barker, Kevin R. Jones, Hiroyuki Kuwahara, Curtis Madsen, Nam-Phuong D. Nguyen

Bioinform., 2009

Genetic design automation.

Chris J. Myers, Nathan A. Barker, Hiroyuki Kuwahara, Kevin R. Jones, Curtis Madsen, Nam-Phuong D. Nguyen

Proceedings of the 2009 International Conference on Computer-Aided Design, 2009