Timothy Porter

17 papers Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Homotopy Coherent Representations.
Symmetry
Timothy Porter, Jim Stasheff
2008 J jnl
Enriched categories and models for spaces of evolving states.
Theor. Comput. Sci.
Timothy Porter
2006 J jnl
A spatial view of information.
Theor. Comput. Sci.
Jonathan Gratus, Timothy Porter
2006 — conf
Enriched categories and models for spaces of dipaths.
Computational Structures for Modelling Space, Time and Causality
Timothy Porter
2005 J jnl
A geometry of information, I: Nerves, posets and differential forms
CoRR
Jonathan Gratus, Timothy Porter
2005 — conf
A geometry of information, I: Nerves, posets and differential forms.
Spatial Representation
Jonathan Gratus, Timothy Porter
2005 — conf
A geometry of information, II: Sorkin models, and biextensional collapses.
Spatial Representation
Jonathan Gratus, Timothy Porter
2004 J jnl
Interpreted systems and Kripke models for multiagent systems from a categorical perspective.
Theor. Comput. Sci.
Timothy Porter
2002 J jnl
Geometric Aspects of Multiagent Systems
CoRR
Timothy Porter
2002 — conf
Geometric Aspects of Multiagent Systems.
GETCO
Timothy Porter
2001 J jnl
Iterated Peiffer Pairings in the Moore Complex of a Simplicial Group.
Appl. Categorical Struct.
A. Mutlu, Timothy Porter
1998 J jnl
Freeness Conditions for 2-Crossed Modules of Commutative Algebras.
Appl. Categorical Struct.
Z. Arvasi, Timothy Porter
1997 — book
Abstract homotopy and simple homotopy theory.
Klaus Heiner Kamps, Timothy Porter
1996 J jnl
Categorical aspects of equivariant homotopy.
Appl. Categorical Struct.
Jean-Marc Cordier, Timothy Porter
1996 — book
Knots and surfaces.
N. D. Gilbert, Timothy Porter
1993 J jnl
Categorical Shape Theory as a Formal Language for Pattern Recognition?.
Ann. Math. Artif. Intell.
Timothy Porter
1988 J jnl
Pattern recognition and categorical shape theory.
Pattern Recognit. Lett.
Jean-Marc Cordier, Timothy Porter