This map shows the geographic impact of Mark Reynolds'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 Mark Reynolds with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Mark Reynolds more than expected).
This network shows the impact of papers produced by Mark Reynolds. 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 Mark Reynolds. The network helps show where Mark Reynolds may publish in the future.
Co-authorship network of co-authors of Mark Reynolds
This figure shows the co-authorship network connecting the top 25 collaborators of Mark Reynolds.
A scholar is included among the top collaborators of Mark Reynolds 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 Mark Reynolds. Mark Reynolds is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Montanari, Angelo, et al.. (2016). Leviathan: a new LTL satisfiability checking tool based on a one-pass tree-shaped tableau. UWA Profiles and Research Repository (UWA). 950–956.9 indexed citations
9.
Kama, Nazri, Tim French, & Mark Reynolds. (2015). Design Patterns Consideration in Class Interactions Prediction Development.1 indexed citations
10.
Reynolds, Mark. (2014). A tableau for temporal logic over the reals. UWA Profiles and Research Repository (University of Western Australia). 439–458.2 indexed citations
11.
French, Tim, et al.. (2012). Synthesis for Temporal Logic over the Reals. UWA Profiles and Research Repository (University of Western Australia). 217–238.7 indexed citations
Liu, Wei, et al.. (2008). GEOGRAPHICAL AND TEMPORAL VISUALISATION OF SOCIAL RELATIONSHIPS. Journal of the Association for Information Systems. 243.1 indexed citations
15.
Wong, Wilson, et al.. (2007). Measuring data-driven ontology changes using text mining. UWA Profiles and Research Repository (University of Western Australia). 39–46.3 indexed citations
16.
French, Tim, Mark Reynolds, & Ron van der Meyden. (2005). Axioms for Logics of Knowledge and Past Time Synchrony and Unique Initial States. UWA Profiles and Research Repository (University of Western Australia). 53–72.8 indexed citations
17.
Reynolds, Mark & Abdul Sattar. (2003). Proceedings 10th International Symposium on Temporal Representation and Reasoning and fourth International Conference on Temporal Logic : TIME-ICTL 2003 : 8-10 July 2003, Cairns, Queensland, Australia. IEEE Computer Society Press eBooks.1 indexed citations
18.
Barringer, Howard, Dov M. Gabbay, & Mark Reynolds. (1996). An introduction to temporal logic. John Wiley & Sons, Inc. eBooks. 1–32.1 indexed citations
19.
Gabbay, Dov M., Ian Hodkinson, Mark Reynolds, & Marcelo Finger. (1994). Temporal Logic Mathematical Foundations and Computational Aspects. Oxford University Press eBooks.152 indexed citations
20.
Reynolds, Mark, et al.. (1979). A NONASSOCIATIVE ALGEBRA BIBLIOGRAPHY. (TALK). 3. 507–725.2 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.