Peter Hines

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 3

Top Topics

School Teachers

Critical Success Factors

Categorical Data

Top Venues

Math. Struct. Comput. Sci.

Categories and Types in Logic, Language, and Physics

J. Ind. Inf. Integr.

Publications

Guilherme Luz Tortorella, Daryl Powell, Libo Liu, Moacir Godinho Filho, Jiju Antony, Peter Hines, Daniel Luiz de Mattos Nascimento
How has social media been affecting problem-solving in organizations undergoing Lean Production implementation? A multi-case study. J. Ind. Inf. Integr. 35 (2023)
Torbjørn H. Netland, Peter Hines
Teaching in Virtual Reality: Experiences from a Lean Masterclass. ELEC (2021)
Peter Hines
A diagrammatic approach to information flow in encrypted communication (extended version). CoRR (2020)
Peter Hines
Classical Structures Based on Unitaries. Categories and Types in Logic, Language, and Physics (2014)
Peter Hines
Girard's $!()$ as a reversible fixed-point operator. CoRR (2013)
Peter Hines
Types and forgetfulness in categorical linguistics and quantum mechanics CoRR (2013)
Peter Hines
A categorical analogue of the monoid semiring construction. Math. Struct. Comput. Sci. 23 (1) (2013)
Peter Hines
Quantum Speedup and Categorical Distributivity. Computation, Logic, Games, and Quantum Foundations (2013)
Susan Stepney, Viv Kendon, Peter Hines, Angelika Sebald
A Framework for Heterotic Computing QPL (2011)
Viv Kendon, Angelika Sebald, Susan Stepney, Matthias Bechmann, Peter Hines, Robert C. Wagner
Heterotic Computing. UC (2011)
Peter Hines
Quantum circuit oracles for Abstract Machine computations. Theor. Comput. Sci. 411 (11-13) (2010)
Peter Hines
Machine semantics. Theor. Comput. Sci. 409 (1) (2008)
Peter Hines
Machine Semantics - From Causality to Computational Models. Int. J. Unconv. Comput. 4 (3) (2008)
Peter Hines, Emmanuel M. Pothos, Nick Chater
A Non-Parametric Approach to Simplicity Clustering. Appl. Artif. Intell. 21 (8) (2007)
Peter Hines
Physical Systems as Constructive Logics. UC (2006)
Peter Hines
A Categorical Framework For Finite State Machines. Math. Struct. Comput. Sci. 13 (3) (2003)