Valentin Haenel

According to our database, Valentin Haenel authored at least 6 papers between 2004 and 2017.

Collaborative distances:

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

2017

The "Something Something" Video Database for Learning and Evaluating Visual Common Sense.

Raghav Goyal, Samira Ebrahimi Kahou, Vincent Michalski, Joanna Materzynska, Susanne Westphal, Heuna Kim, Valentin Haenel, Ingo Fründ, Peter Yianilos, Moritz Mueller-Freitag, Florian Hoppe, Christian Thurau, Ingo Bax, Roland Memisevic

Proceedings of the IEEE International Conference on Computer Vision, 2017

2014

Bloscpack: a compressed lightweight serialization format for numerical data.

Valentin Haenel

CoRR, 2014

2006

A design environment for mobile applications.

Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform.

Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero

Proceedings of the FM 2005: Formal Methods, 2005

Choreographing Security and Performance Analysis for Web Services.

Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004

PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application.

Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004