This map shows the geographic impact of Graeme Smith'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 Graeme Smith with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Graeme Smith more than expected).
This network shows the impact of papers produced by Graeme Smith. 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 Graeme Smith. The network helps show where Graeme Smith may publish in the future.
Co-authorship network of co-authors of Graeme Smith
This figure shows the co-authorship network connecting the top 25 collaborators of Graeme Smith.
A scholar is included among the top collaborators of Graeme Smith 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 Graeme Smith. Graeme Smith is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Sanders, J. W. & Graeme Smith. (2009). Refining Emergent Properties. Electronic Notes in Theoretical Computer Science. 259. 207–223.4 indexed citations
7.
Romijn, Judi, et al.. (2006). Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Lecture Notes in Computer Science). Springer eBooks.1 indexed citations
8.
Romijn, Judi, et al.. (2005). Integrated Formal Methods - 5th International Conference, IFM 2005. Lecture notes in computer science. 3771. 1–407.3 indexed citations
9.
Romijn, Judi, Graeme Smith, & Jaco van de Pol. (2005). Proceedings of the 5th international conference on Integrated Formal Methods.5 indexed citations
10.
Boiten, Eerke, John Derrick, & Graeme Smith. (2004). Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings (LECTURE NOTES IN COMPUTER SCIENCE). Springer eBooks.1 indexed citations
Smith, Graeme. (1999). Specification and refinement of a real-time control system. Queensland's institutional digital repository (The University of Queensland). 21(1). 360–371.
16.
Smith, Graeme, et al.. (1996). Representation of evidence: An approach to uncertainty handling in knowledge-based systems. NOT FOUND REPOSITORY (Indian Institute of Science Bangalore).
17.
Smith, Graeme. (1994). A Development Framework for Object-Oriented Specification and Refinement.. OpenGrey (Institut de l'Information Scientifique et Technique). 54(1). 173–183.2 indexed citations
18.
Duke, Roger, et al.. (1991). The object-Z specification language: version 1. Queensland's institutional digital repository (The University of Queensland).40 indexed citations
19.
Carrington, David & Graeme Smith. (1990). Extending Z for Object-oriented Specifications. 9.1 indexed citations
20.
Duke, David, et al.. (1989). Object-Z: An Object-Oriented Extension to Z. 281–296.59 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.