Microarchitecture Development via Metropolis Successive Platform Refinement. - Douglas Densmore; Sanjay Rekhi; Alberto L. Sangiovanni-Vincentelli (DATE, 2004)

Functional Model Exploration for Multimedia Applications via Algebraic Operators. - Shinjiro Kakita; Yosinori Watanabe; Douglas Densmore; Abhijit Davare; Alberto L. Sangiovanni-Vincentelli (ACSD, 2006)

FPGA architecture characterization for system level performance analysis. - Douglas Densmore; Adam Donlin; Alberto L. Sangiovanni-Vincentelli (DATE, 2006)

A Platform-Based Taxonomy for ESL Design. - Douglas Densmore; Roberto Passerone (IEEE Des. Test Comput., 2006)

A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling. - Alena Simalatsar; Roberto Passerone; Douglas Densmore (SIES, 2008)

UMTS MPSoC design evaluation using a system level design framework. - Douglas Densmore; Alena Simalatsar; Abhijit Davare; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli (DATE, 2009)

Combinational Logic Design in Synthetic Biology. - Douglas Densmore; J. Christopher Anderson (ISCAS, 2009)

A platform-based design environment for synthetic biological systems. - Douglas Densmore; Anne Van Devender; Matthew Johnson 008; Nade Sritanyaratana (Richard Tapia Celebration of Diversity in Computing Conference, 2009)

Rule based constraints for the construction of genetic devices. - Douglas Densmore; Joshua T. Kittleson; Lesia Bilitchenko; Adam Liu; J. Christopher Anderson (ISCAS, 2010)

Joint DAC/IWBDA special session design and synthesis of biological circuits. - Douglas Densmore; Mark Horowitz; Smita Krishnaswamy; Xiling Shen; Adam P. Arkin; Erik Winfree; Chris Voigt (DAC, 2011)

Experimentally driven verification of synthetic biological circuits. - Boyan Yordanov; Evan Appleton; Rishi Ganguly; Ebru Aydin Gol; Swati Banerjee Carr; Swapnil Bhatia; Traci Haddock; Calin Belta; Douglas Densmore (DATE, 2012)

Guest Editors' Introduction: Synthetic Biology. - Douglas Densmore; Soha Hassoun (IEEE Des. Test Comput., 2012)

Design Automation for Synthetic Biological Systems. - Douglas Densmore; Soha Hassoun (IEEE Des. Test Comput., 2012)

MoClo planner: Interactive visualization for Modular Cloning bio-design. - Orit Shaer; Consuelo Valdes; Sirui Liu 002; Kara Lu; Traci Haddock; Swapnil Bhatia; Douglas Densmore; Robert Kincaid (BioVis, 2013)

Data-driven verification of synthetic gene networks. - Ebru Aydin Gol; Douglas Densmore; Calin Belta (CDC, 2013)

metroII: A design environment for cyber-physical systems. - Abhijit Davare; Douglas Densmore; Liangpeng Guo; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli; Alena Simalatsar; Qi Zhu 002 (ACM Trans. Embed. Comput. Syst., 2013)

Fluigi: Microfluidic Device Synthesis for Synthetic Biology. - Haiyao Huang; Douglas Densmore (ACM J. Emerg. Technol. Comput. Syst., 2014)

A Rule-Based Design Specification Language for Synthetic Biology. - Ernst Oberortner; Swapnil Bhatia; Erik Lindgren; Douglas Densmore (ACM J. Emerg. Technol. Comput. Syst., 2014)

Designing reality-based interfaces for experiential bio-design. - Orit Shaer; Consuelo Valdes; Sirui Liu 002; Kara Lu; Kimberly Chang; Wendy Xu; Traci Haddock; Swapnil Bhatia; Douglas Densmore; Robert Kincaid (Pers. Ubiquitous Comput., 2014)

A Framework for Genetic Logic Synthesis. - Prashant Vaidyanathan; Bryan S. Der; Swapnil Bhatia; Nicholas Roehner; Ryan Silva; Christopher A. Voigt; Douglas Densmore (Proc. IEEE, 2015)

Grid-based temporal logic inference. - Prashant Vaidyanathan; Rachael Ivison; Giuseppe Bombara; Nicholas A. DeLateur; Ron Weiss; Douglas Densmore; Calin Belta (CDC, 2017)

Metrics for Signal Temporal Logic Formulae. - Curtis Madsen; Prashant Vaidyanathan; Sadra Sadraddini; Cristian Ioan Vasile; Nicholas A. DeLateur; Ron Weiss; Douglas Densmore; Calin Belta (CDC, 2018)

ParchMint: A Microfluidics Benchmark Suite. - Brian Crites; Radhakrishna Sanka; Joshua Lippai; Jeffrey McDaniel; Philip Brisk; Douglas Densmore (IISWC, 2018)

An adaptive neural-fuzzy approach for microfluidic droplet size prediction. - Ali Lashkaripour; Masoud Goharimanesh; Ali Abouei Mehrizi; Douglas Densmore (Microelectron. J., 2018)

Specification, Integration, and Benchmarking of Continuous Flow Microfluidic Devices: Invited Paper. - Radhakrishna Sanka; Brian Crites; Jeffrey McDaniel; Philip Brisk; Douglas Densmore (ICCAD, 2019)

Design of Asynchronous Genetic Circuits. - Tramy Nguyen; Timothy S. Jones; Pedro Fontanarrosa; Jeanet V. Mante; Zach Zundel; Douglas Densmore; Chris J. Myers (Proc. IEEE, 2019)

Introduction to the Special Issue on BioFoundries and Cloud Laboratories. - Douglas Densmore; Nathan J. Hillson; Eric Klavins; Chris J. Myers; Jean Peccoud; Giovanni Stracquadanio (ACM J. Emerg. Technol. Comput. Syst., 2023)

ICOR: improving codon optimization with recurrent neural networks. - Rishab Jain; Aditya Jain; Elizabeth Mauro; Kevin LeShane; Douglas Densmore (BMC Bioinform., 2023)

Ten simple rules for managing laboratory information. - 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; et al. (PLoS Comput. Biol., 2023)

17.7 Droplet Microfluidics Co-Designed with Real-Time CMOS Luminescence Sensing and Impedance Spectroscopy of 4nL Droplets at a 67mm/s Velocity. - Qijun Liu; Diana Arguijo Mendoza; Alperen Yasar; Dilara Caygara; Aya Kassem; Douglas Densmore; Rabia Tugce Yazicigil (ISSCC, 2024)

Integrated Real-Time CMOS Luminescence Sensing and Impedance Spectroscopy in Droplet Microfluidics. - Qijun Liu; Diana Arguijo Mendoza; Alperen Yasar; Dilara Caygara; Aya Kassem; Douglas Densmore; Rabia Tugce Yazicigil (IEEE Trans. Biomed. Circuits Syst., 2024)

Vespa: Logic-Level Constraint-Based Validation for Continuous-Flow Microfluidic Devices. - Yangruirui Zhou; Samuel M. D. Oliveira; Radhakrishna Sanka; David McIntyre; Douglas Densmore (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)