Concepedia

Aleksandar Nanevski

AN

30

Publications

1.6K

Citations

20

H-Index

2001

Active since

Affiliations

IMDEA Software Institute(Current)

Madrid Institute for Advanced Studies

Microsoft Research (United Kingdom)

Harvard University Press

Max Planck Institute for Software Systems

Aleksandar Nanevski is an author at IMDEA Software Institute specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware AnalysisFormal SpecificationParallel Programming

Publications per year

2001–2017

30

Publications

30

Contextual modal type theory

Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka · ACM Transactions on Computational Logic · 2008 · 257 citations

Non-classical Logic, Logical Frameworks, Engineering +13

Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar et al. · ACM SIGPLAN Notices · 2008 · 140 citations · Full text

Coq Proof Assistant, Engineering, Automated Reasoning +13

Polymorphism and separation in hoare type theory

Aleksandar Nanevski, Greg Morrisett, Lars Birkedal · 2006 · 138 citations

Engineering, Substructural Logic, Hoare Logic Specifications +11

Hoare type theory, polymorphism and separation

Aleksandar Nanevski, Greg Morrisett, Lars Birkedal · Journal of Functional Programming · 2008 · 132 citations · Full text

Engineering, Type Theory, Functional Language +17

Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar et al. · 2008 · 125 citations

Coq Proof Assistant, Engineering, Automated Reasoning +13

Rows per page

1–5 of 30