Follow
Steven Bradley
Steven Bradley
Professor of Computer Science (Teaching), Durham University UK
Verified email at durham.ac.uk
Title
Cited by
Cited by
Year
Economical crowdsourcing for camera trap image classification
PY Hsing, S Bradley, VT Kent, RA Hill, GC Smith, MJ Whittingham, J Cokill, ...
Remote Sensing in Ecology and Conservation 4 (4), 361-374, 2018
622018
Implementation of crisis resolution/home treatment teams in England: national survey 2005–2006
S Onyett, K Linde, G Glover, S Floyd, S Bradley, H Middleton
Psychiatric Bulletin 32 (10), 374-377, 2008
552008
Evidence for teaching practices that broaden participation for women in computing
BB Morrison, BA Quinn, S Bradley, K Buffardi, B Harrington, HH Hu, ...
Proceedings of the 2021 Working Group Reports on Innovation and Technology …, 2021
302021
A national survey of crisis resolution teams in England
S Onyett, K Linde, G Glover, S Floyd, S Bradley, H Middleton
London: Care Services Improvement Partnership, 2006
272006
Validation, verification and implementation of timed protocols using AORTA
S Bradley, WD Henderson, D Kendall, AP Robson
Protocol Specification, Testing and Verification XV: Proceedings of the …, 1996
231996
Managing plagiarism in programming assignments with blended assessment and randomisation
S Bradley
Proceedings of the 16th Koli Calling International Conference on Computing …, 2016
222016
Using timed automata for response time analysis of distributed real-time systems
S Bradley, W Henderson, D Kendall
IFAC Proceedings Volumes 32 (1), 209-214, 1999
221999
A formally based hard real-time kernel
S Bradley, W Henderson, D Kendall, A Robson
Microprocessors and Microsystems 18 (9), 513-521, 1994
211994
Application-oriented real-time algebra
S Bradley, W Henderson, D Kendall, A Robson
Software Engineering Journal 9 (5), 201-212, 1994
181994
Large‐scale mammal monitoring: The potential of a citizen science camera‐trapping project in the United Kingdom
PY Hsing, RA Hill, GC Smith, S Bradley, SE Green, VT Kent, SS Mason, ...
Ecological Solutions and Evidence 3 (4), e12180, 2022
172022
Creative assessment in programming: diversity and divergence
S Bradley
Proceedings of the 4th Conference on Computing Education Practice, 1-4, 2020
162020
An exploration of dropout with rnns for natural language inference
A Gajbhiye, S Jaf, NA Moubayed, AS McGough, S Bradley
Artificial Neural Networks and Machine Learning–ICANN 2018: 27th …, 2018
162018
Designing and implementing correct real-time systems
S Bradley, W Henderson, D Kendall, A Robson
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1994
151994
Studying the process of software change: An analysis of software evolution
E Burd, S Bradley, J Davey
Proceedings Seventh Working Conference on Reverse Engineering, 232-239, 2000
142000
Using model checking for pre-planning analysis
M Fox, D Long, S Bradley, J McKinna
Proceedings of the AAAI Symposium on Model-based Validation of Intelligence, 2001
122001
ExBERT: An external knowledge enhanced BERT for natural language inference
A Gajbhiye, NA Moubayed, S Bradley
Artificial Neural Networks and Machine Learning–ICANN 2021: 30th …, 2021
112021
Practical formal development of real-time systems
SP Bradley, WD Henderson, D Kendall, AP Robson
Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and …, 1994
91994
Computing Education Research in the UK & Ireland
BA Becker, S Bradley, J Maguire, M Black, T Crick, M Saqr, S Sentance, ...
Past, Present and Future of Computing Education Research: A Global …, 2023
82023
Cam: A combined attention model for natural language inference
A Gajbhiye, S Jaf, N Al Moubayed, S Bradley, AS McGough
2018 IEEE International Conference on Big Data (Big Data), 1009-1014, 2018
82018
Crisis resolution and inpatient mental health care in England
S Onyett, K Linde, G Glover, S Floyd, S Bradley, H Middleton
University of, 2007
82007
The system can't perform the operation now. Try again later.
Articles 1–20