| 2008 |
|---|
| 10 | EE | Timothy Porter:
Enriched categories and models for spaces of evolving states.
Theor. Comput. Sci. 405(1-2): 88-100 (2008) |
| 2006 |
|---|
| 9 | EE | Timothy Porter:
Enriched categories and models for spaces of dipaths.
Computational Structures for Modelling Space, Time and Causality 2006 |
| 8 | EE | Jonathan Gratus,
Timothy Porter:
A spatial view of information.
Theor. Comput. Sci. 365(3): 206-215 (2006) |
| 2005 |
|---|
| 7 | EE | Jonathan Gratus,
Timothy Porter:
A geometry of information, I: Nerves, posets and differential forms.
Spatial Representation 2005 |
| 6 | EE | Jonathan Gratus,
Timothy Porter:
A geometry of information, II: Sorkin models, and biextensional collapses.
Spatial Representation 2005 |
| 5 | EE | Jonathan Gratus,
Timothy Porter:
A geometry of information, I: Nerves, posets and differential forms
CoRR abs/cs/0512010: (2005) |
| 2004 |
|---|
| 4 | EE | Timothy Porter:
Interpreted systems and Kripke models for multiagent systems from a categorical perspective.
Theor. Comput. Sci. 323(1-3): 235-266 (2004) |
| 2003 |
|---|
| 3 | EE | Timothy Porter:
Geometric Aspects of Multiagent Systems.
Electr. Notes Theor. Comput. Sci. 81: (2003) |
| 2002 |
|---|
| 2 | EE | Timothy Porter:
Geometric Aspects of Multiagent Systems
CoRR cs.MA/0210023: (2002) |
| 1993 |
|---|
| 1 | | Timothy Porter:
Categorical Shape Theory as a Formal Language for Pattern Recognition?.
Ann. Math. Artif. Intell. 10(1-2): 25-54 (1993) |
