Kirsten Winter

25 papers and 186 indexed citations i.

About

Kirsten Winter is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, Kirsten Winter has authored 25 papers receiving a total of 186 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Computational Theory and Mathematics, 13 papers in Software and 12 papers in Artificial Intelligence. Recurrent topics in Kirsten Winter’s work include Formal Methods in Verification (15 papers), Software Reliability and Analysis Research (7 papers) and Distributed systems and fault tolerance (7 papers). Kirsten Winter is often cited by papers focused on Formal Methods in Verification (15 papers), Software Reliability and Analysis Research (7 papers) and Distributed systems and fault tolerance (7 papers). Kirsten Winter collaborates with scholars based in Australia, United Kingdom and United States. Kirsten Winter's co-authors include Lars Grunske, Robert J. Colvin, Peter Lindsay, Graeme Smith, Saad Zafar, Ian J. Hayes, David Carrington, R. Geoff Dromey, Larissa Meinicke and C. Cook and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Journal of Systems and Software.

In The Last Decade

Co-authorship network of co-authors of Kirsten Winter i

Fields of papers citing papers by Kirsten Winter

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Kirsten Winter. 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 Kirsten Winter. The network helps show where Kirsten Winter may publish in the future.

Countries citing papers authored by Kirsten Winter

Since Specialization
Citations

This map shows the geographic impact of Kirsten Winter'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 Kirsten Winter with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Kirsten Winter more than expected).

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

Rankless by CCL
2025