Marta Kwiatkowska: h-index, Total Citations, and Citation Map
Marta Kwiatkowska's h-index is 82 (290 i10-index, 30,591+ total citations across 617+ publications) according to Google Scholar as of June 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 30,591 times. This profile visualizes their global influence, highlighting strong citation networks in United States.
Marta Kwiatkowska's Citation Metrics
Bibliometric impact based on 617 indexed publications.
- H-Index
- 82
- i10-Index
- 290
- Total Citations
- 30,591
- Citing Countries
- 6
As of June 2026.
Marta Kwiatkowska has an h-index of 82 and 30,591 total citations across 617 publications, with research cited by institutions in 6 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.
We've mapped 5,000 of 30,591 citations for Marta Kwiatkowska
We've shown the most-cited 5,000. Unlock the full crawl (30,541 more citations) to see every institution citing this scholar.
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
Visa Evidence Package
Views and exports tuned for EB-1A, O-1A, and EB-2 NIW petitions. Sustained acclaim, geographic reach, and independent-citation filtering are the strongest evidence categories immigration adjudicators look for.
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 30,591 times across 617 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.
Citations of Marta Kwiatkowska's research come primarily from United States, Australia and Austria, reflecting international research impact across 5+ countries. The interactive citation map above shows the full geographic distribution of the institutions citing this work.











