Thomas Henn

According to our database, Thomas Henn authored at least 9 papers between 2007 and 2023.

Collaborative distances:

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

2023

Safety of Human-Robot Collaboration within the Internet of Production.

Minh Trinh, Hannah Dammers, Mohamed Behery, Ralph Baier, Thomas Henn, Daniel Gossen, Burkhard Corves, Stefan Kowalewski, Verena Nitsch, Gerhard Lakemeyer, Thomas Gries, Christian Brecher

Proceedings of the HCI in Business, Government and Organizations, 2023

2022

Verification of Behavior Trees using Linear Constrained Horn Clauses.

Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2021

A Principled Approach to Failure Analysis and Model Repairment: Demonstration in Medical Imaging.

Thomas Henn, Yasukazu Sakamoto, Clément Jacquet, Shunsuke Yoshizawa, Masamichi Andou, Stephen Tchen, Ryosuke Saga, Hiroyuki Ishihara, Katsuhiko Shimizu, Yingzhen Li, Ryutaro Tanno

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 - 24th International Conference, Strasbourg, France, September 27, 2021

2017

Optimizing player's formations for corner-kick situations in RoboCup soccer 2D simulation.

Thomas Henn, Jordan Henrio, Tomoharu Nakashima

Artif. Life Robotics, 2017

2016

Inertial dilute particulate fluid flow simulations with an Euler-Euler lattice Boltzmann method.

Robin Trunk, Thomas Henn, Willy Dörfler, Hermann Nirschl, Mathias J. Krause

J. Comput. Sci., 2016

Selecting the Best Player Formation for Corner-Kick Situations Based on Bayes' Estimation.

Jordan Henrio, Thomas Henn, Tomoharu Nakashima, Hidehisa Akiyama

Proceedings of the RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30, 2016

Non-negative dictionary learning for paper watermark similarity.

David Picard, Thomas Henn, Georg Dietz

Proceedings of the 50th Asilomar Conference on Signals, Systems and Computers, 2016

2012

Aortic Coarctation Simulation Based on the Lattice Boltzmann Method: Benchmark Results.

Thomas Henn, Vincent Heuveline, Mathias J. Krause, Sebastian Ritterbusch

Proceedings of the Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges, 2012

2007

Interaction and Ergonomics Issues in the Development of a Mixed Reality Construction Machinery Simulator for Safety Training.

Alvaro Segura, Aitor Moreno, Gino Brunetti, Thomas Henn

Proceedings of the Ergonomics and Health Aspects of Work with Computers, 2007