Philip J. Scott

According to our database, Philip J. Scott authored at least 52 papers between 1978 and 2023.

Collaborative distances:

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

2023

Automating Electronic Health Record Data Quality Assessment.

Obinwa Ozonze, Philip J. Scott, Adrian A. Hopgood

J. Medical Syst., December, 2023

Barriers, Priorities and Lessons Learned in Achieving Electronic Health Records Interoperability in Low- and Middle-Income Countries: Workshop Findings.

Taiwo Adedeji, Haythem Nakkas, Hamish Fraser, Philip J. Scott

Proceedings of the Caring is Sharing - Exploiting the Value in Data for Health and Innovation - Proceedings of MIE 2023, Gothenburg, Sweden, 22, 2023

2022

Personal Health Records an Approach to Answer: What Works for Whom in What Circumstances?

Elisavet Andrikopoulou, Philip J. Scott

Proceedings of the Challenges of Trustable AI and Added-Value on Health, 2022

What Personal Health Records are People with Long-Term Conditions Using?

Elisavet Andrikopoulou, Philip J. Scott

Proceedings of the HCI International 2022 Posters, 2022

Experiences of Creating Computable Knowledge Tutorials Using HL7 Clinical Quality Language.

Elisavet Andrikopoulou, Philip J. Scott

Proceedings of the Digital Professionalism in Health and Care: Developing the Workforce, Building the Future, 2022

2021

Polymorphic Automorphisms and the Picard Group.

Pieter J. W. Hofstra, Jason Parker, Philip J. Scott

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

Digital health and patient safety: Technology is not a magic wand.

Mark Sujan, Philip J. Scott, Kathrin M. Cresswell

Health Informatics J., 2020

Towards Formal Verification of Program Obfuscation.

Weiyun Lu, Bahman Sistany, Amy P. Felty, Philip J. Scott

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

2019

A review of measurement practice in studies of clinical decision support systems 1998-2017.

Philip J. Scott, Angela W. Brown, Taiwo Adedeji, Jeremy C. Wyatt, Andrew Georgiou, Eric L. Eisenstein, Charles P. Friedman

J. Am. Medical Informatics Assoc., 2019

2018

On geometry of interaction for polarized linear logic.

Masahiro Hamano, Philip J. Scott

Math. Struct. Comput. Sci., 2018

Isotropy of Algebraic Theories.

Pieter J. W. Hofstra, Jason Parker, Philip J. Scott

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Finiteness Spaces and Generalized Power Series.

Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Team Competencies and Educational Threshold Concepts for Clinical Information Modelling.

Philip J. Scott, Kai U. Heitmann

Proceedings of the Decision Support Systems and Education, 2018

2017

A survey of secure middleware for the Internet of Things.

Paul Fremantle, Philip J. Scott

PeerJ Comput. Sci., 2017

Formalizing Abstract Computability: Turing Categories in Coq.

Polina Vinogradova, Amy P. Felty, Philip J. Scott

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

How to Teach Health IT Evaluation: Recommendations for Health IT Evaluation Courses.

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

Proceedings of the German Medical Data Sciences: Visions and Bridges, 2017

2016

Measuring the operational impact of digitized hospital records: a mixed methods study.

Philip J. Scott, Paul J. Curley, Paul B. Williams, Ian P. Linehan, Steven H. Shaha

BMC Medical Informatics Decis. Mak., 2016

Theoretical Foundations for Evidence-Based Health Informatics: Why? How?

Philip J. Scott, Andrew Georgiou, Hannele Hyppönen, Catherine K. Craven, Michael Rigby, Jytte Brender McNair

Proceedings of the Exploring Complexity in Health: An Interdisciplinary Systems Approach - Proceedings of MIE2016 at HEC2016, Munich, Germany, 28 August, 2016

2015

A security survey of middleware for the Internet of Things.

Paul Fremantle, Philip J. Scott

PeerJ Prepr., 2015

2014

Federated Identity and Access Management for the Internet of Things.

Paul Fremantle, Benjamin Aziz, Jacek Kopecký, Philip J. Scott

Proceedings of the 2014 International Workshop on Secure Internet of Things, 2014

2013

Presheaf Models of Quantum Computation: An Outline.

Octavio Malherbe, Philip J. Scott, Peter Selinger

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

2012

Semantic mapping to simplify deployment of HL7 v3 Clinical Document Architecture.

Philip J. Scott, Robert Worden

