BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Curzon:Paul

Contributed to:

CAV 20152015
FASE 20142014
IFM 20132013
ITiCSE 20132013
ITiCSE 20122012
CHI 20112011
ITiCSE 20112011
ITiCSE 20092009
ITiCSE 20082008
SEFM 20082008
ITiCSE 20072007
ECDL 20052005
IFM 20042004
IFM 20022002
ITiCSE 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.