Travelled to:1 × Canada
1 × Germany
1 × Ireland
1 × Israel
1 × South Africa
1 × Spain
1 × USA
2 × Finland
2 × France
3 × United Kingdom
Collaborated with:A.Blandford P.W.McOwan R.Ruksenas J.Back C.Myketiak ∅ J.Rix T.Bell Q.I.Cutts P.Masci Y.Zhang P.L.Jones H.W.Thimbleby L.R.Meagher M.D.Harrison D.Furniss V.D.Perkins R.Butterworth B.Fields H.Xiong S.Tahar V.Dagiene B.Haberman J.Peckham H.G.Taylor A.Settle E.Roberts P.Oladimeji J.Brodie
Talks about:comput (7) scienc (5) student (4) formal (4) user (4) studi (3) model (3) behaviour (2) program (2) system (2)
Person: Paul Curzon
DBLP: Curzon:Paul
Contributed to:
2015
2014
2013
20132012
2011201120092008
20082007
2005200420021998Wrote 17 papers:
- CAV-2015-MasciOZJCT #human-computer
- PVSio-web 2.0: Joining PVS to HCI (PM, PO, YZ, PLJ, PC, HWT), pp. 470–478.
- FASE-2014-MasciZJCT #user interface #using #verification
- Formal Verification of Medical Device User Interfaces Using PVS (PM, YZ, PLJ, PC, HWT), pp. 200–214.
- IFM-2013-RuksenasCH #behaviour #evaluation #interactive #predict
- Integrating Formal Predictions of Interactive System Behaviour with User Evaluation (RR, PC, MDH), pp. 238–252.
- ITiCSE-2013-BackBCMMM #education #student
- Making computing interesting to school students: teachers’ perspectives (JB, JB, PC, CM, PWM, LRM), pp. 255–260.
- ITiCSE-2012-MyketiakCBMM #flexibility #named
- cs4fn: a flexible model for computer science outreach (CM, PC, JB, PWM, LRM), pp. 297–302.
- CHI-2011-FurnissBC #case study #experience #lessons learnt
- Confessions from a grounded theory PhD: experiences and lessons learnt (DF, AB, PC), pp. 113–122.
- ITiCSE-2011-BackCMM #case study #modelling #student #using
- A study in engaging female students in computer science using role models (JB, PC, CM, PWM), pp. 63–67.
- ITiCSE-2011-BellCCDH #programming #student
- Introducing students to computer science with programmes that don’t emphasise programming (TB, PC, QIC, VD, BH), p. 391.
- ITiCSE-2009-CurzonMCB #process #reuse
- Enthusing & inspiring with reusable kinaesthetic activities (PC, PWM, QIC, TB), pp. 94–98.
- ITiCSE-2009-CurzonPTSR #weaving
- Computational thinking (CT): on weaving it in (PC, JP, HGT, AS, ER), pp. 201–202.
- ITiCSE-2008-CurzonM
- Engaging with computer science through magic shows (PC, PWM), pp. 179–183.
- SEFM-2008-RuksenasCB #behaviour #game studies #modelling
- Modelling Rational User Behaviour as Games between an Angel and a Demon (RR, PC, AB), pp. 355–364.
- ITiCSE-2007-Curzon
- Serious fun in computer science (PC), p. 1.
- ECDL-2005-Davis-PerkinsBCF #case study
- A Study into the Effect of Digitisation Projects on the Management and Stability of Historic Photograph Collections (VDP, RB, PC, BF), pp. 278–289.
- IFM-2004-CurzonB #case study #design #fault
- Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors (PC, AB), pp. 461–480.
- IFM-2002-XiongCTB
- Formally Linking MDG and HOL Based on a Verified MDG System (HX, PC, ST, AB), pp. 205–224.
- ITiCSE-1998-CurzonR #programming #question #student #why
- Why do students take programming modules? (PC, JR), pp. 59–63.