Petter Sandvik

According to our database1, Petter Sandvik authored at least 5 papers between 2009 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
SPECTA: A formal specification language for content transfer algorithms.
Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014

On Proving Recoverability of Smart Electrical Grids.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013
A formal approach to H.264 video decoding on multicore systems.
IJCCBS, 2013

2012
Node Coordination in Peer-to-Peer Networks.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2009
The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-demand Streaming.
Proceedings of the First International Conference on Advances in P2P Systems, 2009


  Loading...