Science Explorer Interactive view Map
Researcher · Reykjavík University · Iceland

Valentina Castiglioni

Valentina Castiglioni publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.

ORCID 0000-0002-8112-6523 OpenAlex
World rank
#1,621,434
of 1,633,909 ranked researchers
Rank in Iceland
#409
of 411
Works
15
Citations
13
Citations per work
0.9

What does Valentina Castiglioni research?

Artificial Intelligence: 40.7%Computational Theory and Mathematics: 40.7%Software: 7.4%Food Science: 3.7%other fields: 7.5%41%top field
Artificial Intelligence40.7%Computational Theory and Mathematics40.7%Software7.4%Food Science3.7%other fields7.5%

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

  1. 1Artificial Intelligence41% of their works
  2. 2Computational Theory and Mathematics41% of their works
  3. 3Software7% of their works
  4. 4Food Science4% of their works
  5. 5Infectious Diseases4% of their works
  6. 6Microbiology4% of their works

Research topics

Which keywords describe Valentina Castiglioni's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Satisfiability Modulo Theories, Static Analysis, Symbolic Model Checker, Answer Set Programming and Modal Logic.

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 19 words, with their numbers
  1. Model Checking173 topics
  2. Temporal Logic112 topics
  3. Formal Verification61 topic
  4. Satisfiability Modulo Theories61 topic
  5. Static Analysis61 topic
  6. Symbolic Model Checker61 topic
  7. Answer Set Programming51 topic
  8. Modal Logic51 topic
  9. Algorithmic Information Theory21 topic
  10. Antimicrobial Resistance22 topics
  11. Computability21 topic
  12. Fuzzy Logic21 topic
  13. Residuated Lattices21 topic
  14. Campylobacter11 topic
  15. Deadlock Prevention11 topic
  16. Mycoplasma11 topic
  17. Pasteurella11 topic
  18. Petri Nets11 topic
  19. Salmonella11 topic

Where does Valentina Castiglioni work?

Valentina Castiglioni's main affiliation in the publication record is Reykjavík University, Iceland.

How many publications and citations does Valentina Castiglioni have?

Science Explorer counts 15 works and 13 citations for Valentina Castiglioni, ranking #1,621,434 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.