Philip J. Scott

Publication Activity (10 Years)

Years Active: 1978-2023
Publications (10 Years): 19

Top Topics

Rfid Middleware

Electronic Health Records

Clinical Decision Support Systems

Top Venues

Publications

Taiwo Adedeji, Haythem Nakkas, Hamish Fraser, Philip J. Scott
Barriers, Priorities and Lessons Learned in Achieving Electronic Health Records Interoperability in Low- and Middle-Income Countries: Workshop Findings. MIE (2023)
Obinwa Ozonze, Philip J. Scott, Adrian A. Hopgood
Automating Electronic Health Record Data Quality Assessment. J. Medical Syst. 47 (1) (2023)
Elisavet Andrikopoulou, Philip J. Scott
Experiences of Creating Computable Knowledge Tutorials Using HL7 Clinical Quality Language. EFMI-STC (2022)
Pieter J. W. Hofstra, Jason Parker, Philip J. Scott
Polymorphic Automorphisms and the Picard Group. CoRR (2021)
Pieter J. W. Hofstra, Jason Parker, Philip J. Scott
Polymorphic Automorphisms and the Picard Group. FSCD (2021)
Weiyun Lu, Bahman Sistany, Amy P. Felty, Philip J. Scott
Towards Formal Verification of Program Obfuscation. EuroS&P Workshops (2020)
Philip J. Scott, Angela W. Brown, Taiwo Adedeji, Jeremy C. Wyatt, Andrew Georgiou, Eric L. Eisenstein, Charles P. Friedman
A review of measurement practice in studies of clinical decision support systems 1998-2017. J. Am. Medical Informatics Assoc. 26 (10) (2019)
Masahiro Hamano, Philip J. Scott
On geometry of interaction for polarized linear logic. Math. Struct. Comput. Sci. 28 (10) (2018)
Philip J. Scott, Kai U. Heitmann
Team Competencies and Educational Threshold Concepts for Clinical Information Modelling. EFMI-STC (2018)
Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott
Finiteness Spaces and Generalized Power Series. MFPS (2018)
Pieter J. W. Hofstra, Jason Parker, Philip J. Scott
Isotropy of Algebraic Theories. MFPS (2018)
Paul Fremantle, Philip J. Scott
A survey of secure middleware for the Internet of Things. PeerJ Comput. Sci. 3 (2017)
Paul Fremantle, Philip J. Scott
A survey of secure middleware for the Internet of Things. PeerJ Prepr. 5 (2017)
Polina Vinogradova, Amy P. Felty, Philip J. Scott
Formalizing Abstract Computability: Turing Categories in Coq. LSFA (2017)
Elske Ammenwerth, Nicolet De Keizer, Jytte Brender McNair, Catherine K. Craven, Eric L. Eisenstein, Andrew Georgiou, Saif S. Khairat, Farah Magrabi, Pirkko Nykänen, Paula Otero, Michael Rigby, Philip J. Scott, Charlene R. Weir
How to Teach Health IT Evaluation: Recommendations for Health IT Evaluation Courses. GMDS (2017)
Philip J. Scott, Andrew Georgiou, Hannele Hyppönen, Catherine K. Craven, Michael Rigby, Jytte Brender McNair
Theoretical Foundations for Evidence-Based Health Informatics: Why? How? MIE (2016)
Philip J. Scott, Paul J. Curley, Paul B. Williams, Ian P. Linehan, Steven H. Shaha
Measuring the operational impact of digitized hospital records: a mixed methods study. BMC Medical Informatics Decis. Mak. 16 (2016)
Paul Fremantle, Philip J. Scott
A security survey of middleware for the Internet of Things. PeerJ Prepr. 3 (2015)
Masahiro Hamano, Philip J. Scott
On Geometry of Interaction for Polarized Linear Logic. CoRR (2015)
Paul Fremantle, Benjamin Aziz, Jacek Kopecký, Philip J. Scott
Federated Identity and Access Management for the Internet of Things. SIoT (2014)
Philip J. Scott, Robert Worden
Semantic mapping to simplify deployment of HL7 v3 Clinical Document Architecture. J. Biomed. Informatics 45 (4) (2012)
Philip J. Scott, James S. Briggs, Jeremy Wyatt, Andrew Georgiou
How Important is Theory in Health Informatics? A Survey of UK Academics. MIE (2011)
Robert Worden, Philip J. Scott
Simplifying HL7 Version 3 messages. MIE (2011)
Esfandiar Haghverdi, Philip J. Scott
Towards a typed Geometry of Interaction. Math. Struct. Comput. Sci. 20 (3) (2010)
Philip J. Scott, James S. Briggs
Developing a Theoretical Model of Clinician Information Usage Propensity. MIE (2009)
Esfandiar Haghverdi, Philip J. Scott
Proofs as Polynomials. MFPS (2008)
Masahiro Hamano, Philip J. Scott
A categorical semantics for polarized MALL. Ann. Pure Appl. Log. 145 (3) (2007)
Philip J. Scott
Traces, Feedback, and the Geometry of Computation (Abstract). FCT (2007)
Esfandiar Haghverdi, Philip J. Scott
A categorical model for the geometry of interaction. Theor. Comput. Sci. 350 (2-3) (2006)
Richard Blute, Masahiro Hamano, Philip J. Scott
Softness of hypercoherences and MALL full completeness. Ann. Pure Appl. Log. 131 (1-3) (2005)
Joachim Lambek, Philip J. Scott
An Exactification of the Monoid of Primitive Recursive Functions. Stud Logica 81 (1) (2005)
Esfandiar Haghverdi, Philip J. Scott
Towards a Typed Geometry of Interaction. CSL (2005)
Esfandiar Haghverdi, Philip J. Scott
A Categorical Model for the Geometry of Interaction. ICALP (2004)
Martin Hofmann, Philip J. Scott
Realizability models for BLL-like languages. Theor. Comput. Sci. 318 (1-2) (2004)
Esfandiar Haghverdi, Philip J. Scott
From Geometry of Interaction to Denotational Semantics. CTCS (2004)
Samson Abramsky, Esfandiar Haghverdi, Philip J. Scott
Geometry of Interaction and Linear Combinatory Algebras. Math. Struct. Comput. Sci. 12 (5) (2002)
Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott
Normalization by Evaluation for Typed Lambda Calculus with Coproducts. LICS (2001)
Michael Barr, Philip J. Scott, Robert A. G. Seely
Introduction. Math. Struct. Comput. Sci. 10 (2) (2000)
Djordje Cubric, Peter Dybjer, Philip J. Scott
Normalization and the Yoneda Embedding. Math. Struct. Comput. Sci. 8 (2) (1998)
Richard Blute, Philip J. Scott
The Shuffle Hopf Algebra and Noncommutative Full Completeness. J. Symb. Log. 63 (4) (1998)
Richard Blute, Philip J. Scott
Linear Läuchli Semantics. Ann. Pure Appl. Log. 77 (2) (1996)
Richard Blute, Philip J. Scott
A Noncommutative Full Completeness Theorem. Electron. Notes Theor. Comput. Sci. 3 (1996)
N. P. Mendler, Prakash Panangaden, Philip J. Scott, Robert A. G. Seely
A Logical View of Concurrent Constraint Programming. Nord. J. Comput. 2 (2) (1995)
Gianluigi Bellin, Philip J. Scott
On the pi-Calculus and Linear Logic. Theor. Comput. Sci. 135 (1) (1994)
Jean-Yves Girard, Andre Scedrov, Philip J. Scott
Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability. Theor. Comput. Sci. 97 (1) (1992)
Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely
A Hyperdoctrinal View of Concurrent Constraint Programming. REX Workshop (1992)
E. S. Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott
Functorial Polymorphism. Theor. Comput. Sci. 70 (1) (1990)
John N. Crossley, Philip J. Scott
Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. Ann. Pure Appl. Log. 44 (1-2) (1989)
Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott
Semantic Parametricity in Polymorphic Lambda Calculus LICS (1988)
William S. Hatcher, Philip J. Scott
-Monoids. Math. Log. Q. 32 (25-30) (1986)
Joachim Lambek, Philip J. Scott
New Proofs of Some Intuitionistic Principles. Math. Log. Q. 29 (10) (1983)
Joachim Lambek, Philip J. Scott
Intuitionist type theory and foundations. J. Philos. Log. 10 (1) (1981)
Philip J. Scott
The "Dialectica" Interpretation and Categories. Math. Log. Q. 24 (31-36) (1978)