


default search action
BibTeX records: Curtis Madsen
@inproceedings{DBLP:conf/eurosys/MukherjeeHBMMGA25, author = {Dipayan Mukherjee and Sam Hachem and Jeremy Bao and Curtis Madsen and Tian Ma and Saugata Ghose and Gul Agha}, title = {{CRAVE:} Analyzing Cross-Resource Interaction to Improve Energy Efficiency in Systems-on-Chip}, booktitle = {Proceedings of the Twentieth European Conference on Computer Systems, EuroSys 2025, Rotterdam, The Netherlands, 30 March 2025 - 3 April 2025}, pages = {59--75}, publisher = {{ACM}}, year = {2025}, url = {https://doi.org/10.1145/3689031.3717498}, doi = {10.1145/3689031.3717498}, timestamp = {Fri, 11 Apr 2025 11:17:15 +0200}, biburl = {https://dblp.org/rec/conf/eurosys/MukherjeeHBMMGA25.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Thu, 27 Jun 2024 01:00:00 +0200}, 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 = {Thu, 27 Jun 2024 01:00:00 +0200}, 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 = {Thu, 27 Jun 2024 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 = {Thu, 27 Jun 2024 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 = {Mon, 03 Mar 2025 00:00:00 +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} }

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.