Thomas Henn

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 9

Top Topics

Accurate Estimation

Current Situation

Top Venues

Artif. Life Robotics

J. Comput. Sci.

Publications

Minh Trinh, Hannah Dammers, Mohamed Behery, Ralph Baier, Thomas Henn, Daniel Gossen, Burkhard Corves, Stefan Kowalewski, Verena Nitsch, Gerhard Lakemeyer, Thomas Gries, Christian Brecher
Safety of Human-Robot Collaboration within the Internet of Production. HCI (29) (2023)
Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher
Verification of Behavior Trees using Linear Constrained Horn Clauses. FMICS (2022)
Thomas Henn, Yasukazu Sakamoto, Clément Jacquet, Shunsuke Yoshizawa, Masamichi Andou, Stephen Tchen, Ryosuke Saga, Hiroyuki Ishihara, Katsuhiko Shimizu, Yingzhen Li, Ryutaro Tanno
A Principled Approach to Failure Analysis and Model Repairment: Demonstration in Medical Imaging. CoRR (2021)
Thomas Henn, Yasukazu Sakamoto, Clément Jacquet, Shunsuke Yoshizawa, Masamichi Andou, Stephen Tchen, Ryosuke Saga, Hiroyuki Ishihara, Katsuhiko Shimizu, Yingzhen Li, Ryutaro Tanno
A Principled Approach to Failure Analysis and Model Repairment: Demonstration in Medical Imaging. MICCAI (3) (2021)
Thomas Henn, Jordan Henrio, Tomoharu Nakashima
Optimizing player's formations for corner-kick situations in RoboCup soccer 2D simulation. Artif. Life Robotics 22 (3) (2017)
Robin Trunk, Thomas Henn, Willy Dörfler, Hermann Nirschl, Mathias J. Krause
Inertial dilute particulate fluid flow simulations with an Euler-Euler lattice Boltzmann method. J. Comput. Sci. 17 (2016)
Jordan Henrio, Thomas Henn, Tomoharu Nakashima, Hidehisa Akiyama
Selecting the Best Player Formation for Corner-Kick Situations Based on Bayes' Estimation. CoRR (2016)
David Picard, Thomas Henn, Georg Dietz
Non-negative dictionary learning for paper watermark similarity. ACSSC (2016)
Jordan Henrio, Thomas Henn, Tomoharu Nakashima, Hidehisa Akiyama
Selecting the Best Player Formation for Corner-Kick Situations Based on Bayes' Estimation. RoboCup (2016)
Thomas Henn, Vincent Heuveline, Mathias J. Krause, Sebastian Ritterbusch
Aortic Coarctation Simulation Based on the Lattice Boltzmann Method: Benchmark Results. STACOM (2012)
Alvaro Segura, Aitor Moreno, Gino Brunetti, Thomas Henn
Interaction and Ergonomics Issues in the Development of a Mixed Reality Construction Machinery Simulator for Safety Training. HCI (17) (2007)