Peter Hines

According to our database, Peter Hines authored at least 21 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 2023

2021

Teaching in Virtual Reality: Experiences from a Lean Masterclass.

Torbjørn H. Netland, Peter Hines

Proceedings of the Learning in the Digital Era - 7th European Lean Educator Conference, 2021

2020

A diagrammatic approach to information flow in encrypted communication (extended version).

Peter Hines

CoRR, 2020

A Diagrammatic Approach to Information Flow in Encrypted Communication.

Peter M. Hines

Proceedings of the Graphical Models for Security - 7th International Workshop, 2020

2018

Information Flow in Pregroup Models of Natural Language.

Peter M. Hines

Proceedings of the 2018 Workshop on Compositional Approaches in Physics, 2018

2014

Classical Structures Based on Unitaries.

Peter Hines

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2013

A categorical analogue of the monoid semiring construction.

Peter Hines

Math. Struct. Comput. Sci., 2013

Types and forgetfulness in categorical linguistics and quantum mechanics

Peter Hines

CoRR, 2013

Girard's $!()$ as a reversible fixed-point operator.

Peter Hines

CoRR, 2013

Identities in Modular Arithmetic from Reversible Coherence Operations.

Peter M. Hines

Proceedings of the Reversible Computation - 5th International Conference, 2013

Quantum Speedup and Categorical Distributivity.

Peter Hines

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

Types and forgetfulness in categorical linguistics and quantum mechanics.

Peter Hines

Proceedings of the Quantum Physics and Linguistics, 2013

2011

A Framework for Heterotic Computing

Susan Stepney, Viv Kendon, Peter Hines, Angelika Sebald

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Heterotic Computing.

Viv Kendon, Angelika Sebald, Susan Stepney, Matthias Bechmann, Peter Hines, Robert Christian Wagner

Proceedings of the Unconventional Computation - 10th International Conference, 2011

2010

Quantum circuit oracles for Abstract Machine computations.

Peter Hines

Theor. Comput. Sci., 2010

2008

Machine semantics.

Peter Hines

Theor. Comput. Sci., 2008

Machine Semantics - From Causality to Computational Models.

Peter Hines

Int. J. Unconv. Comput., 2008

2007

A Non-Parametric Approach to Simplicity Clustering.

Peter Hines, Emmanuel M. Pothos, Nick Chater

Appl. Artif. Intell., 2007

2006

Physical Systems as Constructive Logics.

Peter Hines

Proceedings of the Unconventional Computation, 5th International Conference, 2006

2003

A Categorical Framework For Finite State Machines.

Peter Hines

Math. Struct. Comput. Sci., 2003

1998

Symmetries and transitions of bounded Turing machines

Peter M. Hines

CoRR, 1998