Modelling Linear Logic Without Units (Preliminary Results). - Robin Houston; Dominic J. D. Hughes; Andrea Schalk (CoRR, 2005)

TriTrypDB: a functional genomic resource for the Trypanosomatidae. - Martin Aslett; Cristina Aurrecoechea; Matthew Berriman; John Brestelli; Brian P. Brunk; Mark Carrington; Daniel P. Depledge; Steve Fischer; Bindu Gajria; Xin Gao 002; Malcolm J. Gardner; Alan R. Gingle; et al. (Nucleic Acids Res., 2010)

Zen Puzzle Garden is NP-complete. - Robin Houston; Joseph White; Martyn Amos (Inf. Process. Lett., 2012)

GeneDB - an annotation database for pathogens. - Flora J. Logan-Klumpler; Nishadi De Silva; Ulrike Böhme; Matthew B. Rogers; Giles Velarde; Jacqueline A. McQuillan; Tim Carver; Martin Aslett; Christian Olsen; Sandhya Subramanian; Isabelle Phan; Carol Farris; et al. (Nucleic Acids Res., 2012)

Linear Logic without Units - Robin Houston (CoRR, 2013)

No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete. - Willem Heijltjes; Robin Houston (CSL-LICS, 2014)

Tackling the Minimal Superpermutation Problem. - Robin Houston (CoRR, 2014)

Proof equivalence in MLL is PSPACE-complete. - Willem Heijltjes; Robin Houston (Log. Methods Comput. Sci., 2016)

A new formula for the determinant and bounds on its tensor and Waring ranks. - Robin Houston; Adam P. Goucher; Nathaniel Johnston (Comb. Probab. Comput., 2024)