Douglas Densmore

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 11

Top Topics

Seemingly Unrelated

Reactive Systems

Mazurkiewicz Traces

Top Venues

ACM J. Emerg. Technol. Comput. Syst.

Publications

Qijun Liu, Diana Arguijo Mendoza, Alperen Yasar, Dilara Caygara, Aya Kassem, Douglas Densmore, Rabia Tugce Yazicigil
17.7 Droplet Microfluidics Co-Designed with Real-Time CMOS Luminescence Sensing and Impedance Spectroscopy of 4nL Droplets at a 67mm/s Velocity. ISSCC (2024)
Casey-Tyler Berezin, Luis U. Aguilera, Sonja Billerbeck, Philip E. Bourne, Douglas Densmore, Paul S. Freemont, Thomas E. Gorochowski, Sarah I. Hernandez, Nathan J. Hillson, Connor R. King, Michael Köpke, Shuyi Ma, Katie M. Miller, Tae Seok Moon, Jason H. Moore, Brian Munsky, Chris J. Myers, Dequina A. Nicholas, Samuel J. Peccoud, Wen Zhou, Jean Peccoud
Ten simple rules for managing laboratory information. PLoS Comput. Biol. 19 (12) (2023)
Rishab Jain, Aditya Jain, Elizabeth Mauro, Kevin LeShane, Douglas Densmore
ICOR: improving codon optimization with recurrent neural networks. BMC Bioinform. 24 (1) (2023)
Douglas Densmore, Nathan J. Hillson, Eric Klavins, Chris J. Myers, Jean Peccoud, Giovanni Stracquadanio
Introduction to the Special Issue on BioFoundries and Cloud Laboratories. ACM J. Emerg. Technol. Comput. Syst. 19 (3) (2023)
Tramy Nguyen, Timothy S. Jones, Pedro Fontanarrosa, Jeanet V. Mante, Zach Zundel, Douglas Densmore, Chris J. Myers
Design of Asynchronous Genetic Circuits. Proc. IEEE 107 (7) (2019)
Radhakrishna Sanka, Brian Crites, Jeffrey McDaniel, Philip Brisk, Douglas Densmore
Specification, Integration, and Benchmarking of Continuous Flow Microfluidic Devices: Invited Paper. ICCAD (2019)
Brian Crites, Radhakrishna Sanka, Joshua Lippai, Jeffrey McDaniel, Philip Brisk, Douglas Densmore
ParchMint: A Microfluidics Benchmark Suite. IISWC (2018)
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Metrics for Signal Temporal Logic Formulae. CDC (2018)
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Metrics for Signal Temporal Logic Formulae. CoRR (2018)
Ali Lashkaripour, Masoud Goharimanesh, Ali Abouei Mehrizi, Douglas Densmore
An adaptive neural-fuzzy approach for microfluidic droplet size prediction. Microelectron. J. 78 (2018)
Prashant Vaidyanathan, Rachael Ivison, Giuseppe Bombara, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Grid-based temporal logic inference. CDC (2017)
Prashant Vaidyanathan, Bryan S. Der, Swapnil Bhatia, Nicholas Roehner, Ryan Silva, Christopher A. Voigt, Douglas Densmore
A Framework for Genetic Logic Synthesis. Proc. IEEE 103 (11) (2015)
Ernst Oberortner, Swapnil Bhatia, Erik Lindgren, Douglas Densmore
A Rule-Based Design Specification Language for Synthetic Biology. ACM J. Emerg. Technol. Comput. Syst. 11 (3) (2014)
Orit Shaer, Consuelo Valdes, Sirui Liu, Kara Lu, Kimberly Chang, Wendy Xu, Traci Haddock, Swapnil Bhatia, Douglas Densmore, Robert Kincaid
Designing reality-based interfaces for experiential bio-design. Pers. Ubiquitous Comput. 18 (6) (2014)
Haiyao Huang, Douglas Densmore
Fluigi: Microfluidic Device Synthesis for Synthetic Biology. ACM J. Emerg. Technol. Comput. Syst. 11 (3) (2014)
Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu
metroII: A design environment for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
Ebru Aydin Gol, Douglas Densmore, Calin Belta
Data-driven verification of synthetic gene networks. CDC (2013)
Orit Shaer, Consuelo Valdes, Sirui Liu, Kara Lu, Traci Haddock, Swapnil Bhatia, Douglas Densmore, Robert Kincaid
MoClo planner: Interactive visualization for Modular Cloning bio-design. BioVis (2013)
Douglas Densmore, Soha Hassoun
Design Automation for Synthetic Biological Systems. IEEE Des. Test Comput. 29 (3) (2012)
Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, Douglas Densmore
Experimentally driven verification of synthetic biological circuits. DATE (2012)
Douglas Densmore, Soha Hassoun
Guest Editors' Introduction: Synthetic Biology. IEEE Des. Test Comput. 29 (3) (2012)
Douglas Densmore, Mark Horowitz, Smita Krishnaswamy, Xiling Shen, Adam P. Arkin, Erik Winfree, Chris Voigt
Joint DAC/IWBDA special session design and synthesis of biological circuits. DAC (2011)
Douglas Densmore, Joshua T. Kittleson, Lesia Bilitchenko, Adam Liu, J. Christopher Anderson
Rule based constraints for the construction of genetic devices. ISCAS (2010)
Douglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
UMTS MPSoC design evaluation using a system level design framework. DATE (2009)
Douglas Densmore, Anne Van Devender, Matthew Johnson, Nade Sritanyaratana
A platform-based design environment for synthetic biological systems. Richard Tapia Celebration of Diversity in Computing Conference (2009)
Douglas Densmore, J. Christopher Anderson
Combinational Logic Design in Synthetic Biology. ISCAS (2009)
Alena Simalatsar, Roberto Passerone, Douglas Densmore
A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling. SIES (2008)
Shinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli
Functional Model Exploration for Multimedia Applications via Algebraic Operators. ACSD (2006)
Douglas Densmore, Roberto Passerone
A Platform-Based Taxonomy for ESL Design. IEEE Des. Test Comput. 23 (5) (2006)
Douglas Densmore, Adam Donlin, Alberto L. Sangiovanni-Vincentelli
FPGA architecture characterization for system level performance analysis. DATE (2006)
Douglas Densmore, Sanjay Rekhi, Alberto L. Sangiovanni-Vincentelli
Microarchitecture Development via Metropolis Successive Platform Refinement. DATE (2004)