Marta Kwiatkowska: h-index, Total Citations, and Citation Map
Marta Kwiatkowska's h-index is 82 (290 i10-index, 31,112+ total citations across 621+ publications) according to Google Scholar as of September 2026. Marta Kwiatkowska is affiliated with Professor of Computing Systems, University of Oxford.
Marta Kwiatkowska is a researcher affiliated with Professor of Computing Systems, University of Oxford, specializing in Computer Science, Automated Verification, Probabilistic/Quantitative Model Checking. Their work has been cited 31,112 times. This profile visualizes their global influence, spanning a global audience.
Marta Kwiatkowska's Citation Metrics
Bibliometric impact based on 621 indexed publications. Of these, 19 are original research articles — the rest are literature highlights, conference abstracts or theses.
- H-Index
- 82
- i10-Index
- 290
- Total Citations
- 31,112
- Citing Countries
- 0
As of September 2026.
Marta Kwiatkowska has an h-index of 82 and 31,112 total citations across 621 publications, with research cited by institutions in 0 countries.
Download Exports (PNG, CSV, Poster)
Free Viewing Marta Kwiatkowska's citation map is always free. Pay once to download poster, PNG, and CSV files for offline use or your visa packet.
Global Impact Map
Visualizing the geographic distribution of institutions that have cited your work.
Starting…
Pins will appear here as institutions are resolved — no need to refresh.
PRISM 4.0: Verification of probabilistic real-time systems
20113,707
Top Citing Countries
Top Citing Institutions
No institution data available.
Citation trend (last 10 years)Click to expand
Citation Trend (Last 10 Years)
Related Guides
Learn how to use citation maps for your research and visa applications.
About Marta Kwiatkowska's research
Marta Kwiatkowska is a researcher in Computer Science, Automated Verification and Probabilistic/Quantitative Model Checking at Professor of Computing Systems, University of Oxford. Their work has been cited 31,112 times across 621 publications (h-index 82), according to Google Scholar.
Their most-cited work, “PRISM 4.0: Verification of probabilistic real-time systems” (2011), has accumulated 3,707 citations. Other influential works include “Safety verification of deep neural networks” (2017) with 1,353 citations and “PRISM: Probabilistic symbolic model checker” (2002) with 1,031 citations.
