Steve Reeves

1.2k total citations
86 papers, 571 citations indexed

About

Steve Reeves is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Steve Reeves has authored 86 papers receiving a total of 571 indexed citations (citations by other indexed papers that have themselves been cited), including 48 papers in Artificial Intelligence, 27 papers in Software and 25 papers in Computational Theory and Mathematics. Recurrent topics in Steve Reeves's work include Advanced Software Engineering Methodologies (23 papers), Model-Driven Software Engineering Techniques (20 papers) and Formal Methods in Verification (20 papers). Steve Reeves is often cited by papers focused on Advanced Software Engineering Methodologies (23 papers), Model-Driven Software Engineering Techniques (20 papers) and Formal Methods in Verification (20 papers). Steve Reeves collaborates with scholars based in New Zealand, United Kingdom and United States. Steve Reeves's co-authors include Judy Bowen, Michael Clarke, Felipe Bravo-Márquez, Martín Ugarte, Martin C. Henson, Robi Malik, Mark Utting, Lindsay Groves, D. Bradshaw and N.O. Lotter and has published in prestigious journals such as SHILAP Revista de lepidopterología, Computers & Education and Minerals Engineering.

In The Last Decade

Steve Reeves

74 papers receiving 538 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Steve Reeves New Zealand	12	303	181	181	143	112	86	571
Manuel Carro Spain	9	222 0.7×	141 0.8×	72 0.4×	52 0.4×	151 1.3×	36	457
Augusto Sampaio Brazil	14	316 1.0×	238 1.3×	253 1.4×	255 1.8×	78 0.7×	74	607
Joshua Bloch United States	8	270 0.9×	289 1.6×	37 0.2×	145 1.0×	263 2.3×	14	646
Andrew Mickish United States	4	163 0.5×	120 0.7×	20 0.1×	94 0.7×	97 0.9×	6	474
Mario Kolberg United Kingdom	14	270 0.9×	343 1.9×	45 0.2×	105 0.7×	445 4.0×	68	757
Alin Ştefănescu Romania	10	195 0.6×	175 1.0×	102 0.6×	187 1.3×	93 0.8×	52	415
David S. Kosbie United States	5	148 0.5×	114 0.6×	16 0.1×	82 0.6×	92 0.8×	14	449
Robert Duisberg United States	7	122 0.4×	61 0.3×	19 0.1×	70 0.5×	129 1.2×	9	385
Vasco Amaral Portugal	11	156 0.5×	169 0.9×	14 0.1×	130 0.9×	67 0.6×	62	351
Klaus Schmid Germany	11	659 2.2×	639 3.5×	11 0.1×	153 1.1×	153 1.4×	71	789

Countries citing papers authored by Steve Reeves

Since Specialization

Citations

This map shows the geographic impact of Steve Reeves's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Steve Reeves with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Steve Reeves more than expected).

Fields of papers citing papers by Steve Reeves

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Steve Reeves. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Steve Reeves. The network helps show where Steve Reeves may publish in the future.

Co-authorship network of co-authors of Steve Reeves

This figure shows the co-authorship network connecting the top 25 collaborators of Steve Reeves. A scholar is included among the top collaborators of Steve Reeves based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Steve Reeves. Steve Reeves is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Botes, Vida, et al.. (2024). Blockchain technology disruptions: Exploring accounting and auditing academics and practitioners' perception. Accounting and Finance.

2.

Reeves, Steve, et al.. (2019). A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems. Research Commons (University of Waikato). 347–354. 6 indexed citations

3.

Bravo-Márquez, Felipe, Steve Reeves, & Martín Ugarte. (2019). Proof-of-Learning: A Blockchain Consensus Mechanism Based on Machine Learning Competitions. Research Commons (University of Waikato). 119–124. 63 indexed citations

4.

Reeves, Steve, et al.. (2017). Modelling safety-critical devices. 51–56. 2 indexed citations

5.

Bowen, Judy, et al.. (2013). A tale of two studies. Research Commons (University of Waikato). 96(1). 81–89. 1 indexed citations

6.

Bowen, Judy & Steve Reeves. (2013). UI-design driven model-based testing. Innovations in Systems and Software Engineering. 9(3). 201–215. 7 indexed citations

7.

Bowen, Judy & Steve Reeves. (2012). Modelling user manuals of modal medical devices and learning from the experience. 121–130. 7 indexed citations

8.

Frappier, Marc, et al.. (2010). Abstract State Machines, Alloy, B and Z. Lecture notes in computer science. 9 indexed citations

9.

Reeves, Steve, et al.. (2006). Logic and refinement for charts. 13–23. 2 indexed citations

10.

Reeves, Steve, et al.. (2005). Constructing Programs or Processes. Research Commons (University of Waikato). 3 indexed citations

11.

Deutsch, Moshe, Martin C. Henson, & Steve Reeves. (2004). Modular reasoning in Z: scrutinising monotonicity and refinement. 1 indexed citations

12.

Henson, Martin C., Steve Reeves, & Jonathan P. Bowen. (2003). Z LOGIC AND ITS CONSEQUENCES. Research Commons (University of Waikato). 22. 381–415. 7 indexed citations

13.

Henson, Martin C., Moshe Deutsch, & Steve Reeves. (2002). CSM-363 - Six theories of operation refinement for partial relation semantics. Journal of Neuroendocrinology. 12(6). 565–75. 1 indexed citations

14.

Reeves, Steve, et al.. (2002). Micro-chart based specification and refinement. Queensland's institutional digital repository (The University of Queensland). 1(1). 323–334. 2 indexed citations

15.

Reeves, Steve, et al.. (2000). µ-Charts and Z: Extending the translation. Research Commons (University of Waikato). 2 indexed citations

16.

Henson, Martin C. & Steve Reeves. (1999). Revising Z: Part I – logic and semantics. Formal Aspects of Computing. 11(4). 359–380. 11 indexed citations

17.

Fung, Pat, et al.. (1996). Computer tools to teach formal reasoning. Computers & Education. 27(1). 59–69. 6 indexed citations

18.

Reeves, Steve. (1991). Programming as constructive mathematics. Clarendon Press eBooks. 219–246.

19.

Reeves, Steve. (1989). Principled formal methods in HCI research. Formal Methods. 2 indexed citations

20.

Reeves, Steve. (1987). Semantic tableaux as a framework for automated theorem-proving. 125–139. 4 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact