PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Nanevski, Aleksandar"

Author of the publication

copydeleteadd this publication to your clipboard
Subjective auxiliary state for coarse-grained concurrency.

, and . POPL, page 561-574. ACM, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Aleksandar Arsenijevic University of Stuttgart

 

Other publications of authors with the same name

Denotation of contextual modal type theory (CMTT): Syntax and meta-programming., and . J. Applied Logic, 11 (1): 1-29 (2013)Contextual modal type theory., , and . ACM Trans. Comput. Log., 9 (3): 23:1-23:49 (2008)Concurrent Data Structures Linked in Time., , , and . CoRR, (2016)Effectively-Propositional Reasoning about Reachability in Linked Data Structures., , , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 756-772. Springer, (2013)Communicating State Transition Systems for Fine-Grained Concurrent Resources., , , and . ESOP, volume 8410 of Lecture Notes in Computer Science, page 290-310. Springer, (2014)Mtac: a monad for typed tactic programming in Coq., , , , and . ICFP, page 87-100. ACM, (2013)A modal foundation for meta-variables., , and . MERLIN, ACM, (2003)Mtac: A monad for typed tactic programming in Coq., , , , and . J. Funct. Program., (2015)Dependent Type Theory for Verification of Information Flow and Access Control Policies., , and . ACM Trans. Program. Lang. Syst., 35 (2): 6:1-6:41 (2013)Towards type-theoretic semantics for transactional concurrency., , and . TLDI, page 79-90. ACM, (2009)