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
592018
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
542008
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
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
222021
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
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
221996
Managing plagiarism in programming assignments with blended assessment and randomisation
S Bradley
Proceedings of the 16th Koli Calling International Conference on Computing …, 2016
212016
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
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
Creative assessment in programming: diversity and divergence
S Bradley
Proceedings of the 4th Conference on Computing Education Practice, 1-4, 2020
152020
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
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
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
112001
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
102022
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
92018
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
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
bCANDLE: Formal modelling and analysis of CAN control systems
D Kendall, SP Bradley, WD Henderson, AP Robson
Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium …, 1998
81998
The system can't perform the operation now. Try again later.
Articles 1–20