BibTeX records: Douglas Densmore

download as .bib file

@article{DBLP:journals/pieee/NguyenJFMZDM19,
  author    = {Tramy Nguyen and
               Timothy S. Jones and
               Pedro Fontanarrosa and
               Jeanet V. Mante and
               Zach Zundel and
               Douglas Densmore and
               Chris J. Myers},
  title     = {Design of Asynchronous Genetic Circuits},
  journal   = {Proceedings of the {IEEE}},
  volume    = {107},
  number    = {7},
  pages     = {1356--1368},
  year      = {2019},
  url       = {https://doi.org/10.1109/JPROC.2019.2916057},
  doi       = {10.1109/JPROC.2019.2916057},
  timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pieee/NguyenJFMZDM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SankaCMBD19,
  author    = {Radhakrishna Sanka and
               Brian Crites and
               Jeffrey McDaniel and
               Philip Brisk and
               Douglas Densmore},
  editor    = {David Z. Pan},
  title     = {Specification, Integration, and Benchmarking of Continuous Flow Microfluidic
               Devices: Invited Paper},
  booktitle = {Proceedings of the International Conference on Computer-Aided Design,
               {ICCAD} 2019, Westminster, CO, USA, November 4-7, 2019},
  pages     = {1--8},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1109/ICCAD45719.2019.8942171},
  doi       = {10.1109/ICCAD45719.2019.8942171},
  timestamp = {Wed, 19 Feb 2020 16:38:01 +0100},
  biburl    = {https://dblp.org/rec/conf/iccad/SankaCMBD19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mj/LashkaripourGMD18,
  author    = {Ali Lashkaripour and
               Masoud Goharimanesh and
               Ali Abouei Mehrizi and
               Douglas Densmore},
  title     = {An adaptive neural-fuzzy approach for microfluidic droplet size prediction},
  journal   = {Microelectron. J.},
  volume    = {78},
  pages     = {73--80},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.mejo.2018.05.018},
  doi       = {10.1016/j.mejo.2018.05.018},
  timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/mj/LashkaripourGMD18.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 = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/cdc/MadsenVSVDWDB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiswc/CritesSLMBD18,
  author    = {Brian Crites and
               Radhakrishna Sanka and
               Joshua Lippai and
               Jeffrey McDaniel and
               Philip Brisk and
               Douglas Densmore},
  title     = {ParchMint: {A} Microfluidics Benchmark Suite},
  booktitle = {2018 {IEEE} International Symposium on Workload Characterization,
               {IISWC} 2018, Raleigh, NC, USA, September 30 - October 2, 2018},
  pages     = {78--79},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://doi.org/10.1109/IISWC.2018.8573487},
  doi       = {10.1109/IISWC.2018.8573487},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iiswc/CritesSLMBD18.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},
  archivePrefix = {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}
}
@inproceedings{DBLP:conf/cdc/VaidyanathanIBD17,
  author    = {Prashant Vaidyanathan and
               Rachael Ivison and
               Giuseppe Bombara and
               Nicholas A. DeLateur and
               Ron Weiss and
               Douglas Densmore and
               Calin Belta},
  title     = {Grid-based temporal logic inference},
  booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
               Melbourne, Australia, December 12-15, 2017},
  pages     = {5354--5359},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {https://doi.org/10.1109/CDC.2017.8264452},
  doi       = {10.1109/CDC.2017.8264452},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/cdc/VaidyanathanIBD17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/VaidyanathanDBR15,
  author    = {Prashant Vaidyanathan and
               Bryan S. Der and
               Swapnil Bhatia and
               Nicholas Roehner and
               Ryan Silva and
               Christopher A. Voigt and
               Douglas Densmore},
  title     = {A Framework for Genetic Logic Synthesis},
  journal   = {Proceedings of the {IEEE}},
  volume    = {103},
  number    = {11},
  pages     = {2196--2207},
  year      = {2015},
  url       = {https://doi.org/10.1109/JPROC.2015.2443832},
  doi       = {10.1109/JPROC.2015.2443832},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pieee/VaidyanathanDBR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/OberortnerBLD14,
  author    = {Ernst Oberortner and
               Swapnil Bhatia and
               Erik Lindgren and
               Douglas Densmore},
  title     = {A Rule-Based Design Specification Language for Synthetic Biology},
  journal   = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume    = {11},
  number    = {3},
  pages     = {25:1--25:19},
  year      = {2014},
  url       = {https://doi.org/10.1145/2641571},
  doi       = {10.1145/2641571},
  timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jetc/OberortnerBLD14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/HuangD14,
  author    = {Haiyao Huang and
               Douglas Densmore},
  title     = {Fluigi: Microfluidic Device Synthesis for Synthetic Biology},
  journal   = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume    = {11},
  number    = {3},
  pages     = {26:1--26:19},
  year      = {2014},
  url       = {https://doi.org/10.1145/2660773},
  doi       = {10.1145/2660773},
  timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jetc/HuangD14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/puc/ShaerVLLCXHBDK14,
  author    = {Orit Shaer and
               Consuelo Valdes and
               Sirui Liu and
               Kara Lu and
               Kimberly Chang and
               Wendy Xu and
               Traci Haddock and
               Swapnil Bhatia and
               Douglas Densmore and
               Robert Kincaid},
  title     = {Designing reality-based interfaces for experiential bio-design},
  journal   = {Pers. Ubiquitous Comput.},
  volume    = {18},
  number    = {6},
  pages     = {1515--1532},
  year      = {2014},
  url       = {https://doi.org/10.1007/s00779-013-0752-1},
  doi       = {10.1007/s00779-013-0752-1},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/puc/ShaerVLLCXHBDK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/DavareDGPSSZ13,
  author    = {Abhijit Davare and
               Douglas Densmore and
               Liangpeng Guo and
               Roberto Passerone and
               Alberto L. Sangiovanni{-}Vincentelli and
               Alena Simalatsar and
               Qi Zhu},
  title     = {metroII: {A} design environment for cyber-physical systems},
  journal   = {{ACM} Trans. Embedded Comput. Syst.},
  volume    = {12},
  number    = {1s},
  pages     = {49:1--49:31},
  year      = {2013},
  url       = {https://doi.org/10.1145/2435227.2435245},
  doi       = {10.1145/2435227.2435245},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tecs/DavareDGPSSZ13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biovis/ShaerVLLHBDK13,
  author    = {Orit Shaer and
               Consuelo Valdes and
               Sirui Liu and
               Kara Lu and
               Traci Haddock and
               Swapnil Bhatia and
               Douglas Densmore and
               Robert Kincaid},
  title     = {MoClo planner: Interactive visualization for Modular Cloning bio-design},
  booktitle = {{IEEE} Symposium on Biological Data Visualization, BioVis 2013, Atlanta,
               GA, USA, October 13-14, 2013},
  pages     = {57--64},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://doi.org/10.1109/BioVis.2013.6664347},
  doi       = {10.1109/BioVis.2013.6664347},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/biovis/ShaerVLLHBDK13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GolDB13,
  author    = {Ebru Aydin Gol and
               Douglas Densmore and
               Calin Belta},
  title     = {Data-driven verification of synthetic gene networks},
  booktitle = {Proceedings of the 52nd {IEEE} Conference on Decision and Control,
               {CDC} 2013, December 10-13, 2013, Firenze, Italy},
  pages     = {4074--4079},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://doi.org/10.1109/CDC.2013.6760513},
  doi       = {10.1109/CDC.2013.6760513},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/cdc/GolDB13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/DensmoreH12,
  author    = {Douglas Densmore and
               Soha Hassoun},
  title     = {Guest Editors' Introduction: Synthetic Biology},
  journal   = {{IEEE} Des. Test Comput.},
  volume    = {29},
  number    = {3},
  pages     = {5--6},
  year      = {2012},
  url       = {https://doi.org/10.1109/MDT.2012.2194609},
  doi       = {10.1109/MDT.2012.2194609},
  timestamp = {Sun, 17 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/dt/DensmoreH12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/DensmoreH12a,
  author    = {Douglas Densmore and
               Soha Hassoun},
  title     = {Design Automation for Synthetic Biological Systems},
  journal   = {{IEEE} Des. Test Comput.},
  volume    = {29},
  number    = {3},
  pages     = {7--20},
  year      = {2012},
  url       = {https://doi.org/10.1109/MDT.2012.2193370},
  doi       = {10.1109/MDT.2012.2193370},
  timestamp = {Sun, 17 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/dt/DensmoreH12a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/YordanovAGGCBHBD12,
  author    = {Boyan Yordanov and
               Evan Appleton and
               Rishi Ganguly and
               Ebru Aydin Gol and
               Swati Banerjee Carr and
               Swapnil Bhatia and
               Traci Haddock and
               Calin Belta and
               Douglas Densmore},
  editor    = {Wolfgang Rosenstiel and
               Lothar Thiele},
  title     = {Experimentally driven verification of synthetic biological circuits},
  booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
               Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
  pages     = {236--241},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {https://doi.org/10.1109/DATE.2012.6176468},
  doi       = {10.1109/DATE.2012.6176468},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/date/YordanovAGGCBHBD12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DensmoreHKSAWV11,
  author    = {Douglas Densmore and
               Mark Horowitz and
               Smita Krishnaswamy and
               Xiling Shen and
               Adam P. Arkin and
               Erik Winfree and
               Chris Voigt},
  editor    = {Leon Stok and
               Nikil D. Dutt and
               Soha Hassoun},
  title     = {Joint {DAC/IWBDA} special session design and synthesis of biological
               circuits},
  booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
               San Diego, California, USA, June 5-10, 2011},
  pages     = {114--115},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2024724.2024750},
  doi       = {10.1145/2024724.2024750},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/dac/DensmoreHKSAWV11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/DensmoreKBLA10,
  author    = {Douglas Densmore and
               Joshua T. Kittleson and
               Lesia Bilitchenko and
               Adam Liu and
               J. Christopher Anderson},
  title     = {Rule based constraints for the construction of genetic devices},
  booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2010), May
               30 - June 2, 2010, Paris, France},
  pages     = {557--560},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {https://doi.org/10.1109/ISCAS.2010.5537540},
  doi       = {10.1109/ISCAS.2010.5537540},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/iscas/DensmoreKBLA10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DensmoreSDPS09,
  author    = {Douglas Densmore and
               Alena Simalatsar and
               Abhijit Davare and
               Roberto Passerone and
               Alberto L. Sangiovanni{-}Vincentelli},
  editor    = {Luca Benini and
               Giovanni De Micheli and
               Bashir M. Al{-}Hashimi and
               Wolfgang M{\"{u}}ller},
  title     = {{UMTS} MPSoC design evaluation using a system level design framework},
  booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
               April 20-24, 2009},
  pages     = {478--483},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {https://doi.org/10.1109/DATE.2009.5090712},
  doi       = {10.1109/DATE.2009.5090712},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/date/DensmoreSDPS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/DensmoreA09,
  author    = {Douglas Densmore and
               J. Christopher Anderson},
  title     = {Combinational Logic Design in Synthetic Biology},
  booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2009), 24-17
               May 2009, Taipei, Taiwan},
  pages     = {301--304},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {https://doi.org/10.1109/ISCAS.2009.5117745},
  doi       = {10.1109/ISCAS.2009.5117745},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/iscas/DensmoreA09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapia/DensmoreDJS09,
  author    = {Douglas Densmore and
               Anne Van Devender and
               Matthew Johnson and
               Nade Sritanyaratana},
  editor    = {Nina M. Berry},
  title     = {A platform-based design environment for synthetic biological systems},
  booktitle = {Proceedings of the Richard Tapia Celebration of Diversity in Computing
               Conference 2009: Intellect, Initiatives, Insight, and Innovations,
               Portland, Oregon, USA, April 1-4, 2009},
  pages     = {24--29},
  publisher = {{ACM}},
  year      = {2009},
  url       = {https://doi.org/10.1145/1565799.1565806},
  doi       = {10.1145/1565799.1565806},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/tapia/DensmoreDJS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SimalatsarPD08,
  author    = {Alena Simalatsar and
               Roberto Passerone and
               Douglas Densmore},
  title     = {A methodology for architecture exploration and performance analysis
               using system level design languages and rapid architecture profiling},
  booktitle = {{IEEE} Third International Symposium on Industrial Embedded Systems,
               {SIES} 2008, Montpellier / La Grande Motte, France, June 11-13, 2008},
  pages     = {95--102},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {https://doi.org/10.1109/SIES.2008.4577686},
  doi       = {10.1109/SIES.2008.4577686},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sies/SimalatsarPD08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/DensmoreP06,
  author    = {Douglas Densmore and
               Roberto Passerone},
  title     = {A Platform-Based Taxonomy for {ESL} Design},
  journal   = {{IEEE} Des. Test Comput.},
  volume    = {23},
  number    = {5},
  pages     = {359--374},
  year      = {2006},
  url       = {https://doi.org/10.1109/MDT.2006.112},
  doi       = {10.1109/MDT.2006.112},
  timestamp = {Sun, 17 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/dt/DensmoreP06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KakitaWDDS06,
  author    = {Shinjiro Kakita and
               Yosinori Watanabe and
               Douglas Densmore and
               Abhijit Davare and
               Alberto L. Sangiovanni{-}Vincentelli},
  title     = {Functional Model Exploration for Multimedia Applications via Algebraic
               Operators},
  booktitle = {Sixth International Conference on Application of Concurrency to System
               Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
  pages     = {229--238},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://doi.org/10.1109/ACSD.2006.8},
  doi       = {10.1109/ACSD.2006.8},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/KakitaWDDS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DensmoreDS06,
  author    = {Douglas Densmore and
               Adam Donlin and
               Alberto L. Sangiovanni{-}Vincentelli},
  editor    = {Georges G. E. Gielen},
  title     = {{FPGA} architecture characterization for system level performance
               analysis},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
               {DATE} 2006, Munich, Germany, March 6-10, 2006},
  pages     = {734--739},
  publisher = {European Design and Automation Association, Leuven, Belgium},
  year      = {2006},
  url       = {https://doi.org/10.1109/DATE.2006.244092},
  doi       = {10.1109/DATE.2006.244092},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/date/DensmoreDS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DensmoreRS04,
  author    = {Douglas Densmore and
               Sanjay Rekhi and
               Alberto L. Sangiovanni{-}Vincentelli},
  title     = {Microarchitecture Development via Metropolis Successive Platform Refinement},
  booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2004), 16-20 February 2004, Paris, France},
  pages     = {346--351},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {https://doi.org/10.1109/DATE.2004.1268871},
  doi       = {10.1109/DATE.2004.1268871},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/date/DensmoreRS04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics