Matija Pretnar

705 total citations
15 papers, 230 citations indexed

About

Matija Pretnar is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Matija Pretnar has authored 15 papers receiving a total of 230 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 6 papers in Hardware and Architecture. Recurrent topics in Matija Pretnar's work include Logic, programming, and type systems (12 papers), Formal Methods in Verification (8 papers) and Logic, Reasoning, and Knowledge (7 papers). Matija Pretnar is often cited by papers focused on Logic, programming, and type systems (12 papers), Formal Methods in Verification (8 papers) and Logic, Reasoning, and Knowledge (7 papers). Matija Pretnar collaborates with scholars based in Slovenia, United Kingdom and Belgium. Matija Pretnar's co-authors include Gordon Plotkin, Andrej Bauer, Sam Lindley, Yannick Forster, Ohad Kammar, Tom Schrijvers, Daan Leijen, Andreas Rossberg, Jeremy Yallop and Martin Hofmann and has published in prestigious journals such as Journal of Functional Programming, Electronic Notes in Theoretical Computer Science and Proceedings of the ACM on Programming Languages.

In The Last Decade

Matija Pretnar

15 papers receiving 225 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Matija Pretnar Slovenia 7 220 138 59 53 24 15 230
Lasse R. Nielsen Denmark 8 323 1.5× 186 1.3× 63 1.1× 68 1.3× 38 1.6× 18 338
Ohad Kammar United Kingdom 9 209 0.9× 119 0.9× 42 0.7× 51 1.0× 25 1.0× 14 216
Jana Dunfield Canada 9 222 1.0× 113 0.8× 72 1.2× 47 0.9× 54 2.3× 18 236
Nils Anders Danielsson Sweden 9 233 1.1× 182 1.3× 31 0.5× 32 0.6× 31 1.3× 21 252
Alberto Momigliano Italy 10 247 1.1× 158 1.1× 27 0.5× 22 0.4× 35 1.5× 37 263
Patricia Johann United States 11 334 1.5× 209 1.5× 51 0.9× 55 1.0× 57 2.4× 40 351
Robert Atkey United Kingdom 9 257 1.2× 136 1.0× 37 0.6× 44 0.8× 49 2.0× 23 270
Shin-ya Katsumata Japan 8 178 0.8× 91 0.7× 24 0.4× 39 0.7× 25 1.0× 28 192
Geoffrey Burn United Kingdom 7 179 0.8× 124 0.9× 23 0.4× 68 1.3× 41 1.7× 16 214
John Maraist United Kingdom 6 290 1.3× 178 1.3× 29 0.5× 58 1.1× 54 2.3× 12 306

Countries citing papers authored by Matija Pretnar

Since Specialization
Citations

This map shows the geographic impact of Matija Pretnar'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 Matija Pretnar with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Matija Pretnar more than expected).

Fields of papers citing papers by Matija Pretnar

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Matija Pretnar. 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 Matija Pretnar. The network helps show where Matija Pretnar may publish in the future.

Co-authorship network of co-authors of Matija Pretnar

This figure shows the co-authorship network connecting the top 25 collaborators of Matija Pretnar. A scholar is included among the top collaborators of Matija Pretnar 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 Matija Pretnar. Matija Pretnar is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

15 of 15 papers shown
1.
Ryu, Sukyoung, et al.. (2024). Bringing the WebAssembly Standard up to Speed with SpecTec. Proceedings of the ACM on Programming Languages. 8(PLDI). 1559–1584. 3 indexed citations
2.
Rossberg, Andreas, Arjun Guha, Daan Leijen, et al.. (2023). Continuing WebAssembly with Effect Handlers. Proceedings of the ACM on Programming Languages. 7(OOPSLA2). 460–485. 8 indexed citations
3.
Pretnar, Matija, et al.. (2021). Efficient compilation of algebraic effect handlers. Proceedings of the ACM on Programming Languages. 5(OOPSLA). 1–28. 5 indexed citations
4.
Pretnar, Matija, et al.. (2020). Explicit effect subtyping. Journal of Functional Programming. 30. 4 indexed citations
5.
Pretnar, Matija, et al.. (2020). Local algebraic effect theories. Journal of Functional Programming. 30. 3 indexed citations
6.
Bauer, Andrej, et al.. (2018). Design and Implementation of the Andromeda Proof Assistant. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 31. 2 indexed citations
7.
Leijen, Daan, et al.. (2018). Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 8(4). 125. 5 indexed citations
8.
Forster, Yannick, Ohad Kammar, Sam Lindley, & Matija Pretnar. (2017). On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. Proceedings of the ACM on Programming Languages. 1(ICFP). 1–29. 23 indexed citations
9.
Bauer, Andrej, Martin Hofmann, Matija Pretnar, & Jeremy Yallop. (2016). From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 2 indexed citations
10.
Pretnar, Matija. (2015). An Introduction to Algebraic Effects and Handlers. Invited tutorial paper. Electronic Notes in Theoretical Computer Science. 319. 19–35. 35 indexed citations
11.
Pretnar, Matija, et al.. (2015). A low overhead automated service for teaching programming. 132–136. 4 indexed citations
12.
Bauer, Andrej & Matija Pretnar. (2014). An Effect System for Algebraic Effects and Handlers. Logical Methods in Computer Science. Volume 10, Issue 4. 31 indexed citations
13.
Pretnar, Matija. (2014). Inferring Algebraic Effects. Logical Methods in Computer Science. Volume 10, Issue 3. 13 indexed citations
14.
Plotkin, Gordon & Matija Pretnar. (2013). Handling Algebraic Effects. Logical Methods in Computer Science. Volume 9, Issue 4. 71 indexed citations
15.
Plotkin, Gordon & Matija Pretnar. (2008). A Logic for Algebraic Effects. Edinburgh Research Explorer (University of Edinburgh). 118–129. 21 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 Lasse R. Nielsen Breakdown of academic impact, for papers by Ohad Kammar Breakdown of academic impact, for papers by Jana Dunfield Breakdown of academic impact, for papers by Nils Anders Danielsson Breakdown of academic impact, for papers by Alberto Momigliano Breakdown of academic impact, for papers by Patricia Johann Breakdown of academic impact, for papers by Robert Atkey Breakdown of academic impact, for papers by Shin-ya Katsumata Breakdown of academic impact, for papers by Geoffrey Burn Breakdown of academic impact, for papers by John Maraist
Rankless by CCL
2026