Countries citing papers authored by Helen Treharne
Since
Specialization
Citations
This map shows the geographic impact of Helen Treharne'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 Helen Treharne with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Helen Treharne more than expected).
This network shows the impact of papers produced by Helen Treharne. 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 Helen Treharne. The network helps show where Helen Treharne may publish in the future.
Co-authorship network of co-authors of Helen Treharne
This figure shows the co-authorship network connecting the top 25 collaborators of Helen Treharne.
A scholar is included among the top collaborators of Helen Treharne 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 Helen Treharne. Helen Treharne is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
All Works
20 of 20 papers shown
1.
Schneider, Steve, et al.. (2024). Mobile CSP||B. Technische Universität Berlin – Universitätsbibliothek. 23.
Moller, Faron, et al.. (2014). Decomposing scheme plans to manage verification complexity. Cronfa (Swansea University).
10.
Moller, Faron, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, & Helen Treharne. (2013). Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B. Lecture notes in computer science. 193–208.2 indexed citations
11.
Nguyen, Hoang Nga, et al.. (2012). Combining event-based and state-based modelling for railway verification. Surrey Research Insight Open Access (The University of Surrey).7 indexed citations
12.
Derrick, John, Stefania Gnesi, Diego Latella, & Helen Treharne. (2012). Proceedings of the 9th international conference on Integrated Formal Methods.2 indexed citations
13.
Jiang, Wei, et al.. (2011). Local Binary Patterns for Printer Identification based on Texture Analysis. Surrey Research Insight Open Access (The University of Surrey).1 indexed citations
Briffa, Johann A., Chris Culnane, & Helen Treharne. (2010). Imperceptible printer dot watermarking for binary documents. Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE. 7723. 77230M–77230M.2 indexed citations
17.
Treharne, Helen, et al.. (2007). Tear and Destroy: Chain voting and destruction problems shared by Pret a Voter and Punchscan and a solution using Visual Encryption. View.1 indexed citations
Treharne, Helen, et al.. (2005). ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings. Springer eBooks.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.