Robin Houston

According to our database, Robin Houston authored at least 9 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

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

2016

Proof equivalence in MLL is PSPACE-complete.

Willem Heijltjes, Robin Houston

Log. Methods Comput. Sci., 2016

2014

Tackling the Minimal Superpermutation Problem.

Robin Houston

CoRR, 2014

No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete.

Willem Heijltjes, Robin Houston

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Linear Logic without Units

Robin Houston

CoRR, 2013

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, Siddhartha Mitra, Gowthaman Ramasamy, Haiming Wang, Adrian Tivey, Andrew Jackson, Robin Houston, Julian Parkhill, Matthew T. G. Holden, Omar S. Harb, Brian P. Brunk, Peter J. Myler, David S. Roos, Mark Carrington, Deborah F. Smith, Christiane Hertz-Fowler, Matthew Berriman

Nucleic Acids Res., 2012

Zen Puzzle Garden is NP-complete.

Robin Houston, Joseph White, Martyn Amos

Inf. Process. Lett., 2012

2010

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, Malcolm J. Gardner, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, Christiane Hertz-Fowler, Robin Houston, Frank Innamorato, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, Flora J. Logan, John A. Miller, Siddhartha Mitra, Peter J. Myler, Vishal Nayak, Cary Pennington, Isabelle Phan, Deborah F. Pinney, Gowthaman Ramasamy, Matthew B. Rogers, David S. Roos, Chris Ross, Dhileep Sivam, Deborah F. Smith, Ganesh Srinivasamoorthy, Christian J. Stoeckert Jr., Sandhya Subramanian, Ryan Thibodeau, Adrian Tivey, Charles Treatman, Giles Velarde, Haiming Wang

Nucleic Acids Res., 2010

2005

Modelling Linear Logic Without Units (Preliminary Results).

Robin Houston, Dominic J. D. Hughes, Andrea Schalk

CoRR, 2005