Anna Ingólfsdóttir

2.7k total citations
120 papers, 842 citations indexed

About

Anna Ingólfsdóttir is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Anna Ingólfsdóttir has authored 120 papers receiving a total of 842 indexed citations (citations by other indexed papers that have themselves been cited), including 104 papers in Artificial Intelligence, 100 papers in Computational Theory and Mathematics and 18 papers in Software. Recurrent topics in Anna Ingólfsdóttir's work include Logic, programming, and type systems (82 papers), Formal Methods in Verification (77 papers) and Logic, Reasoning, and Knowledge (42 papers). Anna Ingólfsdóttir is often cited by papers focused on Logic, programming, and type systems (82 papers), Formal Methods in Verification (77 papers) and Logic, Reasoning, and Knowledge (42 papers). Anna Ingólfsdóttir collaborates with scholars based in Iceland, Denmark and Netherlands. Anna Ingólfsdóttir's co-authors include Luca Aceto, Wan Fokkink, Kim G. Larsen, Jiřı́ Srba, Bernhard Steffen, Matthew Hennessy, Adrian Francalanza, Zoltán Ésik, Bas Luttik and Matteo Cimini and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and Information and Computation.

In The Last Decade

Anna Ingólfsdóttir

107 papers receiving 787 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Anna Ingólfsdóttir Iceland 15 625 625 145 107 73 120 842
Pedro R. D’Argenio Argentina 14 389 0.6× 443 0.7× 244 1.7× 136 1.3× 117 1.6× 46 709
Josée Desharnais Canada 14 465 0.7× 492 0.8× 145 1.0× 141 1.3× 33 0.5× 38 757
Radha Jagadeesan United States 18 844 1.4× 682 1.1× 165 1.1× 242 2.3× 170 2.3× 45 1.1k
Joël Ouaknine United Kingdom 16 401 0.6× 622 1.0× 271 1.9× 81 0.8× 107 1.5× 84 787
Ahmed Bouajjani France 16 407 0.7× 610 1.0× 299 2.1× 202 1.9× 176 2.4× 65 811
Ernst-Rüdiger Olderog Germany 16 654 1.0× 708 1.1× 178 1.2× 213 2.0× 132 1.8× 56 959
J. W. de Bakker Netherlands 16 806 1.3× 862 1.4× 149 1.0× 196 1.8× 137 1.9× 53 1.1k
Antonı́n Kučera Czechia 15 471 0.8× 590 0.9× 183 1.3× 93 0.9× 33 0.5× 77 736
Patricia Bouyer France 17 345 0.6× 621 1.0× 258 1.8× 74 0.7× 88 1.2× 75 779
Colin Stirling United Kingdom 17 649 1.0× 718 1.1× 179 1.2× 134 1.3× 98 1.3× 29 898

Countries citing papers authored by Anna Ingólfsdóttir

Since Specialization
Citations

This map shows the geographic impact of Anna Ingólfsdóttir's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Anna Ingólfsdóttir with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Anna Ingólfsdóttir more than expected).

Fields of papers citing papers by Anna Ingólfsdóttir

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Anna Ingólfsdóttir. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Anna Ingólfsdóttir. The network helps show where Anna Ingólfsdóttir may publish in the future.

Co-authorship network of co-authors of Anna Ingólfsdóttir

