Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Curtis Madsen
@article{DBLP:journals/jib/BaigFKMVBBBBCCM21,
author = {Hasan Baig and
Pedro Fontanarossa and
Vishwesh Kulkarni and
James Alastair McLaughlin and
Prashant Vaidyanathan and
Bryan Bartley and
Shyam Bhakta and
Swapnil Bhatia and
Mike Bissell and
Kevin Clancy and
Robert Sidney Cox III and
{\'{A}}ngel Go{\~{n}}i Moreno and
Thomas E. Gorochowski and
Raik Gr{\"{u}}nberg and
Jihwan Lee and
Augustin Luna and
Curtis Madsen and
Goksel Misirli and
Tramy Nguyen and
Nicolas Le Nov{\`{e}}re and
Zachary Palchick and
Matthew R. Pocock and
Nicholas Roehner and
Herbert M. Sauro and
James Scott{-}Brown and
John T. Sexton and
Guy{-}Bart Stan and
Jeffrey J. Tabor and
Logan Terry and
Marta Vazquez Vilar and
Christopher A. Voigt and
Anil Wipat and
David Zong and
Zach Zundel and
Jacob Beal and
Chris J. Myers},
title = {Synthetic biology open language visual {(SBOL} Visual) version 2.3},
journal = {J. Integr. Bioinform.},
volume = {18},
number = {3},
year = {2021},
url = {https://doi.org/10.1515/jib-2020-0045},
doi = {10.1515/JIB-2020-0045},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jib/BaigFKMVBBBBCCM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/BaigFKMVBBBBCCM20,
author = {Hasan Baig and
Pedro Fontanarrosa and
Vishwesh Kulkarni and
James Alastair McLaughlin and
Prashant Vaidyanathan and
Bryan Bartley and
Swapnil Bhatia and
Shyam Bhakta and
Michael Bissell and
Kevin Clancy and
Robert Sidney Cox III and
{\'{A}}ngel Go{\~{n}}i Moreno and
Thomas E. Gorochowski and
Raik Gr{\"{u}}nberg and
Augustin Luna and
Curtis Madsen and
Goksel Misirli and
Tramy Nguyen and
Nicolas Le Nov{\`{e}}re and
Zachary Palchick and
Matthew R. Pocock and
Nicholas Roehner and
Herbert M. Sauro and
James Scott{-}Brown and
John T. Sexton and
Guy{-}Bart Stan and
Jeffrey J. Tabor and
Marta Vazquez Vilar and
Christopher A. Voigt and
Anil Wipat and
David Zong and
Zach Zundel and
Jacob Beal and
Chris J. Myers},
title = {Synthetic biology open language visual {(SBOL} visual) version 2.2},
journal = {J. Integr. Bioinform.},
volume = {17},
number = {2-3},
year = {2020},
url = {https://doi.org/10.1515/jib-2020-0014},
doi = {10.1515/JIB-2020-0014},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jib/BaigFKMVBBBBCCM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/MadsenMPPRABCCG19,
author = {Curtis Madsen and
{\'{A}}ngel Go{\~{n}}i Moreno and
Umesh P and
Zachary Palchick and
Nicholas Roehner and
Christian Atallah and
Bryan Bartley and
Kiri Choi and
Robert Sidney Cox III and
Thomas E. Gorochowski and
Raik Gr{\"{u}}nberg and
Chris Macklin and
James Alastair McLaughlin and
Xianwei Meng and
Tramy Nguyen and
Matthew R. Pocock and
Meher Samineni and
James Scott{-}Brown and
Ysis Tarter and
Michael Zhang and
Zhen Zhang and
Zach Zundel and
Jacob Beal and
Michael Bissell and
Kevin Clancy and
John H. Gennari and
Goksel Misirli and
Chris J. Myers and
Ernst Oberortner and
Herbert M. Sauro and
Anil Wipat},
title = {Synthetic Biology Open Language {(SBOL)} Version 2.3},
journal = {J. Integr. Bioinform.},
volume = {16},
number = {2},
year = {2019},
url = {https://doi.org/10.1515/jib-2019-0025},
doi = {10.1515/JIB-2019-0025},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/MadsenMPPRABCCG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/MadsenMPPRBBBBC19,
author = {Curtis Madsen and
{\'{A}}ngel Go{\~{n}}i Moreno and
Zachary Palchick and
Umesh P and
Nicholas Roehner and
Bryan Bartley and
Swapnil Bhatia and
Shyam Bhakta and
Mike Bissell and
Kevin Clancy and
Robert Sidney Cox III and
Thomas E. Gorochowski and
Raik Gr{\"{u}}nberg and
Augustin Luna and
James Alastair McLaughlin and
Tramy Nguyen and
Nicolas Le Nov{\`{e}}re and
Matthew R. Pocock and
Herbert M. Sauro and
James Scott{-}Brown and
John T. Sexton and
Guy{-}Bart Stan and
Jeffrey J. Tabor and
Christopher A. Voigt and
Zach Zundel and
Chris J. Myers and
Jacob Beal and
Anil Wipat},
title = {Synthetic Biology Open Language Visual {(SBOL} Visual) Version 2.1},
journal = {J. Integr. Bioinform.},
volume = {16},
number = {2},
year = {2019},
url = {https://doi.org/10.1515/jib-2018-0101},
doi = {10.1515/JIB-2018-0101},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/MadsenMPPRBBBBC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NeupaneMM0019,
author = {Thakur Neupane and
Chris J. Myers and
Curtis Madsen and
Hao Zheng and
Zhen Zhang},
editor = {Isil Dillig and
Serdar Tasiran},
title = {{STAMINA:} STochastic Approximate Model-Checker for INfinite-State
Analysis},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {540--549},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_31},
doi = {10.1007/978-3-030-25540-4\_31},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/NeupaneMM0019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cb/Neupane0M0M19,
author = {Thakur Neupane and
Zhen Zhang and
Curtis Madsen and
Hao Zheng and
Chris J. Myers},
editor = {Pietro Li{\`{o}} and
Paolo Zuliani},
title = {Approximation Techniques for Stochastic Analysis of Biological Systems},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
series = {Computational Biology},
volume = {30},
pages = {327--348},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17297-8\_12},
doi = {10.1007/978-3-030-17297-8\_12},
timestamp = {Thu, 13 Jun 2019 09:13:47 +0200},
biburl = {https://dblp.org/rec/series/cb/Neupane0M0M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-07857,
author = {Thakur Neupane and
Zhen Zhang and
Curtis Madsen and
Hao Zheng and
Chris J. Myers},
title = {Approximation Techniques for Stochastic Analysis of Biological Systems},
journal = {CoRR},
volume = {abs/1901.07857},
year = {2019},
url = {http://arxiv.org/abs/1901.07857},
eprinttype = {arXiv},
eprint = {1901.07857},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-07857.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-03978,
author = {Thakur Neupane and
Chris J. Myers and
Curtis Madsen and
Hao Zheng and
Zhen Zhang},
title = {{STAMINA:} STochastic Approximate Model-checker for INfinite-state
Analysis},
journal = {CoRR},
volume = {abs/1906.03978},
year = {2019},
url = {http://arxiv.org/abs/1906.03978},
eprinttype = {arXiv},
eprint = {1906.03978},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-03978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/CoxMMNRBBBCCGMM18,
author = {Robert Sidney Cox III and
Curtis Madsen and
James Alastair McLaughlin and
Tramy Nguyen and
Nicholas Roehner and
Bryan Bartley and
Jacob Beal and
Michael Bissell and
Kiri Choi and
Kevin Clancy and
Raik Gr{\"{u}}nberg and
Chris Macklin and
Goksel Misirli and
Ernst Oberortner and
Matthew R. Pocock and
Meher Samineni and
Michael Zhang and
Zhen Zhang and
Zach Zundel and
John H. Gennari and
Chris J. Myers and
Herbert M. Sauro and
Anil Wipat},
title = {Synthetic Biology Open Language {(SBOL)} Version 2.2.0},
journal = {J. Integr. Bioinform.},
volume = {15},
number = {1},
year = {2018},
url = {https://doi.org/10.1515/jib-2018-0001},
doi = {10.1515/JIB-2018-0001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/CoxMMNRBBBCCGMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/CoxMMNRBBBCGGLN18,
author = {Robert Sidney Cox III and
Curtis Madsen and
James Alastair McLaughlin and
Tramy Nguyen and
Nicholas Roehner and
Bryan Bartley and
Swapnil Bhatia and
Mike Bissell and
Kevin Clancy and
Thomas E. Gorochowski and
Raik Gr{\"{u}}nberg and
Augustin Luna and
Nicolas Le Nov{\`{e}}re and
Matthew R. Pocock and
Herbert M. Sauro and
John T. Sexton and
Guy{-}Bart Stan and
Jeffrey J. Tabor and
Christopher A. Voigt and
Zach Zundel and
Chris J. Myers and
Jacob Beal and
Anil Wipat},
title = {Synthetic Biology Open Language Visual {(SBOL} Visual) Version 2.0},
journal = {J. Integr. Bioinform.},
volume = {15},
number = {1},
year = {2018},
url = {https://doi.org/10.1515/jib-2017-0074},
doi = {10.1515/JIB-2017-0074},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/CoxMMNRBBBCGGLN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/MadsenVSVDWDB18,
author = {Curtis Madsen and
Prashant Vaidyanathan and
Sadra Sadraddini and
Cristian Ioan Vasile and
Nicholas A. DeLateur and
Ron Weiss and
Douglas Densmore and
Calin Belta},
title = {Metrics for Signal Temporal Logic Formulae},
booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
FL, USA, December 17-19, 2018},
pages = {1542--1547},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CDC.2018.8619541},
doi = {10.1109/CDC.2018.8619541},
timestamp = {Fri, 04 Mar 2022 13:30:11 +0100},
biburl = {https://dblp.org/rec/conf/cdc/MadsenVSVDWDB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-03315,
author = {Curtis Madsen and
Prashant Vaidyanathan and
Sadra Sadraddini and
Cristian Ioan Vasile and
Nicholas A. DeLateur and
Ron Weiss and
Douglas Densmore and
Calin Belta},
title = {Metrics for Signal Temporal Logic Formulae},
journal = {CoRR},
volume = {abs/1808.03315},
year = {2018},
url = {http://arxiv.org/abs/1808.03315},
eprinttype = {arXiv},
eprint = {1808.03315},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-03315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MisirliCWPMGHZD16,
author = {Goksel Misirli and
Matteo Cavaliere and
William Waites and
Matthew R. Pocock and
Curtis Madsen and
Owen Gilfellon and
Ricardo Honorato{-}Zimmer and
Paolo Zuliani and
Vincent Danos and
Anil Wipat},
title = {Annotation of rule-based models with formal semantics to enable creation,
analysis, reuse and visualization},
journal = {Bioinform.},
volume = {32},
number = {6},
pages = {908--917},
year = {2016},
url = {https://doi.org/10.1093/bioinformatics/btv660},
doi = {10.1093/BIOINFORMATICS/BTV660},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/MisirliCWPMGHZD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/BealCGMNBBCCMMM16,
author = {Jacob Beal and
Robert Sidney Cox III and
Raik Gr{\"{u}}nberg and
James Alastair McLaughlin and
Tramy Nguyen and
Bryan Bartley and
Michael Bissell and
Kiri Choi and
Kevin Clancy and
Chris Macklin and
Curtis Madsen and
Goksel Misirli and
Ernst Oberortner and
Matthew R. Pocock and
Nicholas Roehner and
Meher Samineni and
Michael Zhang and
Zhen Zhang and
Zach Zundel and
John H. Gennari and
Chris J. Myers and
Herbert M. Sauro and
Anil Wipat},
title = {Synthetic Biology Open Language {(SBOL)} Version 2.1.0},
journal = {J. Integr. Bioinform.},
volume = {13},
number = {3},
year = {2016},
url = {https://doi.org/10.2390/biecoll-jib-2016-291},
doi = {10.2390/BIECOLL-JIB-2016-291},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/BealCGMNBBCCMMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/BartleyBCMROPBM15,
author = {Bryan Bartley and
Jacob Beal and
Kevin Clancy and
Goksel Misirli and
Nicholas Roehner and
Ernst Oberortner and
Matthew R. Pocock and
Michael Bissell and
Curtis Madsen and
Tramy Nguyen and
Zhen Zhang and
John H. Gennari and
Chris J. Myers and
Anil Wipat and
Herbert M. Sauro},
title = {Synthetic Biology Open Language {(SBOL)} Version 2.0.0},
journal = {J. Integr. Bioinform.},
volume = {12},
number = {2},
year = {2015},
url = {https://doi.org/10.2390/biecoll-jib-2015-272},
doi = {10.2390/BIECOLL-JIB-2015-272},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/BartleyBCMROPBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MadsenSZ15,
author = {Curtis Madsen and
Fedor Shmarov and
Paolo Zuliani},
editor = {Olivier F. Roux and
J{\'{e}}r{\'{e}}mie Bourdon},
title = {BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of
Biological Models},
booktitle = {Computational Methods in Systems Biology - 13th International Conference,
{CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9308},
pages = {182--194},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23401-4\_16},
doi = {10.1007/978-3-319-23401-4\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/MadsenSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/MadsenZRWM14,
author = {Curtis Madsen and
Zhen Zhang and
Nicholas Roehner and
Chris Winstead and
Chris J. Myers},
title = {Stochastic Model Checking of Genetic Circuits},
journal = {{ACM} J. Emerg. Technol. Comput. Syst.},
volume = {11},
number = {3},
pages = {23:1--23:21},
year = {2014},
url = {https://doi.org/10.1145/2644817},
doi = {10.1145/2644817},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetc/MadsenZRWM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Madsen13,
author = {Curtis Madsen},
title = {Stochastic Analysis of Synthetic Genetic Circuits},
school = {University of Utah, {USA}},
year = {2013},
timestamp = {Fri, 01 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Madsen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/MadsenMPRSW12,
author = {Curtis Madsen and
Chris J. Myers and
Tyler Patterson and
Nicholas Roehner and
Jason T. Stevens and
Chris Winstead},
title = {Design and Test of Genetic Circuits Using {\textdollar}\{{\textbackslash}tt
iBioSim\}{\textdollar}iBioSim},
journal = {{IEEE} Des. Test Comput.},
volume = {29},
number = {3},
pages = {32--39},
year = {2012},
url = {https://doi.org/10.1109/MDT.2012.2187875},
doi = {10.1109/MDT.2012.2187875},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/MadsenMPRSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibcb/MadsenMRWZ12,
author = {Curtis Madsen and
Chris J. Myers and
Nicholas Roehner and
Chris Winstead and
Zhen Zhang},
title = {Utilizing stochastic model checking to analyze genetic circuits},
booktitle = {2012 {IEEE} Symposium on Computational Intelligence in Bioinformatics
and Computational Biology, {CIBCB} 2012, San Diego, CA, USA, May 9-12,
2012},
pages = {379--386},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CIBCB.2012.6217255},
doi = {10.1109/CIBCB.2012.6217255},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/cibcb/MadsenMRWZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/WinsteadMM10,
author = {Chris Winstead and
Curtis Madsen and
Chris J. Myers},
title = {iSSA: An incremental stochastic simulation algorithm for genetic circuits},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2010), May
30 - June 2, 2010, Paris, France},
pages = {553--556},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ISCAS.2010.5537539},
doi = {10.1109/ISCAS.2010.5537539},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/WinsteadMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MyersBJKMN09,
author = {Chris J. Myers and
Nathan A. Barker and
Kevin R. Jones and
Hiroyuki Kuwahara and
Curtis Madsen and
Nam{-}Phuong D. Nguyen},
title = {iBioSim: a tool for the analysis and design of genetic circuits},
journal = {Bioinform.},
volume = {25},
number = {21},
pages = {2848--2849},
year = {2009},
url = {https://doi.org/10.1093/bioinformatics/btp457},
doi = {10.1093/BIOINFORMATICS/BTP457},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/MyersBJKMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/MyersBKJMN09,
author = {Chris J. Myers and
Nathan A. Barker and
Hiroyuki Kuwahara and
Kevin R. Jones and
Curtis Madsen and
Nam{-}Phuong D. Nguyen},
editor = {Jaijeet S. Roychowdhury},
title = {Genetic design automation},
booktitle = {2009 International Conference on Computer-Aided Design, {ICCAD} 2009,
San Jose, CA, USA, November 2-5, 2009},
pages = {713--716},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1687399.1687531},
doi = {10.1145/1687399.1687531},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/MyersBKJMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-07 03:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
