Philip J. Scott

59 papers A* 3B 6Journal 31Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Essential Design Features of Mhealth Applications That Improve Medication Adherence for People with Diabetes. MedInfo Elisavet Andrikopoulou, Philip J. Scott
2023	J	`jnl`	Automating Electronic Health Record Data Quality Assessment. J. Medical Syst. Obinwa Ozonze, Philip J. Scott, Adrian A. Hopgood
2023	—	`conf`	Barriers, Priorities and Lessons Learned in Achieving Electronic Health Records Interoperability in Low- and Middle-Income Countries: Workshop Findings. MIE Taiwo Adedeji, Haythem Nakkas, Hamish Fraser, Philip J. Scott
2022	—	`conf`	Experiences of Creating Computable Knowledge Tutorials Using HL7 Clinical Quality Language. EFMI-STC Elisavet Andrikopoulou, Philip J. Scott
2022	—	`conf`	Personal Health Records an Approach to Answer: What Works for Whom in What Circumstances? MIE Elisavet Andrikopoulou, Philip J. Scott
2022	—	`conf`	What Personal Health Records are People with Long-Term Conditions Using? HCI (37) Elisavet Andrikopoulou, Philip J. Scott
2021	B	`conf`	Polymorphic Automorphisms and the Picard Group. FSCD Pieter J. W. Hofstra, Jason Parker, Philip J. Scott
2021	J	`jnl`	Polymorphic Automorphisms and the Picard Group. CoRR Pieter J. W. Hofstra, Jason Parker, Philip J. Scott
2020	J	`jnl`	Digital health and patient safety: Technology is not a magic wand. Health Informatics J. Mark Sujan, Philip J. Scott, Kathrin M. Cresswell
2020	—	`conf`	Towards Formal Verification of Program Obfuscation. EuroS&P Workshops Weiyun Lu, Bahman Sistany, Amy P. Felty, Philip J. Scott
2019	J	`jnl`	A review of measurement practice in studies of clinical decision support systems 1998-2017. J. Am. Medical Informatics Assoc. Philip J. Scott, Angela W. Brown, Taiwo Adedeji, Jeremy C. Wyatt, Andrew Georgiou, Eric L. Eisenstein, Charles P. Friedman
2018	B	`conf`	Finiteness Spaces and Generalized Power Series. MFPS Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott
2018	B	`conf`	Isotropy of Algebraic Theories. MFPS Pieter J. W. Hofstra, Jason Parker, Philip J. Scott
2018	J	`jnl`	On geometry of interaction for polarized linear logic. Math. Struct. Comput. Sci. Masahiro Hamano, Philip J. Scott
2018	—	`conf`	Team Competencies and Educational Threshold Concepts for Clinical Information Modelling. EFMI-STC Philip J. Scott, Kai U. Heitmann
2017	J	`jnl`	A survey of secure middleware for the Internet of Things. PeerJ Comput. Sci. Paul Fremantle, Philip J. Scott
2017	J	`jnl`	A survey of secure middleware for the Internet of Things. PeerJ Prepr. Paul Fremantle, Philip J. Scott
2017	—	`conf`	Formalizing Abstract Computability: Turing Categories in Coq. LSFA Polina Vinogradova, Amy P. Felty, Philip J. Scott
2017	—	`conf`	How to Teach Health IT Evaluation: Recommendations for Health IT Evaluation Courses. GMDS 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
2016	J	`jnl`	Measuring the operational impact of digitized hospital records: a mixed methods study. BMC Medical Informatics Decis. Mak. Philip J. Scott, Paul J. Curley, Paul B. Williams, Ian P. Linehan, Steven H. Shaha
2016	—	`conf`	Theoretical Foundations for Evidence-Based Health Informatics: Why? How? MIE Philip J. Scott, Andrew Georgiou, Hannele Hyppönen, Catherine K. Craven, Michael Rigby, Jytte Brender McNair
2015	J	`jnl`	A security survey of middleware for the Internet of Things. PeerJ Prepr. Paul Fremantle, Philip J. Scott
2015	J	`jnl`	On Geometry of Interaction for Polarized Linear Logic. CoRR Masahiro Hamano, Philip J. Scott
2014	—	`ed.`	Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday Categories and Types in Logic, Language, and Physics Claudia Casadio, Bob Coecke, Michael Moortgat, Philip J. Scott
2014	—	`conf`	Federated Identity and Access Management for the Internet of Things. SIoT Paul Fremantle, Benjamin Aziz, Jacek Kopecký, Philip J. Scott
2013	—	`conf`	Presheaf Models of Quantum Computation: An Outline. Computation, Logic, Games, and Quantum Foundations Octavio Malherbe, Philip J. Scott, Peter Selinger
2012	J	`jnl`	Semantic mapping to simplify deployment of HL7 v3 Clinical Document Architecture. J. Biomed. Informatics Philip J. Scott, Robert Worden
2011	—	`conf`	How Important is Theory in Health Informatics? A Survey of UK Academics. MIE Philip J. Scott, James S. Briggs, Jeremy Wyatt, Andrew Georgiou
2011	—	`conf`	Simplifying HL7 Version 3 messages. MIE Robert Worden, Philip J. Scott
2010	J	`jnl`	Towards a typed Geometry of Interaction. Math. Struct. Comput. Sci. Esfandiar Haghverdi, Philip J. Scott
2009	—	`conf`	Developing a Theoretical Model of Clinician Information Usage Propensity. MIE Philip J. Scott, James S. Briggs
2008	B	`conf`	Proofs as Polynomials. MFPS Esfandiar Haghverdi, Philip J. Scott
2007	J	`jnl`	A categorical semantics for polarized MALL. Ann. Pure Appl. Log. Masahiro Hamano, Philip J. Scott
2007	B	`conf`	Traces, Feedback, and the Geometry of Computation (Abstract). FCT Philip J. Scott
2006	J	`jnl`	A categorical model for the geometry of interaction. Theor. Comput. Sci. Esfandiar Haghverdi, Philip J. Scott
2005	J	`jnl`	An Exactification of the Monoid of Primitive Recursive Functions. Stud Logica Joachim Lambek, Philip J. Scott
2005	J	`jnl`	Softness of hypercoherences and MALL full completeness. Ann. Pure Appl. Log. Richard Blute, Masahiro Hamano, Philip J. Scott
2005	B	`conf`	Towards a Typed Geometry of Interaction. CSL Esfandiar Haghverdi, Philip J. Scott
2004	A*	`conf`	A Categorical Model for the Geometry of Interaction. ICALP Esfandiar Haghverdi, Philip J. Scott
2004	—	`conf`	From Geometry of Interaction to Denotational Semantics. CTCS Esfandiar Haghverdi, Philip J. Scott
2004	J	`jnl`	Realizability models for BLL-like languages. Theor. Comput. Sci. Martin Hofmann, Philip J. Scott
2002	J	`jnl`	Geometry of Interaction and Linear Combinatory Algebras. Math. Struct. Comput. Sci. Samson Abramsky, Esfandiar Haghverdi, Philip J. Scott
2001	A*	`conf`	Normalization by Evaluation for Typed Lambda Calculus with Coproducts. LICS Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott
2000	J	`jnl`	Introduction. Math. Struct. Comput. Sci. Michael Barr, Philip J. Scott, Robert A. G. Seely
1998	J	`jnl`	Normalization and the Yoneda Embedding. Math. Struct. Comput. Sci. Djordje Cubric, Peter Dybjer, Philip J. Scott
1998	J	`jnl`	The Shuffle Hopf Algebra and Noncommutative Full Completeness. J. Symb. Log. Richard Blute, Philip J. Scott
1996	—	`conf`	A Noncommutative Full Completeness Theorem. Linear Logic Tokyo Meeting Richard Blute, Philip J. Scott
1996	J	`jnl`	Linear Läuchli Semantics. Ann. Pure Appl. Log. Richard Blute, Philip J. Scott
1995	J	`jnl`	A Logical View of Concurrent Constraint Programming. Nord. J. Comput. Nax Paul Mendler, Prakash Panangaden, Philip J. Scott, Robert A. G. Seely
1994	J	`jnl`	On the pi-Calculus and Linear Logic. Theor. Comput. Sci. Gianluigi Bellin, Philip J. Scott
1992	—	`conf`	A Hyperdoctrinal View of Concurrent Constraint Programming. REX Workshop Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely
1992	J	`jnl`	Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability. Theor. Comput. Sci. Jean-Yves Girard, Andre Scedrov, Philip J. Scott
1990	J	`jnl`	Functorial Polymorphism. Theor. Comput. Sci. Edwin Stewart Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott
1989	J	`jnl`	Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. Ann. Pure Appl. Log. John N. Crossley, Philip J. Scott
1988	A*	`conf`	Semantic Parametricity in Polymorphic Lambda Calculus LICS Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott
1986	J	`jnl`	Lambda-Algebras and Math. Log. Q. William S. Hatcher, Philip J. Scott
1983	J	`jnl`	New Proofs of Some Intuitionistic Principles. Math. Log. Q. Joachim Lambek, Philip J. Scott
1981	J	`jnl`	Intuitionist type theory and foundations. J. Philos. Log. Joachim Lambek, Philip J. Scott
1978	J	`jnl`	The "Dialectica" Interpretation and Categories. Math. Log. Q. Philip J. Scott