V
iktor
K
uncak
Homepages 🌐
http://lara.epfl.ch/~kuncak/
Entries
2012
Abortable Linearizable Modules
by
Rachid Guerraoui
📧
,
Viktor Kuncak
🌐
and
Giuliano Losa
📧
Mar 01
2004
File Refinement
by
Karen Zee
🌐
and
Viktor Kuncak
🌐
Dec 09
Binary Search Trees
by
Viktor Kuncak
🌐
Apr 05