Steve Reeves

Cited by

	All	Since 2019
Citations	1809	423
h-index	23	11
i10-index	56	11

100

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320246 12 12 21 15 36 25 23 30 58 32 36 80 30 68 75 59 90 71 41 63 44 65 72 65 43 84 70 63 93 72 72 78 44

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Judy BowenUniversity of WaikatoVerified email at waikato.ac.nz
Richard BornatProfessor of Computer Programming, Middlesex UniversityVerified email at bornat.me.uk
Mark UttingThe University of QueenslandVerified email at uq.edu.au
Robi MalikDepartment of Software Engineering, The University of WaikatoVerified email at waikato.ac.nz
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
Jessica TurnerLecturer, University of WaikatoVerified email at waikato.ac.nz
Felipe Bravo-MarquezAssociate Professor, University of ChileVerified email at dcc.uchile.cl
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Sapna JaidkaUniversity of WaikatoVerified email at waikato.ac.nz
Douglas BridgesUniversity of CanterburyVerified email at math.canterbury.ac.nz
Eerke BoitenSchool of Computer Science and Informatics, De Montfort University, UKVerified email at dmu.ac.uk
Elvinia RiccobeneProfessore, Università di Milano, ItalyVerified email at unimi.it
Len BassCarnegie Mellon UniversityVerified email at cmu.edu
Paul RimbaData61, CSIROVerified email at data61.csiro.au
Marc FrappierUniversité de SherbrookeVerified email at usherbrooke.ca
Regine LaleauVerified email at u-pec.fr

Steve Reeves

Other namesS V Reeves, S Reeves

University of Waikato

Verified email at waikato.ac.nz

Software Engineering Formal methods Logic Theorem-proving Blockchains


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Logic for ComputerScience S Reeves	148	1990
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	116	2019
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	75	2000
Constructive mathematics in theory and programming practice D Bridges, S Reeves Philosophia Mathematica 7 (1), 65-104, 1999	56	1999
A review of several programs for the teaching of logic D Goldson, S Reeves, R Bornat The Computer Journal 36 (4), 373-386, 1993	52	1993
Conflicts and fair testing R Malik, D Streader, S Reeves International Journal of Foundations of Computer Science 17 (04), 797-813, 2006	51	2006
Formal models for user interface design artefacts J Bowen, S Reeves Innovations in Systems and Software Engineering 4, 125-141, 2008	50	2008
Semantic tableaux as a framework for automated theorem-proving S Reeves on Advances in artificial intelligence, 125-139, 1987	49	1987
Investigating Z MC Henson, S Reeves Journal of Logic and Computation 10 (1), 43-73, 2000	46	2000
Formal models for informal GUI designs J Bowen, S Reeves Electronic Notes in Theoretical Computer Science 183, 57-72, 2007	45	2007
Z Logic and its Consequences MC Henson, S Reeves, JP Bowen Computing and Informatics 22 (3-4), 381-415, 2003	44	2003
Modelling safety properties of interactive medical systems J Bowen, S Reeves Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013	40	2013
Fair testing revisited: A process-algebraic characterisation of conflicts R Malik, D Streader, S Reeves Automated Technology for Verification and Analysis: Second International …, 2004	29	2004
Revising Z: Part II–logical development MC Henson, S Reeves Formal Aspects of Computing 11, 381-401, 1999	29	1999
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	28	2015
Revising Z: Part I–logic and semantics MC Henson, S Reeves Formal Aspects of Computing 11, 359-380, 1999	27	1999
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	26	2017
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	26	2012
Refinement for user interface designs J Bowen, S Reeves Electronic Notes in Theoretical Computer Science 208, 5-22, 2008	25	2008
μ-Charts and Z: Hows, whys, and wherefores G Reeve, S Reeves International Conference on Integrated Formal Methods, 255-276, 2000	25	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors