Symmetries and transitions of bounded Turing machines - Peter M. Hines (CoRR, 1998)

A Categorical Framework For Finite State Machines. - Peter Hines (Math. Struct. Comput. Sci., 2003)

Physical Systems as Constructive Logics. - Peter Hines (UC, 2006)

A Non-Parametric Approach to Simplicity Clustering. - Peter Hines; Emmanuel M. Pothos; Nick Chater (Appl. Artif. Intell., 2007)

Machine Semantics - From Causality to Computational Models. - Peter Hines (Int. J. Unconv. Comput., 2008)

Machine semantics. - Peter Hines (Theor. Comput. Sci., 2008)

Quantum circuit oracles for Abstract Machine computations. - Peter Hines (Theor. Comput. Sci., 2010)

Heterotic Computing. - Viv Kendon; Angelika Sebald; Susan Stepney; Matthias Bechmann; Peter Hines; Robert Christian Wagner (UC, 2011)

A Framework for Heterotic Computing - Susan Stepney; Viv Kendon; Peter Hines; Angelika Sebald (QPL, 2011)

Types and forgetfulness in categorical linguistics and quantum mechanics. - Peter Hines (Quantum Physics and Linguistics, 2013)

Quantum Speedup and Categorical Distributivity. - Peter Hines (Computation, Logic, Games, and Quantum Foundations, 2013)

Identities in Modular Arithmetic from Reversible Coherence Operations. - Peter M. Hines (RC, 2013)

Girard's $!()$ as a reversible fixed-point operator. - Peter Hines (CoRR, 2013)

Types and forgetfulness in categorical linguistics and quantum mechanics - Peter Hines (CoRR, 2013)

A categorical analogue of the monoid semiring construction. - Peter Hines (Math. Struct. Comput. Sci., 2013)

Classical Structures Based on Unitaries. - Peter Hines (Categories and Types in Logic, Language, and Physics, 2014)

Information Flow in Pregroup Models of Natural Language. - Peter M. Hines (CAPNS@QI, 2018)

A Diagrammatic Approach to Information Flow in Encrypted Communication. - Peter M. Hines (GraMSec@CSF, 2020)

A diagrammatic approach to information flow in encrypted communication (extended version). - Peter Hines (CoRR, 2020)

Teaching in Virtual Reality: Experiences from a Lean Masterclass. - Torbjørn H. Netland; Peter Hines (ELEC, 2021)

Barriers and Enablers of Lean Industry 4.0. - Peter Hines; Guilherme Luz Tortorella (ELEC, 2023)

How has social media been affecting problem-solving in organizations undergoing Lean Production implementation? A multi-case study. - Guilherme Luz Tortorella; Daryl Powell; Libo Liu; Moacir Godinho Filho; Jiju Antony; Peter Hines; Daniel Luiz de Mattos Nascimento (J. Ind. Inf. Integr., 2023)

How does artificial intelligence impact employees' engagement in lean organisations? - Guilherme Luz Tortorella; Daryl Powell; Peter Hines; Alejandro Mac Cawley Vergara; Diego Alfredo Mendoza Tlapa; Roberto S. Vassolo (Int. J. Prod. Res., 2025)