Thomas Henn

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