Pattern recognition and categorical shape theory. - Jean-Marc Cordier; Timothy Porter 001 (Pattern Recognit. Lett., 1988)

Categorical Shape Theory as a Formal Language for Pattern Recognition?. - Timothy Porter 001 (Ann. Math. Artif. Intell., 1993)

Knots and surfaces. - N. D. Gilbert; Timothy Porter 001 (Oxford University Press, 1996)

Categorical aspects of equivariant homotopy. - Jean-Marc Cordier; Timothy Porter 001 (Appl. Categorical Struct., 1996)

Abstract homotopy and simple homotopy theory. - Klaus Heiner Kamps; Timothy Porter 001 (World Scientific, 1997)

Freeness Conditions for 2-Crossed Modules of Commutative Algebras. - Z. Arvasi; Timothy Porter 001 (Appl. Categorical Struct., 1998)

Iterated Peiffer Pairings in the Moore Complex of a Simplicial Group. - A. Mutlu; Timothy Porter 001 (Appl. Categorical Struct., 2001)

Geometric Aspects of Multiagent Systems. - Timothy Porter 001 (GETCO, 2002)

Interpreted systems and Kripke models for multiagent systems from a categorical perspective. - Timothy Porter 001 (Theor. Comput. Sci., 2004)

A geometry of information, I: Nerves, posets and differential forms. - Jonathan Gratus; Timothy Porter 001 (Spatial Representation, 2005)

A geometry of information, II: Sorkin models, and biextensional collapses. - Jonathan Gratus; Timothy Porter 001 (Spatial Representation, 2005)

Enriched categories and models for spaces of dipaths. - Timothy Porter 001 (Computational Structures for Modelling Space, Time and Causality, 2006)

A spatial view of information. - Jonathan Gratus; Timothy Porter 001 (Theor. Comput. Sci., 2006)

Enriched categories and models for spaces of evolving states. - Timothy Porter 001 (Theor. Comput. Sci., 2008)

Homotopy Coherent Representations. - Timothy Porter 001; Jim Stasheff (Symmetry, 2022)