Salvatore Ruggieri
Salvatore Ruggieri publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Information Systems, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Rough Sets and Fuzzy Logic.
- World rank
- #79,348 of 1,633,909 ranked researchers
- Rank in Italy
- #2,168 of 65,712
- Works
- 42
- Citations
- 350
- Citations per work
- 8.3
What does Salvatore Ruggieri research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence15% of their works
- 2Computational Theory and Mathematics14% of their works
- 3Information Systems10% of their works
- 4Computer Networks and Communications8% of their works
- 5Cancer Research7% of their works
- 6Sociology and Political Science7% of their works
Research topics
Which keywords describe Salvatore Ruggieri's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Data Mining, Frequent Patterns, Granular Computing, Rough Sets and Satisfiability Modulo Theories.
- Software Fault Localization
- PPARs
- HIF-1
- Automated Testing
- Satisfiability Modulo Theories
- Granular Computing
- Data Mining
- Formal Verification
- Model Checking
- Static Analysis
- Frequent Patterns
- Rough Sets
- Symbolic Model Checker
- Fatty Acid Synthase
- Lipid Metabolism
- Peroxisome Proliferator-Activated Receptors
- Warburg Effect
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.
All 17 words, with their numbers
- Model Checking72 topics
- Formal Verification41 topic
- Static Analysis41 topic
- Data Mining31 topic
- Frequent Patterns31 topic
- Granular Computing31 topic
- Rough Sets31 topic
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Automated Testing21 topic
- Fatty Acid Synthase21 topic
- HIF-121 topic
- Lipid Metabolism21 topic
- PPARs21 topic
- Peroxisome Proliferator-Activated Receptors21 topic
- Software Fault Localization21 topic
- Warburg Effect21 topic
Where does Salvatore Ruggieri work?
Salvatore Ruggieri's main affiliation in the publication record is University of Pisa, Italy.
How many publications and citations does Salvatore Ruggieri have?
Science Explorer counts 42 works and 350 citations for Salvatore Ruggieri, ranking #79,348 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised 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 are in the interactive view on the map. Is this your page? Request a correction or removal.