Aleksandar Nanevski
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 32 papers receiving a total of 520 indexed citations (citations by other indexed papers that have themselves been cited), including 30 papers in Artificial Intelligence, 21 papers in Computational Theory and Mathematics and 10 papers in Computer Networks and Communications. Recurrent topics in Aleksandar Nanevski’s work include Logic, programming, and type systems (28 papers), Formal Methods in Verification (19 papers) and Logic, Reasoning, and Knowledge (16 papers). Aleksandar Nanevski is often cited by papers focused on Logic, programming, and type systems (28 papers), Formal Methods in Verification (19 papers) and Logic, Reasoning, and Knowledge (16 papers). Aleksandar Nanevski collaborates with scholars based in Spain, United States and United Kingdom. Aleksandar Nanevski's co-authors include Frank Pfenning, Greg Morrisett, Lars Birkedal, Anindya Banerjee, Brigitte Pientka, Deepak Garg, Ilya Sergey, Derek Dreyer, Paul Govereau and Avraham Shinnar and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Journal of Functional Programming.
In The Last Decade
Co-authorship network of co-authors of Aleksandar Nanevski i
Fields of papers citing papers by Aleksandar Nanevski
Since SpecializationEngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics
This network shows the specialization of papers citing the papers produced by Aleksandar Nanevski. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Aleksandar Nanevski may publish in the future.
Countries citing papers authored by Aleksandar Nanevski
Since SpecializationCitations
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).
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Kristoffer Relling Tysnes Breakdown of academic impact, for papers by Nisar Ahmad Chowdri Breakdown of academic impact, for papers by Yanting Hu Breakdown of academic impact, for papers by Yuzhuo Yang Breakdown of academic impact, for papers by Yingying Miao Breakdown of academic impact, for papers by J R Attali Breakdown of academic impact, for papers by Carlos Nores Breakdown of academic impact, for papers by Nam-Hoon Cho