Douglas Densmore

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