Science Explorer Back to mapMap
Discussion
Researcher · Fondazione Bruno Kessler · Italy

Alessandro Cimatti

Alessandro Cimatti publishes mostly in Computational Theory and Mathematics, Software and Artificial Intelligence, on topics such as Formal Methods in Verification, Model-Driven Software Engineering Techniques and Software Testing and Debugging Techniques.

ORCID 0000-0002-1315-6990 OpenAlex
World rank
#244,512
of 7,710,434 ranked researchers
Rank in Italy
#5,828
of 242,206
Works
392
Citations
17k
Citations per work
42.1
h-index
56
i10-index 184Top 0.6% in Computational Theory and Mathematics
Alessandro Cimatti

What does Alessandro Cimatti research?

Alessandro Cimatti's work is mostly in Computer Science (83%), Engineering (3%).

Physical Sciences: 335 works · 85.4% of their workComputer Science: 325 works · 82.8% of their workComputational Theory and Mathematics: 111 works · 28.3% of their workSoftware: 90 works · 22.9% of their workArtificial Intelligence: 87 works · 22.3% of their workHardware and Architecture: 20 works · 5.0% of their workComputer Networks and Communications: 17 works · 4.3% of their workEngineering: 10 works · 2.6% of their workSafety, Risk, Reliability and Quality: 10 works · 2.6% of their workEverything else: 57 works · 14.6% of their workTHEIR WORKAlessandroCimatti392works
Physical Sciences85%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science32582.8%
    2. Engineering102.6%
  2. Everything else5714.6%
  1. 1Computational Theory and Mathematics28% of their works
  2. 2Software23% of their works
  3. 3Artificial Intelligence22% of their works
  4. 4Hardware and Architecture5% of their works
  5. 5Computer Networks and Communications4% of their works
  6. 6Safety, Risk, Reliability and Quality3% of their works

Research topics

Which keywords describe Alessandro Cimatti's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Domain-Specific Languages, Model-Driven Engineering, Automated Testing and Software Fault Localization.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking4013 topics
  2. Temporal Logic3212 topics
  3. Satisfiability Modulo Theories2721 topic
  4. Symbolic Model Checker2721 topic
  5. Domain-Specific Languages921 topic
  6. Model-Driven Engineering921 topic
  7. Automated Testing851 topic
  8. Software Fault Localization851 topic
  9. Formal Verification801 topic
  10. Static Analysis801 topic
  11. Architecture-Based Approach711 topic
  12. Software Reliability Modeling711 topic
  13. Answer Set Programming491 topic
  14. Modal Logic491 topic
  15. Heuristic Search421 topic
  16. Planning Systems421 topic
  17. Autonomic Computing371 topic
  18. Self-Adaptive Systems371 topic

Where does Alessandro Cimatti work?

Alessandro Cimatti's main affiliation in the publication record is Fondazione Bruno Kessler, Italy.

How many publications and citations does Alessandro Cimatti have?

OpenAlex counts 392 works and 16,519 citations for Alessandro Cimatti, an h-index of 56, ranking #244,512 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Alessandro Cimatti. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.