Tarmo Uustalu
- Artificial Intelligence top 2%
- Computational Theory and Mathematics top 1%
- Computer Networks and Communications top 10%
- Hardware and Architecture top 5%
- Mathematical Physics top 10%
- Co-authors
- Varmo VeneAndo SaabasRalph MatthesNeil GhaniJames ChapmanGilles BartheLuís PintoShin-ya Katsumata
- Topics
- Logic, programming, and type systems (68 papers)Logic, Reasoning, and Knowledge (43 papers)Formal Methods in Verification (19 papers)
- Journals
- SHILAP Revista de lepidopterologíaTheoretical Computer ScienceACM SIGPLAN Notices
- Partner nations
- EstoniaUnited KingdomIceland
In The Last Decade
Tarmo Uustalu
78 papers receiving 645 citations
Peers
Comparison fields: 5 of 39
- Artificial Intelligence 631
- Computational Theory and Mathematics 416
- Computer Networks and Communications 89
- Hardware and Architecture 82
- Mathematical Physics 72
Countries citing papers authored by Tarmo Uustalu
This map shows the geographic impact of Tarmo Uustalu'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 Tarmo Uustalu with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Tarmo Uustalu more than expected).
Fields of papers citing papers by Tarmo Uustalu
This network shows the impact of papers produced by Tarmo Uustalu. 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 Tarmo Uustalu. The network helps show where Tarmo Uustalu may publish in the future.
Co-authorship network of co-authors of Tarmo Uustalu
This figure shows the co-authorship network connecting the top 25 collaborators of Tarmo Uustalu. A scholar is included among the top collaborators of Tarmo Uustalu 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 Tarmo Uustalu. Tarmo Uustalu is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 0 | |
| 2 | 3 | |
| 3 | 0 | |
| 4 | 10 | |
| 5 | 28 | |
| 6 | 4 | |
| 7 | 8 | |
| 8 | 8 | |
| 9 | A Note on Strong Dinaturality, Initial Algebras and Uniform Parameterized Fixpoint Operators. | 1 |
| 10 | Categorical views on computations on trees | 8 |
| 11 | 11 | |
| 12 | Compositional type systems for stack-based low-level languages | 4 |
| 13 | 12 | |
| 14 | Comonadic functional attribute evaluation. | 11 |
| 15 | Normalization by Evaluation for lambda -2 . | 2 |
| 16 | 25 | |
| 17 | 18 | |
| 18 | An Alternative Characterization of Complete Iterativeness (Extended Abstract). | 1 |
| 19 | Recursion schemes from comonads | 25 |
| 20 | Mendler-style inductive types, categorically | 17 |
About Tarmo Uustalu
Tarmo Uustalu is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Mathematical Physics, having authored 85 papers that have together received 692 indexed citations. Recurring topics across this work include Logic, programming, and type systems (68 papers), Logic, Reasoning, and Knowledge (43 papers) and Formal Methods in Verification (19 papers). The work is most often cited by research in Computational Theory and Mathematics (416 citations), Artificial Intelligence (631 citations) and Software (50 citations). Tarmo Uustalu has collaborated with scholars based in Estonia, United Kingdom and Iceland. Frequent co-authors include Varmo Vene, Ando Saabas, Ralph Matthes, Neil Ghani, James Chapman, Gilles Barthe, Luís Pinto, Shin-ya Katsumata, Andreas Abel and Venanzio Capretta. Their work appears in journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and ACM SIGPLAN Notices.
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.