Synthesizing Stochasticity in Biochemical Systems. - Brian Fett; Jehoshua Bruck; Marc D. Riedel (DAC, 2007)

The analysis of cyclic circuits with Boolean satisfiability. - John D. Backes; Brian Fett; Marc D. Riedel (ICCAD, 2008)

Module locking in biochemical synthesis. - Brian Fett; Marc D. Riedel (ICCAD, 2008)

Synthesizing sequential register-based computation with biochemistry. - Adam Shea; Marc D. Riedel; Brian Fett; Keshab K. Parhi (ICCAD, 2009)

Writing and Compiling Code into Biochemistry. - Adam Shea; Brian Fett; Marc D. Riedel; Keshab K. Parhi (Pacific Symposium on Biocomputing, 2010)