Aleksandar Nanevski

Identifiers

• name variant Aleksandar Nanevski 0.60 · backfill

Papers (6)

1. Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources cs.PL · 2017 · author #1
2. Operational Aspects of C/C++ Concurrency cs.PL · 2016 · author #3
3. Concurrent Data Structures Linked in Time cs.LO · 2016 · author #3
4. Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects cs.LO · 2015 · author #2
5. Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity cs.LO · 2014 · author #2
6. Denotation of syntax and metaprogramming in contextual modal type theory (CMTT) cs.LO · 2012 · author #2

Mentions

• 1509.06220 #2 · backfill · confidence 0.70 Aleksandar Nanevski
• 1410.0306 #2 · backfill · confidence 0.70 Aleksandar Nanevski
• 1202.0904 #2 · backfill · confidence 0.70 Aleksandar Nanevski

Frequent Coauthors

• Anindya Banerjee 4 shared papers
• Ilya Sergey 4 shared papers
• Germ\'an Andr\'es Delbianco 2 shared papers
• Anton Podkopaev 1 shared papers
• German Andres Delbianco 1 shared papers
• Murdoch Gabbay 1 shared papers