J. Biomed. Informatics, 2012

2011

Simplifying HL7 Version 3 messages.

Robert Worden, Philip J. Scott

Proceedings of the User Centered Networked Health Care - Proceedings of MIE 2011, 2011

How Important is Theory in Health Informatics? A Survey of UK Academics.

Philip J. Scott, James S. Briggs, Jeremy Wyatt, Andrew Georgiou

Proceedings of the User Centered Networked Health Care - Proceedings of MIE 2011, 2011

2010

Towards a typed Geometry of Interaction.

Esfandiar Haghverdi, Philip J. Scott

Math. Struct. Comput. Sci., 2010

2009

Developing a Theoretical Model of Clinician Information Usage Propensity.

Philip J. Scott, James S. Briggs

Proceedings of the Medical Informatics in a United and Healthy Europe - Proceedings of MIE 2009, The XXIInd International Congress of the European Federation for Medical Informatics, Sarajevo, Bosnia and Herzegovina, August 30, 2009

2008

Proofs as Polynomials.

Esfandiar Haghverdi, Philip J. Scott

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2007

A categorical semantics for polarized MALL.

Masahiro Hamano, Philip J. Scott

Ann. Pure Appl. Log., 2007

Traces, Feedback, and the Geometry of Computation (Abstract).

Philip J. Scott

Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

2006

A categorical model for the geometry of interaction.

Esfandiar Haghverdi, Philip J. Scott

Theor. Comput. Sci., 2006

2005

An Exactification of the Monoid of Primitive Recursive Functions.

Joachim Lambek, Philip J. Scott

Stud Logica, 2005

Softness of hypercoherences and MALL full completeness.

Richard Blute, Masahiro Hamano, Philip J. Scott

Ann. Pure Appl. Log., 2005

2004

Realizability models for BLL-like languages.

Martin Hofmann, Philip J. Scott

Theor. Comput. Sci., 2004

From Geometry of Interaction to Denotational Semantics.

Esfandiar Haghverdi, Philip J. Scott

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

2002

Geometry of Interaction and Linear Combinatory Algebras.

Samson Abramsky, Esfandiar Haghverdi, Philip J. Scott

Math. Struct. Comput. Sci., 2002

2001

Normalization by Evaluation for Typed Lambda Calculus with Coproducts.

Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

2000

Introduction.

Michael Barr, Philip J. Scott, Robert A. G. Seely

Math. Struct. Comput. Sci., 2000

1998

Normalization and the Yoneda Embedding.

Djordje Cubric, Peter Dybjer, Philip J. Scott

Math. Struct. Comput. Sci., 1998

The Shuffle Hopf Algebra and Noncommutative Full Completeness.

Richard Blute, Philip J. Scott

J. Symb. Log., 1998

1996

A Noncommutative Full Completeness Theorem.

Richard Blute, Philip J. Scott

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Linear Läuchli Semantics.

Richard Blute, Philip J. Scott

Ann. Pure Appl. Log., 1996

1995

A Logical View of Concurrent Constraint Programming.

Nax Paul Mendler, Prakash Panangaden, Philip J. Scott, Robert A. G. Seely

Nord. J. Comput., 1995

1994

On the pi-Calculus and Linear Logic.

Gianluigi Bellin, Philip J. Scott

Theor. Comput. Sci., 1994

1992

Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability.

Jean-Yves Girard, Andre Scedrov, Philip J. Scott

Theor. Comput. Sci., 1992

A Hyperdoctrinal View of Concurrent Constraint Programming.

Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely

Proceedings of the Sematics: Foundations and Applications, 1992

1990

Functorial Polymorphism.

E. S. Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott

Theor. Comput. Sci., 1990

1989

Completeness Proofs for Propositional Logic with Polynomial-Time Connectives.

John N. Crossley, Philip J. Scott

Ann. Pure Appl. Log., 1989

1988

Semantic Parametricity in Polymorphic Lambda Calculus

Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1986

Lambda-Algebras and <i>C</i>-Monoids.

William S. Hatcher, Philip J. Scott

Math. Log. Q., 1986

1983

New Proofs of Some Intuitionistic Principles.

Joachim Lambek, Philip J. Scott

Math. Log. Q., 1983

1981

Intuitionist type theory and foundations.

Joachim Lambek, Philip J. Scott

J. Philos. Log., 1981

1978

The "Dialectica" Interpretation and Categories.

Philip J. Scott

Math. Log. Q., 1978