Brian Fett

The Analysis and Mapping of Cyclic Circuits with Boolean Satisfiability

John D. Backes, Marc D. Riedel, Brian Fett, 2011 .

The analysis of cyclic circuits with Boolean satisfiability

John D. Backes, Brian Fett, Marc D. Riedel, 2008, ICCAD 2008.

Module locking in biochemical synthesis

Marc D. Riedel, Brian Fett, 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.

Synthesizing Stochasticity in Biochemical Systems

Jehoshua Bruck, Brian Fett, Marc D. Riedel, 2007, 2007 44th ACM/IEEE Design Automation Conference.

Synthesizing sequential register-based computation with biochemistry

Keshab K. Parhi, Brian Fett, Marc D. Riedel, 2009, 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers.

The analysis of cyclic circuits with Boolean satisfiability

John D. Backes, Marc D. Riedel, Brian Fett, 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.