Anna Ingólfsdóttir
Anna Ingólfsdóttir 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.
- World rank
- #966,286 of 1,633,909 ranked researchers
- Rank in Iceland
- #277 of 411
- Works
- 60
- Citations
- 93
- Citations per work
- 1.6
What does Anna Ingólfsdóttir research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence42% of their works
- 2Computational Theory and Mathematics35% of their works
- 3Software6% of their works
- 4Computer Networks and Communications3% of their works
- 5Hardware and Architecture2% of their works
- 6Sociology and Political Science2% of their works
Research topics
Which keywords describe Anna Ingólfsdóttir's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Automata, Satisfiability Modulo Theories, Symbolic Model Checker and Answer Set Programming.
- Petri Nets
- Formal Languages
- Deadlock Prevention
- Algorithmic Information Theory
- Fuzzy Logic
- Answer Set Programming
- Satisfiability Modulo Theories
- Static Analysis
- Temporal Logic
- Model Checking
- Formal Verification
- Automata
- Symbolic Model Checker
- Modal Logic
- Residuated Lattices
- Computability
- Domain-Specific Languages
- Model-Driven Engineering
- Regular Expressions
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
- Model Checking473 topics
- Temporal Logic252 topics
- Formal Verification221 topic
- Static Analysis221 topic
- Automata182 topics
- Satisfiability Modulo Theories151 topic
- Symbolic Model Checker151 topic
- Answer Set Programming101 topic
- Modal Logic101 topic
- Fuzzy Logic61 topic
- Residuated Lattices61 topic
- Algorithmic Information Theory31 topic
- Computability31 topic
- Deadlock Prevention31 topic
- Domain-Specific Languages31 topic
- Formal Languages31 topic
- Model-Driven Engineering31 topic
- Petri Nets31 topic
- Regular Expressions31 topic
Where does Anna Ingólfsdóttir work?
Anna Ingólfsdóttir's main affiliation in the publication record is Reykjavík University, Iceland.
How many publications and citations does Anna Ingólfsdóttir have?
Science Explorer counts 60 works and 93 citations for Anna Ingólfsdóttir, ranking #966,286 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.