The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-demand Streaming. - Petter Sandvik; Mats Neovius (AP2PS, 2009)

Node Coordination in Peer-to-Peer Networks. - Luigia Petre; Petter Sandvik; Kaisa Sere (COORDINATION, 2012)

A formal approach to H.264 video decoding on multicore systems. - Kristian Lumme; Luigia Petre; Petter Sandvik; Kaisa Sere (Int. J. Crit. Comput. Based Syst., 2013)

On Proving Recoverability of Smart Electrical Grids. - Seppo Horsmanheimo; Maryam Kamali; Mikko Kolehmainen; Mats Neovius; Luigia Petre; Mauno Rönkkö; Petter Sandvik (NASA Formal Methods, 2014)

SPECTA: A formal specification language for content transfer algorithms. - Petter Sandvik (WoWMoM, 2014)