Science Explorer Interactive view Map
Researcher · University of Genoa · Italy

Alessandro Armando

Alessandro Armando publishes mostly in Artificial Intelligence, Information Systems and Sociology and Political Science, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and Security and Verification in Computing.

ORCID 0000-0002-5246-2157 OpenAlex
World rank
#146,648
of 1,633,909 ranked researchers
Rank in Italy
#4,279
of 65,712
Works
64
Citations
279
Citations per work
4.4

What does Alessandro Armando research?

Artificial Intelligence: 34.1%Information Systems: 14.1%Sociology and Political Science: 9.4%Computer Networks and Communications: 7.1%other fields: 35.3%34%top field
Artificial Intelligence34.1%Information Systems14.1%Sociology and Political Science9.4%Computer Networks and Communications7.1%other fields35.3%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Artificial Intelligence34% of their works
  2. 2Information Systems14% of their works
  3. 3Sociology and Political Science9% of their works
  4. 4Computer Networks and Communications7% of their works
  5. 5Management, Monitoring, Policy and Law7% of their works
  6. 6Computational Theory and Mathematics6% of their works

Research topics

Which keywords describe Alessandro Armando's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Answer Set Programming, Modal Logic, Formal Verification, Static Analysis, Reputation and Security Policies.

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 18 words, with their numbers
  1. Model Checking203 topics
  2. Temporal Logic132 topics
  3. Answer Set Programming81 topic
  4. Modal Logic81 topic
  5. Formal Verification71 topic
  6. Static Analysis71 topic
  7. Reputation61 topic
  8. Security Policies61 topic
  9. Side-Channel Attacks61 topic
  10. Trust61 topic
  11. Satisfiability Modulo Theories51 topic
  12. Symbolic Model Checker51 topic
  13. Android Malware41 topic
  14. Detection41 topic
  15. Sustainability41 topic
  16. Transferable Development Rights41 topic
  17. Authentication31 topic
  18. Key Exchange31 topic

Where does Alessandro Armando work?

Alessandro Armando's main affiliation in the publication record is University of Genoa, Italy.

How many publications and citations does Alessandro Armando have?

Science Explorer counts 64 works and 279 citations for Alessandro Armando, ranking #146,648 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.