Timothy Porter

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 1

Top Topics

External Representations

Top Venues

Publications

Timothy Porter, Jim Stasheff
Homotopy Coherent Representations. Symmetry 14 (3) (2022)
Timothy Porter
Enriched categories and models for spaces of evolving states. Theor. Comput. Sci. 405 (1-2) (2008)
Timothy Porter
Enriched categories and models for spaces of dipaths. Computational Structures for Modelling Space, Time and Causality (2006)
Jonathan Gratus, Timothy Porter
A spatial view of information. Theor. Comput. Sci. 365 (3) (2006)
Jonathan Gratus, Timothy Porter
A geometry of information, I: Nerves, posets and differential forms. Spatial Representation (2005)
Jonathan Gratus, Timothy Porter
A geometry of information, II: Sorkin models, and biextensional collapses. Spatial Representation (2005)
Jonathan Gratus, Timothy Porter
A geometry of information, I: Nerves, posets and differential forms CoRR (2005)
Timothy Porter
Interpreted systems and Kripke models for multiagent systems from a categorical perspective. Theor. Comput. Sci. 323 (1-3) (2004)
Timothy Porter
Geometric Aspects of Multiagent Systems. Electron. Notes Theor. Comput. Sci. 81 (2003)
Timothy Porter
Geometric Aspects of Multiagent Systems CoRR (2002)
A. Mutlu, Timothy Porter
Iterated Peiffer Pairings in the Moore Complex of a Simplicial Group. Appl. Categorical Struct. 9 (2) (2001)
Z. Arvasi, Timothy Porter
Freeness Conditions for 2-Crossed Modules of Commutative Algebras. Appl. Categorical Struct. 6 (4) (1998)
Jean-Marc Cordier, Timothy Porter
Categorical aspects of equivariant homotopy. Appl. Categorical Struct. 4 (2-3) (1996)
Timothy Porter
Categorical Shape Theory as a Formal Language for Pattern Recognition?. Ann. Math. Artif. Intell. 10 (1-2) (1993)
Jean-Marc Cordier, Timothy Porter
Pattern recognition and categorical shape theory. Pattern Recognit. Lett. 7 (2) (1988)