Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Sensor-Actuator-Comparison as a Basis for Collision Detection for a Quadruped Robot, and . 8th International Workshop on RoboCup 2004 (Robot World Cup Soccer Games and Conferences), 3276, page 150-159. Springer, (2005)Negative Information and Proprioception in Monte Carlo Self-Localization for a 4-Legged Robot, , , and . Nineteenth International Joint Conference on Artificial Intelligence (IJCAI), (2005)Workshop on Agents in Real-Time and Dynamic Environments.Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems., , and . CoRR, (2021)Resource-Aware Session Types for Digital Contracts., , , and . CoRR, (2019)Raising Expectations: Automating Expected Cost Analysis with Types., , and . CoRR, (2020)Typable Fragments of Polynomial Automatic Amortized Resource Analysis., and . CSL, volume 183 of LIPIcs, page 34:1-34:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Brain-to-gut trafficking of alpha-synuclein by CD11c+ cells in a mouse model of Parkinson's disease, , , , , , , , , and 9 other author(s). Nature Communications, 14 (1): 7529 (Nov 20, 2023)Sensor Modeling Using Visual-Object Relation in Multi Robot Object Tracking, and . RoboCup 2006: Robot Soccer World Cup X, Lecture Notes in Artificial Intelligence, Springer, (2007)to appear.Reliable and Precise Gait Modeling for a Quadruped Robot, and . 9th International Workshop on RoboCup 2005 (Robot World Cup Soccer Games and Conferences), Springer, (2006)Preface for the special issue in homage to Martin Hofmann Part 2., , and . Math. Struct. Comput. Sci., 32 (6): 682-684 (June 2022)