Anders Starcke Henriksen

According to our database, Anders Starcke Henriksen authored at least 4 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

The end of the road for the UN GGE process: The future regulation of cyberspace.

Anders Starcke Henriksen

J. Cybersecur., 2019

2015

Tracking Static Analysis Violations over Time to Capture Developer Characteristics.

Pavel Avgustinov, Arthur I. Baars, Anders Starcke Henriksen, R. Greg Lavender, Galen Menzel, Oege de Moor, Max Schäfer, Julian Tibble

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2012

Trustworthy Pervasive Healthcare Services via Multiparty Session Types.

Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

2009

A Game-Theoretic Model for Distributed Programming by Contract.

Anders Starcke Henriksen, Tom Hvitved, Andrzej Filinski

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009