- Computational Models of Scientific Discovery and Theory Formation.
- Algorithmic specification as a technique for computing with informal biological models.
- Should I stay or should I go: Coordinating biological needs with continuously-updated assessments of the environment. (A computer model.)
- Can unrealistic computer models illuminate theoretical biology?
- Molecular computing as a link between biological and physical theory.

