Aleksandar Nanevski

2.0k total citations
45 papers, 928 citations indexed

About

Aleksandar Nanevski is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Aleksandar Nanevski has authored 45 papers receiving a total of 928 indexed citations (citations by other indexed papers that have themselves been cited), including 42 papers in Artificial Intelligence, 31 papers in Computational Theory and Mathematics and 13 papers in Computer Networks and Communications. Recurrent topics in Aleksandar Nanevski's work include Logic, programming, and type systems (39 papers), Formal Methods in Verification (28 papers) and Logic, Reasoning, and Knowledge (24 papers). Aleksandar Nanevski is often cited by papers focused on Logic, programming, and type systems (39 papers), Formal Methods in Verification (28 papers) and Logic, Reasoning, and Knowledge (24 papers). Aleksandar Nanevski collaborates with scholars based in Spain, United States and United Kingdom. Aleksandar Nanevski's co-authors include Greg Morrisett, Lars Birkedal, Frank Pfenning, Anindya Banerjee, Brigitte Pientka, Paul Govereau, Avraham Shinnar, Deepak Garg, Ilya Sergey and Viktor Vafeiadis and has published in prestigious journals such as British Journal of Anaesthesia, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems.

In The Last Decade

Aleksandar Nanevski

44 papers receiving 884 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Aleksandar Nanevski Spain	15	862	460	263	154	148	45	928
Yanhong A. Liu United States	16	472 0.5×	231 0.5×	245 0.9×	264 1.7×	131 0.9×	64	680
Nick Benton United Kingdom	20	990 1.1×	517 1.1×	281 1.1×	323 2.1×	153 1.0×	53	1.1k
Christine Paulin-Mohring France	9	646 0.7×	478 1.0×	131 0.5×	101 0.7×	84 0.6×	13	770
Jon Fairbairn United Kingdom	5	576 0.7×	312 0.7×	172 0.7×	222 1.4×	124 0.8×	10	708
Will Partain United Kingdom	4	596 0.7×	328 0.7×	185 0.7×	238 1.5×	127 0.9×	6	737
Francesco Zappa Nardelli France	14	582 0.7×	216 0.5×	472 1.8×	505 3.3×	142 1.0×	29	912
Amal Ahmed United States	22	1.0k 1.2×	505 1.1×	255 1.0×	206 1.3×	223 1.5×	62	1.1k
Andrew Tolmach United States	15	688 0.8×	243 0.5×	237 0.9×	360 2.3×	228 1.5×	35	828
Kohei Honda United Kingdom	18	1.2k 1.4×	724 1.6×	534 2.0×	138 0.9×	200 1.4×	47	1.3k
Hugo Herbelin France	12	732 0.8×	553 1.2×	124 0.5×	88 0.6×	66 0.4×	25	827

Countries citing papers authored by Aleksandar Nanevski

Since Specialization

Citations

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

Fields of papers citing papers by Aleksandar Nanevski

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Aleksandar Nanevski

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

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Nanevski, Aleksandar, et al.. (2021). On algebraic abstractions for concurrent separation logics. Proceedings of the ACM on Programming Languages. 5(POPL). 1–32. 3 indexed citations

Nanevski, Aleksandar. (2018). A modal calculus for effect handling. Research Showcase @ Carnegie Mellon University (Carnegie Mellon University).

Sergey, Ilya, et al.. (2017). Concurrent Data Structures Linked in Time. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 7 indexed citations

Sergey, Ilya, et al.. (2017). Concurrent Data Structures Linked in Time (Artifact). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations

Dreyer, Derek, et al.. (2015). Mtac: A monad for typed tactic programming in Coq. Journal of Functional Programming. 25. 8 indexed citations

Sergey, Ilya, Aleksandar Nanevski, & Anindya Banerjee. (2015). Mechanized verification of fine-grained concurrent programs. 77–87. 52 indexed citations

Sergey, Ilya, Aleksandar Nanevski, & Anindya Banerjee. (2015). Mechanized verification of fine-grained concurrent programs. ACM SIGPLAN Notices. 50(6). 77–87. 11 indexed citations

Stewart, Gordon, Anindya Banerjee, & Aleksandar Nanevski. (2013). Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures. 145–156. 5 indexed citations

Nanevski, Aleksandar, et al.. (2013). Hoare-style reasoning with (algebraic) continuations. 363–376. 2 indexed citations

10.

Gabbay, Murdoch J. & Aleksandar Nanevski. (2012). Denotation of contextual modal type theory (CMTT): Syntax and meta-programming. Journal of Applied Logic. 11(1). 1–29. 2 indexed citations

11.

Gonthier, Georges, et al.. (2011). How to make ad hoc proof automation less ad hoc. ACM SIGPLAN Notices. 46(9). 163–175. 19 indexed citations

12.

Nanevski, Aleksandar, Viktor Vafeiadis, & Josh Berdine. (2010). Structuring the verification of heap-manipulating programs. 261–274. 49 indexed citations

13.

Nanevski, Aleksandar, Greg Morrisett, Avraham Shinnar, Paul Govereau, & Lars Birkedal. (2008). Ynot. ACM SIGPLAN Notices. 43(9). 229–240. 79 indexed citations

14.

Nanevski, Aleksandar, Paul Govereau, & Greg Morrisett. (2007). Type-theoretic Semantics for Transactional Concurrency. Digital Access to Scholarship at Harvard (DASH) (Harvard University). 1 indexed citations

15.

Nanevski, Aleksandar, Greg Morrisett, & Lars Birkedal. (2006). Polymorphism and separation in hoare type theory. 62–73. 87 indexed citations

16.

Nanevski, Aleksandar, Greg Morrisett, & Lars Birkedal. (2006). Polymorphism and separation in hoare type theory. ACM SIGPLAN Notices. 41(9). 62–73. 5 indexed citations

17.

Nanevski, Aleksandar & Greg Morrisett. (2005). Dependent type theory of stateful higher-order functions. Digital Access to Scholarship at Harvard (DASH) (Harvard University). 9 indexed citations

18.

Nanevski, Aleksandar & Frank Pfenning. (2005). Staged computation with names and necessity. Journal of Functional Programming. 15(6). 893–939. 28 indexed citations

19.

Nanevski, Aleksandar & Frank Pfenning. (2004). Functional programming with names and necessity. British Journal of Anaesthesia. 77(4). 492–5. 14 indexed citations

20.

Nanevski, Aleksandar. (2003). From dynamic binding to state via modal possibility. 207–218. 14 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