Gene Ontology Assisted Exploratory Microarray Clustering and Its Application to Cancer. - Geoff MacIntyre; James Bailey 001; Daniel Gustafsson; Alex Boussioutas; Izhak Haviv; Adam Kowalczyk (PRIB, 2008)

Using Gene Ontology annotations in exploratory microarray clustering to understand cancer etiology. - Geoff MacIntyre; James Bailey 001; Daniel Gustafsson; Izhak Haviv; Adam Kowalczyk (Pattern Recognit. Lett., 2010)

Computation in focused intuitionistic logic. - Taus Brock-Nannestad; Nicolas Guenot; Daniel Gustafsson (PPDP, 2015)

Sequent Calculus and Equational Programming. - Nicolas Guenot; Daniel Gustafsson (LFMTP, 2015)