Follow
Steve Reeves
Title
Cited by
Cited by
Year
Logic for ComputerScience
S Reeves
1481990
Proof-of-learning: a blockchain consensus mechanism based on machine learning competitions
F Bravo-Marquez, S Reeves, M Ugarte
2019 IEEE International Conference on Decentralized Applications and …, 2019
1172019
A survey of software development practices in the New Zealand software industry
L Groves, R Nickson, G Reeve, S Reeves, M Utting
Proceedings 2000 Australian Software Engineering Conference, 189-201, 2000
752000
Constructive mathematics in theory and programming practice
D Bridges, S Reeves
Philosophia Mathematica 7 (1), 65-104, 1999
561999
A review of several programs for the teaching of logic
D Goldson, S Reeves, R Bornat
The Computer Journal 36 (4), 373-386, 1993
521993
Conflicts and fair testing
R Malik, D Streader, S Reeves
International Journal of Foundations of Computer Science 17 (04), 797-813, 2006
512006
Formal models for user interface design artefacts
J Bowen, S Reeves
Innovations in Systems and Software Engineering 4, 125-141, 2008
502008
Semantic tableaux as a framework for automated theorem-proving
S Reeves
on Advances in artificial intelligence, 125-139, 1987
491987
Investigating Z
MC Henson, S Reeves
Journal of Logic and Computation 10 (1), 43-73, 2000
462000
Formal models for informal GUI designs
J Bowen, S Reeves
Electronic Notes in Theoretical Computer Science 183, 57-72, 2007
452007
Z Logic and its Consequences
MC Henson, S Reeves, JP Bowen
Computing and Informatics 22 (3-4), 381-415, 2003
442003
Modelling safety properties of interactive medical systems
J Bowen, S Reeves
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013
402013
Fair testing revisited: A process-algebraic characterisation of conflicts
R Malik, D Streader, S Reeves
Automated Technology for Verification and Analysis: Second International …, 2004
292004
Revising Z: Part II–logical development
MC Henson, S Reeves
Formal Aspects of Computing 11, 381-401, 1999
291999
Composing patterns to construct secure systems
P Rimba, L Zhu, L Bass, I Kuz, S Reeves
2015 11th European Dependable Computing Conference (EDCC), 213-224, 2015
282015
Revising Z: Part I–logic and semantics
MC Henson, S Reeves
Formal Aspects of Computing 11, 359-380, 1999
271999
Generating obligations, assertions and tests from UI models
J Bowen, S Reeves
Proceedings of the ACM on Human-Computer Interaction 1 (EICS), 1-18, 2017
262017
Modelling user manuals of modal medical devices and learning from the experience
J Bowen, S Reeves
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012
262012
Refinement for user interface designs
J Bowen, S Reeves
Electronic Notes in Theoretical Computer Science 208, 5-22, 2008
252008
μ-Charts and Z: Hows, whys, and wherefores
G Reeve, S Reeves
International Conference on Integrated Formal Methods, 255-276, 2000
252000
The system can't perform the operation now. Try again later.
Articles 1–20