This figure shows the co-authorship network connecting the top 25 collaborators of Anna Ingólfsdóttir. A scholar is included among the top collaborators of Anna Ingólfsdóttir based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Anna Ingólfsdóttir. Anna Ingólfsdóttir is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Aceto, Luca, et al.. (2021). The Best a Monitor Can Do. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 4 indexed citations
2.
Aceto, Luca, Valentina Castiglioni, Wan Fokkink, Anna Ingólfsdóttir, & Bas Luttik. (2020). Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of\n Parallel Composition?. arXiv (Cornell University). 1 indexed citations
3.
Aceto, Luca, et al.. (2019). Rule Formats for Nominal Process Calculi. SHILAP Revista de lepidopterología.
4.
Aceto, Luca, et al.. (2019). On the Axiomatizability of Priority III: The Return of Sequential Composition.. VBN Forskningsportal (Aalborg Universitet). 145–157.
5.
Aceto, Luca, et al.. (2018). When are prime formulae characteristic?. Theoretical Computer Science. 777. 3–31. 1 indexed citations
6.
Aceto, Luca, et al.. (2013). On the specification of modal systems: A comparison of three frameworks. Science of Computer Programming. 78(12). 2468–2487. 3 indexed citations
7.
Aceto, Luca, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, & Michel Reniers. (2012). Rule formats for distributivity. Theoretical Computer Science. 458. 1–28.
8.
Aceto, Luca, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, & Jaco van de Pol. (2011). On the axiomatizability of priority II. Theoretical Computer Science. 412(28). 3035–3044. 1 indexed citations
9.
Aceto, Luca, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, & Michel Reniers. (2010). Rule formats for determinism and idempotence. Science of Computer Programming. 77(7-8). 889–907. 2 indexed citations
10.
Aceto, Luca, Anna Ingólfsdóttir, Mohammad Reza Mousavi, & Michel Reniers. (2009). Algebraic properties for free. Munich Personal RePEc Archive (Ludwig Maximilian University of Munich). 99(4). 81–103. 4 indexed citations
11.
Aceto, Luca, Anna Ingólfsdóttir, Kim G. Larsen, & Jiřı́ Srba. (2007). Reactive Systems: Modelling, Specification and Verification. VBN Forskningsportal (Aalborg Universitet). 68(2). 122–6. 73 indexed citations
12.
Aceto, Luca, et al.. (2006). Bisimilarity is not finitely based over BPA with interrupt. Theoretical Computer Science. 366(1-2). 60–81. 8 indexed citations
13.
Aceto, Luca, Wan Fokkink, Rob van Glabbeek, & Anna Ingólfsdóttir. (2004). Nested semantics over finite trees are equationally hard. Information and Computation. 191(2). 203–232. 10 indexed citations
14.
Aceto, Luca, Wan Fokkink, Anna Ingólfsdóttir, & Bas Luttik. (2004). CCS with Hennessy's merge has no finite-equational axiomatization. Theoretical Computer Science. 330(3). 377–405. 15 indexed citations
15.
Ingólfsdóttir, Anna. (2003). A semantic theory for value-passing processes based on the late approach. Information and Computation. 184(1). 1–44. 4 indexed citations
16.
Aceto, Luca, Zoltán Ésik, & Anna Ingólfsdóttir. (2003). The max-plus algebra of the natural numbers has no finite equational basis. Theoretical Computer Science. 293(1). 169–188. 13 indexed citations
17.
Aceto, Luca, Wan Fokkink, & Anna Ingólfsdóttir. (1996). A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces. BRICS Report Series. 3(23). 5 indexed citations
18.
Steffen, Bernhard & Anna Ingólfsdóttir. (1994). Characteristic Formulas for Processes with Divergence. Information and Computation. 110(1). 149–163. 50 indexed citations
19.
Hennessy, Matthew & Anna Ingólfsdóttir. (1993). A Theory of Communicating Processes. VBN Forskningsportal (Aalborg Universitet). 2 indexed citations
20.
Hennessy, Matthew & Anna Ingólfsdóttir. (1993). A Theory of Communicating Processes with Value Passing. Information and Computation. 107(2). 202–236. 38 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Pedro R. D’Argenio Breakdown of academic impact, for papers by Josée Desharnais Breakdown of academic impact, for papers by Radha Jagadeesan Breakdown of academic impact, for papers by Joël Ouaknine Breakdown of academic impact, for papers by Ahmed Bouajjani Breakdown of academic impact, for papers by Ernst-Rüdiger Olderog Breakdown of academic impact, for papers by J. W. de Bakker Breakdown of academic impact, for papers by Antonı́n Kučera Breakdown of academic impact, for papers by Patricia Bouyer Breakdown of academic impact, for papers by Colin Stirling
Rankless by CCL
2026