Spatio-temporal cell cycle analysis using 3D level set segmentation of unstained nuclei in line scan confocal fluorescence images. - Dirk Ryan Padfield; Jens Rittscher; Thomas Sebastian; Nick Thomas; Badrinath Roysam (ISBI, 2006)

Spatio-temporal cell cycle phase analysis using level sets and fast marching methods. - Dirk Ryan Padfield; Jens Rittscher; Nick Thomas; Badrinath Roysam (Medical Image Anal., 2009)

Expressive Limitations of naïve Set Theory in LP and minimally Inconsistent LP. - Nick Thomas (Rev. Symb. Log., 2014)