( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Space Bound Analysis for Functional Programs with Garbage Collection.

, и . LPAR, том 57 из EPiC Series in Computing, стр. 543-563. EasyChair, (2018)

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.

Jan Hoffmann

Jan Hoffmann

Jan Hoffmann

Jan Hoffmann

Jan Hoffmann

 

Другие публикации лиц с тем же именем

Sensor-Actuator-Comparison as a Basis for Collision Detection for a Quadruped Robot, и . 8th International Workshop on RoboCup 2004 (Robot World Cup Soccer Games and Conferences), 3276, стр. 150-159. Springer, (2005)Negative Information and Proprioception in Monte Carlo Self-Localization for a 4-Legged Robot, , , и . Nineteenth International Joint Conference on Artificial Intelligence (IJCAI), (2005)Workshop on Agents in Real-Time and Dynamic Environments.Typable Fragments of Polynomial Automatic Amortized Resource Analysis., и . CSL, том 183 из LIPIcs, стр. 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, , , , , , , , , и 9 other автор(ы). Nature Communications, 14 (1): 7529 (20.11.2023)Robust Resource Bounds with Static Analysis and Bayesian Inference., , и . Proc. ACM Program. Lang., 8 (PLDI): 76-101 (2024)23.5 A dual 64Gbaud 10kΩ 5% THD linear differential transimpedance amplifier with automatic gain control in 0.13µm BiCMOS technology for optical fiber coherent receivers., , , , , , и . ISSCC, стр. 406-407. IEEE, (2016)Exploiting the Unexpected: Negative Evidence Modeling and Proprioceptive Motion Modeling for Improved Markov Localization, , , и . RoboCup 2005: Robot Soccer World Cup IX, стр. 24-35. Springer, (2006)Zum Gebot der Anpassung an unvermeidliche Folgen des Klimawandels, и . Zeitschrift für Europäisches Umwelt- und Planungsrecht, (2008)Towards Interaction Techniques for Social Media Data Exploration on Large High-Resolution Displays, , , , , и . стр. 2752-2759. (мая 2017)Preface for the special issue in homage to Martin Hofmann Part 1., , и . Math. Struct. Comput. Sci., 31 (9): 950-952 (2021)