School of Computer Science & Engineering

  1. Published

    Categorical language and hierarchical models for cell systems.

    Porter, T., Brown, R., Paton, R., Bolouri, H. (ed.) & Parish, J. H. (ed.), 1 Jan 2004, Computation in Cells and Tissues: Perspectives and Tools of Thought. 2004 ed. Springer, p. 209-304

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. Published

    Category theory: an abstract setting for analogy and comparison.

    Porter, T., Brown, R. & Sica, G. (ed.), 1 Jan 2006, What Is Category Theory?. 2006 ed. Unknown, p. 257-274

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Published

    Formal homotopy quantum field theories, I: Formal maps and crossed $\mathcal{C}$-algebras

    Porter, T. & Turaev, V., 1 Jan 2008, In: Journal of Homotopy and Related Structures. 3, 1, p. 113-159

    Research output: Contribution to journalArticlepeer-review

  4. Published

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

    Porter, T., 1 Sept 2004, In: Theoretical Computer Science. 323, 1-3, p. 235 - 266

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Formal Homotopy Quantum Field Theories II: Simplicial Formal Maps.

    Porter, T., Davydov, A. (ed.), Batanin, M. (ed.), Johnson, M. (ed.), Lack, S. (ed.) & Neeman, A. (ed.), 1 Jan 2007, Categories in Algebra: Geometry and Mathematical Physics. 2007 ed. American Mathematical Society, p. 375-396

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Published

    Geometric Aspects of Multiagent Systems.

    Porter, T., 1 Aug 2003, In: Electronic Notes in Theoretical Computer Science. 81, p. 73-98

    Research output: Contribution to journalArticlepeer-review

  7. Published

    A new haemostatic device utilising a novel transmission structure for delivery of adrenaline and microwave energy at 5.8 GHz

    Preston, S., White, M., Saunders, B., Tsiamoulos, Z. & Hancock, C., 2016, 2016 46th European Microwave Conference (EuMC). IEEE Advancing Technology for Humanity, p. 910-913

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  8. Published

    Reflecting on one, two, three, infinity.

    Priest, A., Rees, P., Pierce, I. & Spencer, P. S., 1 Apr 2001.

    Research output: Contribution to conferencePaper

  9. Published

    Visual Analytics of Microblog Data for Pandemic and Crisis Analysis

    Pritchard, I. C., Walker, R. & Roberts, J. C., 2012, International Workshop on Visual Analytics (2012) - EuroVA: EuroVA 2012. Matkovic, K. & Santucci, G. (eds.). The Eurographics Association, 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  10. Published

    Optimal operating conditions for external cavity semiconductor laser optical chaos communication system

    Priyadarshi, S., Pierce, I., Hong, Y. & Shore, K. A., 1 Sept 2012, In: Semiconductor Science and Technology. 27, 9, p. 094002

    Research output: Contribution to journalArticlepeer-review