Timothy Porter

According to our database, Timothy Porter authored at least 15 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of five.

2022

Homotopy Coherent Representations.

Timothy Porter, Jim Stasheff

Symmetry, 2022

2008

Enriched categories and models for spaces of evolving states.

Timothy Porter

Theor. Comput. Sci., 2008

2006

A spatial view of information.

Jonathan Gratus, Timothy Porter

Theor. Comput. Sci., 2006

Enriched categories and models for spaces of dipaths.

Timothy Porter

Proceedings of the Computational Structures for Modelling Space, Time and Causality, 20.08., 2006

2005

A geometry of information, II: Sorkin models, and biextensional collapses.

Jonathan Gratus, Timothy Porter

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

A geometry of information, I: Nerves, posets and differential forms.

Jonathan Gratus, Timothy Porter

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

2004

Interpreted systems and Kripke models for multiagent systems from a categorical perspective.

Timothy Porter

Theor. Comput. Sci., 2004

2002

Geometric Aspects of Multiagent Systems.

Timothy Porter

Proceedings of the 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, 2002

2001

Iterated Peiffer Pairings in the Moore Complex of a Simplicial Group.

A. Mutlu, Timothy Porter

Appl. Categorical Struct., 2001

1998

Freeness Conditions for 2-Crossed Modules of Commutative Algebras.

Z. Arvasi, Timothy Porter

Appl. Categorical Struct., 1998

1997

Abstract homotopy and simple homotopy theory.

Klaus Heiner Kamps, Timothy Porter

World Scientific, ISBN: 978-981-02-1602-3, 1997

1996

Categorical aspects of equivariant homotopy.

Jean-Marc Cordier, Timothy Porter

Appl. Categorical Struct., 1996

Knots and surfaces.

N. D. Gilbert, Timothy Porter

Oxford University Press, ISBN: 978-0-19-851490-9, 1996

1993

Categorical Shape Theory as a Formal Language for Pattern Recognition?.

Timothy Porter

Ann. Math. Artif. Intell., 1993

1988

Pattern recognition and categorical shape theory.

Jean-Marc Cordier, Timothy Porter

Pattern Recognit. Lett., 1988