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