default search action
Peter Hines
Person information
- affiliation: University of York, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j7]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: 100515 (2023) - [c10]Peter Hines, Guilherme Luz Tortorella:
Barriers and Enablers of Lean Industry 4.0. ELEC 2023: 37-51 - 2021
- [c9]Torbjørn H. Netland, Peter Hines:
Teaching in Virtual Reality: Experiences from a Lean Masterclass. ELEC 2021: 155-162 - 2020
- [c8]Peter M. Hines:
A Diagrammatic Approach to Information Flow in Encrypted Communication. GraMSec@CSF 2020: 166-185 - [i4]Peter Hines:
A diagrammatic approach to information flow in encrypted communication (extended version). CoRR abs/2008.05840 (2020)
2010 – 2019
- 2018
- [c7]Peter M. Hines:
Information Flow in Pregroup Models of Natural Language. CAPNS@QI 2018: 13-27 - 2014
- [c6]Peter Hines:
Classical Structures Based on Unitaries. Categories and Types in Logic, Language, and Physics 2014: 188-210 - 2013
- [j6]Peter Hines:
A categorical analogue of the monoid semiring construction. Math. Struct. Comput. Sci. 23(1): 55-94 (2013) - [c5]Peter Hines:
Quantum Speedup and Categorical Distributivity. Computation, Logic, Games, and Quantum Foundations 2013: 122-138 - [c4]Peter M. Hines:
Identities in Modular Arithmetic from Reversible Coherence Operations. RC 2013: 84-95 - [p1]Peter Hines:
Types and forgetfulness in categorical linguistics and quantum mechanics. Quantum Physics and Linguistics 2013: 217-251 - [i3]Peter Hines:
Types and forgetfulness in categorical linguistics and quantum mechanics. CoRR abs/1303.3170 (2013) - [i2]Peter Hines:
Girard's $!()$ as a reversible fixed-point operator. CoRR abs/1309.0361 (2013) - 2011
- [c3]Viv Kendon, Angelika Sebald, Susan Stepney, Matthias Bechmann, Peter Hines, Robert Christian Wagner:
Heterotic Computing. UC 2011: 113-124 - [c2]Susan Stepney, Viv Kendon, Peter Hines, Angelika Sebald:
A Framework for Heterotic Computing. QPL 2011: 263-273 - 2010
- [j5]Peter Hines:
Quantum circuit oracles for Abstract Machine computations. Theor. Comput. Sci. 411(11-13): 1501-1520 (2010)
2000 – 2009
- 2008
- [j4]Peter Hines:
Machine Semantics - From Causality to Computational Models. Int. J. Unconv. Comput. 4(3): 249-272 (2008) - [j3]Peter Hines:
Machine semantics. Theor. Comput. Sci. 409(1): 1-23 (2008) - 2007
- [j2]Peter Hines, Emmanuel M. Pothos, Nick Chater:
A Non-Parametric Approach to Simplicity Clustering. Appl. Artif. Intell. 21(8): 729-752 (2007) - 2006
- [c1]Peter Hines:
Physical Systems as Constructive Logics. UC 2006: 101-112 - 2003
- [j1]Peter Hines:
A Categorical Framework For Finite State Machines. Math. Struct. Comput. Sci. 13(3): 451-480 (2003)
1990 – 1999
- 1998
- [i1]Peter M. Hines:
Symmetries and transitions of bounded Turing machines. CoRR cs.LO/9812019 (1998)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint