Proving sequential consistency by model checking. - Tim Braun; Anne Condon; Alan J. Hu; Kai S. Juse; Marius Laza; Michael Leslie; Rita Sharma (HLDVT, 2001)

A Humanoid Head for Assistance Robots. - Karsten Berns; Tim Braun (CLAWAR, 2005)

Design concept of a human-like robot head. - Karsten Berns; Tim Braun (Humanoids, 2005)

Hardware/Software co-design of a key point detector on FPGA. - Harding Djakou Chati; Felix Mühlbauer; Tim Braun; Christophe Bobda; Karsten Berns (FCCM, 2007)

SoPC architecture for a Key Point Detector. - Harding Djakou Chati; Felix Mühlbauer; Tim Braun; Christophe Bobda; Karsten Berns (FPL, 2007)

Emotion Based Control Architecture for Robotics Applications. - Jochen Hirth; Tim Braun; Karsten Berns (KI, 2007)

Visual Terrain Traversability Estimation Using a Combined Slope/Elevation Model. - Tim Braun; Henning Bitsch; Karsten Berns (KI, 2008)

Probabilistic distance measures of the Dirichlet and Beta distributions. - Thomas W. Rauber; Tim Braun; Karsten Berns (Pattern Recognit., 2008)

Topological large-scale off-road navigation and exploration RAVON at the European Land Robot Trial 2008. - Tim Braun; Bernd-Helge Schäfer; Karsten Berns (IROS, 2009)

Cost-efficient global robot navigation in rugged off-road terrain. - Tim Braun (2009)

Cost-Efficient Global Robot Navigation in Rugged Off-Road Terrain. - Tim Braun (Künstliche Intell., 2011)

Stretchable Capacitive and Resistive Strain Sensors: Accessible Manufacturing Using Direct Ink Writing. - Lukas Cha; Sonja Groß; Shuai Mao; Tim Braun; Sami Haddadin; Liang He (RoboSoft, 2025)

Handling System Overloads: An Empirical Evaluation of Deadline-Miss Handling Strategies. - Tim Braun; Sebastian Altmeyer (RTAS, 2025)