default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaul Curzon
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c74]Paul Curzon
, Jane Waite, Karl Maton:
Teaching CS with and through other forms of knowledge. WiPSCE 2024: 17:1-17:4- 2023
- [b3]Paul Curzon, Peter W. McOwan:
Conjuring with Computation - A Manual of Magic and Computing for Beginners. WorldScientific 2023, ISBN 9789811264337, pp. 1-420 - 2020
- [j34]Jane Waite, Paul Curzon, William Marsh, Sue Sentance:
Difficulties with design: The challenges of teaching design in K-5 programming. Comput. Educ. 150: 103838 (2020) - [c73]Ali Fahmi, Hamit Soyel, William Marsh, Paul Curzon, Amy MacBrayne, Frances Humby:
From Personalised Predictions to Targeted Advice: Improving Self-Management in Rheumatoid Arthritis. EFMI-STC 2020: 62-66 - [c72]Paul Curzon, Jane Waite, Karl Maton, James Donohue:
Using semantic waves to analyse the effectiveness of unplugged computing activities. WiPSCE 2020: 18:1-18:10
2010 – 2019
- 2019
- [c71]Jane Waite, Karl Maton, Paul Curzon, Lucinda Tuttiett:
Unplugged Computing and Semantic Waves: Analysing Crazy Characters. UKICER 2019: 4:1-4:7 - 2018
- [j33]Jane Lisa Waite, Paul Curzon, William Marsh, Sue Sentance, Alex Hadwen-Bennett:
Abstraction in action: K-5 teachers' uses of levels of abstraction, particularly the design level, in teaching programming. Int. J. Comput. Sci. Educ. Sch. 2(1): 14-40 (2018) - [c70]Jane Waite, Paul Curzon, William Marsh, Sue Sentance:
Comparing K-5 teachers' reported use of design in teaching programming and planning in teaching writing. WiPSCE 2018: 4:1-4:10 - 2017
- [b2]Paul Curzon, Peter W. McOwan:
The Power of Computational Thinking - Games, Magic and Puzzles to Help You Become a Computational Thinker. WorldScientific 2017, ISBN 9781786341839, pp. 1-232 - [j32]Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Trans. Hum. Mach. Syst. 47(6): 834-846 (2017) - [c69]Jane Waite, Paul Curzon, William Marsh, Sue Sentance:
K-5 Teachers' Uses of Levels of Abstraction Focusing on Design. WiPSCE 2017: 115-116 - [p4]Paul Curzon, Rimvydas Ruksenas:
Modelling the User. Handbook of Formal Methods in Human-Computer Interaction 2017: 211-245 - [p3]Michael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon:
The Specification and Analysis of Use Properties of a Nuclear Control System. Handbook of Formal Methods in Human-Computer Interaction 2017: 379-403 - 2016
- [j31]Paul Lee, Laura R. Meagher, Paul Curzon:
Impact on procurement and training by research on the interaction design of medical devices. EAI Endorsed Trans. Collab. Comput. 2(7): e2 (2016) - [j30]Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby:
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. EAI Endorsed Trans. Collab. Comput. 2(7): e3 (2016) - [j29]Michael D. Harrison, José Creissac Campos, Paolo Masci, Paul Curzon:
Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans. Creative Technol. 3(8): e1 (2016) - [j28]Harold Thimbleby, Patrick Oladimeji, Paolo Masci, Paul Curzon:
Issues in number entry user interface styles: Recommendations for mitigation. EAI Endorsed Trans. Creative Technol. 3(8): e2 (2016) - [j27]Paul Curzon, Ann Blandford, Harold Thimbleby, Anna Louise Cox:
Safer Interactive Medical Device Design: Insights from the CHI+MED Project. EAI Endorsed Trans. Security Safety 3(9): e1 (2016) - [c68]Michael D. Harrison, José Creissac Campos, Rimvydas Ruksenas, Paul Curzon:
Modelling information resources and their salience in medical device design. EICS 2016: 194-203 - [c67]Jane Waite, Paul Curzon, William Marsh, Sue Sentance:
Abstraction and common classroom activities. WiPSCE 2016: 112-113 - [p2]Rimvydas Ruksenas, Paolo Masci, Paul Curzon:
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. From Action Systems to Distributed Systems 2016: 215-230 - 2015
- [j26]Judy Wilson, Paul Curzon, Elke Duncker:
Exploring older women's confidence during route planning. Behav. Inf. Technol. 34(7): 725-740 (2015) - [j25]Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby:
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innov. Syst. Softw. Eng. 11(2): 73-93 (2015) - [j24]Paolo Masci, Paul Curzon, Dominic Furniss, Ann Blandford:
Using PVS to support the analysis of distributed cognition systems. Innov. Syst. Softw. Eng. 11(2): 113-130 (2015) - [j23]Dominic Furniss, Paolo Masci, Paul Curzon, Astrid Mayer, Ann Blandford:
Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context. J. Biomed. Informatics 53: 330-341 (2015) - [j22]Giampaolo Bella, Paul Curzon, Gabriele Lenzini:
Service security and privacy as a socio-technical problem. J. Comput. Secur. 23(5): 563-585 (2015) - [c66]Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby:
PVSio-web 2.0: Joining PVS to HCI. CAV (1) 2015: 470-478 - 2014
- [j21]Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back:
Combining human error verification and timing analysis: a case study on an infusion pump. Formal Aspects Comput. 26(5): 1033-1076 (2014) - [c65]Giampaolo Bella, Paul Curzon, Rosario Giustolisi, Gabriele Lenzini:
A Socio-technical Methodology for the Security and Privacy Analysis of Services. COMPSAC Workshops 2014: 401-406 - [c64]Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby:
Formal Verification of Medical Device User Interfaces Using PVS. FASE 2014: 200-214 - [c63]Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC 2014: 113-128 - [c62]Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby:
Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. FHIES/SEHC 2014: 214-221 - [c61]Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon:
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. MCPS 2014: 1-14 - [c60]Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby:
Combining PVSio with Stateflow. NASA Formal Methods 2014: 209-214 - [c59]Paul Curzon, Peter W. McOwan, Nicola Plant, Laura R. Meagher:
Introducing teachers to computational thinking using unplugged storytelling. WiPSCE 2014: 89-92 - 2013
- [j20]Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Automated theorem proving for the systematic analysis of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013) - [j19]Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold W. Thimbleby:
PVSio-web: a tool for rapid prototyping device user interfaces in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013) - [j18]Rimvydas Ruksenas, Paolo Masci, Michael D. Harrison, Paul Curzon:
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013) - [c58]Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby:
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS 2013: 81-90 - [c57]Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison:
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. IFM 2013: 238-252 - [c56]Jonathan Back, Jo Brodie, Paul Curzon, Chrystie Myketiak, Peter W. McOwan, Laura R. Meagher:
Making computing interesting to school students: teachers' perspectives. ITiCSE 2013: 255-260 - [c55]Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby:
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP 2013: 228-240 - [c54]Tim Bell, Daniela Marghitu, Lynn Lambert, Paul Curzon:
Computer science unplugged, robotics, and outreach activities (abstract only). SIGCSE 2013: 758 - [c53]Paul Curzon:
cs4fn and computational thinking unplugged. WiPSCE 2013: 47-50 - 2012
- [c52]Abigail Cauchi, Andy Gimblett, Harold W. Thimbleby, Paul Curzon, Paolo Masci:
Safer "5-key" number entry user interfaces using differential formal analysis. BCS HCI 2012: 29-38 - [c51]Chrystie Myketiak, Paul Curzon, Jonathan Back, Peter W. McOwan, Laura R. Meagher:
cs4fn: a flexible model for computer science outreach. ITiCSE 2012: 297-302 - [c50]Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison:
Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods 2012: 273-278 - [c49]Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford:
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. SERENE 2012: 150-164 - [c48]Jonathan Back, Paul Curzon, Chrystie Myketiak, Peter W. McOwan, Laura R. Meagher:
Teachers' perceptions of the value of research-based school lectures. WiPSCE 2012: 145-146 - 2011
- [j17]Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Louise Cox, Ann Blandford, Duncan P. Brumby:
Capturing the distinction between task and device errors in a formal model of user behaviour. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [j16]Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss:
Modelling Distributed Cognition Systems in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [j15]Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby:
On formalising interactive number entry on infusion pumps. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [j14]Rimvydas Ruksenas, Paul Curzon:
Abstract Models and Cognitive Mismatch in Formal Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [c47]Dominic Furniss, Ann Blandford, Paul Curzon:
Confessions from a grounded theory PhD: experiences and lessons learnt. CHI 2011: 113-122 - [c46]Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby:
Towards Dependable Number Entry for Medical Devices. EICS4Med 2011: 53-58 - [c45]Ann Blandford, Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Dominic Furniss, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Atish Rajkomar, Rimvydas Ruksenas, Harold Thimbleby:
Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. EICS4Med 2011: 59-64 - [c44]Paolo Masci, Paul Curzon, Huayi Huang, Rimvydas Ruksenas, Ann Blandford, Dominic Furniss, Atish Rajkomar:
Towards a formal framework for reasoning about the resilience of dynamic interactive systems. EWDC 2011: 109-110 - [c43]Tim Bell, Paul Curzon, Quintin I. Cutts, Valentina Dagiene, Bruria Haberman:
Overcoming Obstacles to CS Education by Using Non-programming Outreach Programmes. ISSEP 2011: 71-81 - [c42]Jonathan Back, Paul Curzon, Chrystie Myketiak, Peter W. McOwan:
A study in engaging female students in computer science using role models. ITiCSE 2011: 63-67 - [c41]Tim Bell, Paul Curzon, Quintin I. Cutts, Valentina Dagiene, Bruria Haberman:
Introducing students to computer science with programmes that don't emphasise programming. ITiCSE 2011: 391 - [c40]Paolo Masci, Paul Curzon:
Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. USAB 2011: 95-108
2000 – 2009
- 2009
- [j13]Antonio Cerone, Paul Curzon, David Duce:
Editorial. Formal Aspects Comput. 21(6): 511-512 (2009) - [j12]Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford:
Verification-guided modelling of salience and cognitive load. Formal Aspects Comput. 21(6): 541-569 (2009) - [c39]Paul Curzon, Peter W. McOwan, Quintin I. Cutts, Tim Bell:
Enthusing & inspiring with reusable kinaesthetic activities. ITiCSE 2009: 94-98 - [c38]Paul Curzon, Joan Peckham, Harriet G. Taylor, Amber Settle, Eric Roberts:
Computational thinking (CT): on weaving it in. ITiCSE 2009: 201-202 - 2008
- [j11]Antonio Cerone, Paul Curzon:
Formal methods for interactive systems. Innov. Syst. Softw. Eng. 4(2): 123 (2008) - [j10]Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Modelling and analysing cognitive causes of security breaches. Innov. Syst. Softw. Eng. 4(2): 143-160 (2008) - [c37]Ann Blandford, Paul Curzon, Joanne K. Hyde, George Papatzanis:
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. DSV-IS 2008: 1-14 - [c36]Paul Curzon, Peter W. McOwan:
Engaging with computer science through magic shows. ITiCSE 2008: 179-183 - [c35]Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Modelling Rational User Behaviour as Games between an Angel and a Demon. SEFM 2008: 355-364 - [p1]Dominic Furniss, Ann Blandford, Paul Curzon:
Usability Work in Professional Website Design: Insights from Practitioners' Perspectives. Maturing Usability 2008: 144-167 - [e2]Antonio Cerone, Paul Curzon:
Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, FMIS@BCS HCI 2007, Lancaster, UK, September 4, 2007. Electronic Notes in Theoretical Computer Science 208, Elsevier 2008 [contents] - 2007
- [j9]Paul Curzon, Rimvydas Ruksenas, Ann Blandford:
An approach to formal verification of human-computer interaction. Formal Aspects Comput. 19(4): 513-550 (2007) - [j8]Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford:
Providing a formal linkage between MDG and HOL. Formal Methods Syst. Des. 30(2): 83-116 (2007) - [c34]Paul Curzon, Antonio Cerone:
2nd International Workshop on Formal Methods for Interactive Systems. BCS HCI (2) 2007: 199-200 - [c33]Jonathan Back, Ann Blandford, Paul Curzon:
Slip errors and cue salience. ECCE 2007: 221-224 - [c32]Dominic Furniss, Ann Blandford, Paul Curzon:
Usability evaluation methods in practice: understanding the context in which they are embedded. ECCE 2007: 253-256 - [c31]Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back:
Combining Human Error Verification and Timing Analysis. EHCI/DS-VIS 2007: 18-35 - [c30]Georgios Papatzanis, Paul Curzon, Ann Blandford:
Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System. EHCI/DS-VIS 2007: 227-242 - [c29]Jonathan Back, Ann Blandford, Paul Curzon:
Recognising Erroneous and Exploratory Interactions. INTERACT (2) 2007: 127-140 - [c28]Paul Curzon:
Serious fun in computer science. ITiCSE 2007: 1 - [c27]Antonio Cerone, Paul Curzon:
Preface. FMIS@BCS HCI 2007: 1-3 - [c26]Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford:
Formal Modelling of Salience and Cognitive Load. FMIS@BCS HCI 2007: 57-75 - [e1]Antonio Cerone, Paul Curzon:
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, FMIS@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 183, Elsevier 2007 [contents] - 2006
- [j7]Rabeb Mizouni, Sofiène Tahar, Paul Curzon:
Hybrid verification integrating HOL theorem proving with MDG model checking. Microelectron. J. 37(11): 1200-1207 (2006) - [c25]Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford:
Formal Modelling of Cognitive Interpretation. DSV-IS 2006: 123-136 - [c24]T. C. Nicholas Graham, Paul Curzon, Gavin J. Doherty, Philippe A. Palanque, Richard Potter, Christopher Roast, Shamus P. Smith:
Usability and Computer Games: Working Group Report. DSV-IS 2006: 265-268 - [c23]Antonio Cerone, Paul Curzon:
Preface. FMIS@ICFEM 2006: 1-2 - [c22]Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Detecting Cognitive Causes of Confidentiality Leaks. FMIS@ICFEM 2006: 21-38 - 2005
- [j6]Paul Curzon, Judy Wilson, Gill Whitney:
Successful strategies of older people for finding information. Interact. Comput. 17(6): 660-671 (2005) - [c21]Veronica Davis Perkins, Richard Butterworth, Paul Curzon, Bob Fields:
A Study into the Effect of Digitisation Projects on the Management and Stability of Historic Photograph Collections. ECDL 2005: 278-289 - 2004
- [j5]Ann Blandford, Richard Butterworth, Paul Curzon:
Models of interactive systems: a case study on programmable user modelling. Int. J. Hum. Comput. Stud. 60(2): 149-200 (2004) - [c20]Paul Curzon, Ann Blandford:
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. IFM 2004: 461-480 - [c19]Paul Curzon, Suzette Keith, Judy Wilson, Gill Whitney:
Strategies for Finding Government Information by Older People. User Interfaces for All 2004: 34-41 - 2003
- [j4]Skander Kort, Sofiène Tahar, Paul Curzon:
Hierarchical formal verification using a hybrid tool. Int. J. Softw. Tools Technol. Transf. 4(3): 313-322 (2003) - 2002
- [c18]Paul Curzon, Ann Blandford:
From a Formal User Model to Design Rules. DSV-IS 2002: 1-15 - [c17]Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford:
Formally Linking MDG and HOL Based on a Verified MDG System. IFM 2002: 205-224 - 2001
- [c16]Iskander Kort, Sofiène Tahar, Paul Curzon:
Hierarchical Verification Using an MDG-HOL Hybrid Tool. CHARME 2001: 244-258 - [c15]Paul Curzon, Ann Blandford:
Detecting Multiple Classes of User Errors. EHCI 2001: 57-72 - [c14]Ann Blandford, Richard Butterworth, Paul Curzon:
PUMA Footprints: Linking Theory and Craft Skill in Usability Evaluation. INTERACT 2001: 577-584 - 2000
- [c13]V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song:
Formal hardware verification by integrating HOL and MDG. ACM Great Lakes Symposium on VLSI 2000: 23-28
1990 – 1999
- 1999
- [j3]Sofiène Tahar, Paul Curzon:
Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric. Nord. J. Comput. 6(4): 372-402 (1999) - [c12]Haiyan Xiong, Paul Curzon, Sofiène Tahar:
Importing MDG Verification Results into HOL. TPHOLs 1999: 293-310 - 1998
- [c11]Sofiène Tahar, Paul Curzon, Jianping Lu:
Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. FMCAD 1998: 433-450 - [c10]Paul Curzon, Janet Rix:
Why do students take programming modules? ITiCSE 1998: 59-63 - 1996
- [c9]Sofiène Tahar, Paul Curzon:
A Comparison of MDG and HOL for Hardware Verification. TPHOLs 1996: 415-430 - 1995
- [j2]Paul Curzon:
Tracking Design Changes with Formal Machine - Checked Proof. Comput. J. 38(2): 91-100 (1995) - [c8]Paul Curzon:
Problems encountered in the machine-assisted proof of hardware. CHARME 1995: 56-70 - [c7]Paul Curzon, Ian M. Leslie:
A case study on design for provability. ICECCS 1995: 59-62 - [c6]Paul Curzon:
Virtual Theories. TPHOLs 1995: 138-153 - 1994
- [c5]Paul Curzon:
The Formal Verification of an ATM Network. PODC 1994: 392 - [c4]Paul Curzon:
Tracking Design Changes with Formal Verification. TPHOLs 1994: 177-192 - 1993
- [j1]Paul Curzon:
Deriving Correctness Properties of Compiled Code. Formal Methods Syst. Des. 3(1/2): 83-115 (1993) - 1992
- [c3]Paul Curzon:
A Programming Logic for a Verified Structured Assembly Language. LPAR 1992: 403-408 - [c2]Paul Curzon:
Deriving Correctness Properties of Compiled Code. TPHOLs 1992: 327-346 - 1991
- [c1]Paul Curzon:
A Verified Compiler for a Structured Assembly Language. TPHOLs 1991: 253-262 - 1990
- [b1]Paul Curzon:
A structured approach to the verification of low level microcode. University of Cambridge, UK, 1990
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-23 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
