Alessandro Cimatti: h-index, Total Citations, and Citation Map
Alessandro Cimatti's h-index is 68 (225 i10-index, 26,790+ total citations across 512+ publications) according to Google Scholar as of June 2026. Alessandro Cimatti is affiliated with Fondazione Bruno Kessler.
Alessandro Cimatti is a researcher affiliated with Fondazione Bruno Kessler, specializing in Formal Verification, Model Checking, SMT. Their work has been cited 26,790 times. This profile visualizes their global influence, highlighting strong citation networks in United States.
Alessandro Cimatti's Citation Metrics
Bibliometric impact based on 512 indexed publications.
- H-Index
- 68
- i10-Index
- 225
- Total Citations
- 26,790
- Citing Countries
- 3
As of June 2026.
Alessandro Cimatti has an h-index of 68 and 26,790 total citations across 512 publications, with research cited by institutions in 3 countries.
Download Exports (PNG, CSV, Poster)
Free Viewing Alessandro Cimatti'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 26,790 citations for Alessandro Cimatti
We've shown the most-cited 5,000. Unlock the full crawl (26,740 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.
Symbolic model checking without BDDs
19993,661
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 Alessandro Cimatti's research
Alessandro Cimatti is a researcher in Formal Verification, Model Checking and SMT at Fondazione Bruno Kessler. Their work has been cited 26,790 times across 512 publications (h-index 68), according to Google Scholar.
Their most-cited work, “Symbolic model checking without BDDs” (1999), has accumulated 3,661 citations. Other influential works include “Nusmv 2: An opensource tool for symbolic model checking” (2002) with 2,721 citations and “Bounded model checking.” (2009) with 1,908 citations.
Citations of Alessandro Cimatti's research come primarily from United States, China and Italy, reflecting international research impact. The interactive citation map above shows the full geographic distribution of the institutions citing this work.
