PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hoffmann, Jan"

Author of the publication

copydeleteadd this publication to your clipboard
Interaction Techniques for Window Management on Large High-Resolution Displays

, , , , , , and . The 16th International Conference on Mobile and Ubiquitous Multimedia, ACM, (2017)

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.

Bastian Hoffmann University of Stuttgart

Univ. -Prof. Dr. phil. Torsten Hoffmann University of Stuttgart

Rilke und das Judentum, and . ([2024])

Tim Janz University of Stuttgart

Benedikt Janny

PD Dr. phil. Frank Janle University of Stuttgart

 

Other publications of authors with the same name

The Computational Complexity of Weak Saddles., , , and . SAGT, volume 5814 of Lecture Notes in Computer Science, page 238-249. Springer, (2009)A Real-Time Auto-Adjusting Vision System for Robotic Soccer., , and . RoboCup, volume 3020 of Lecture Notes in Computer Science, page 214-225. Springer, (2003)Reliable and Precise Gait Modeling for a Quadruped Robot., and . RoboCup, volume 4020 of Lecture Notes in Computer Science, page 49-58. Springer, (2005)Higher-order functional reactive programming in bounded space., , and . POPL, page 45-58. ACM, (2012)Parallel complexity analysis with temporal session types., , and . Proc. ACM Program. Lang., 2 (ICFP): 91:1-91:30 (2018)Towards automatic resource bound analysis for OCaml., , and . POPL, page 359-373. ACM, (2017)An Automatic Amortized Analysis of the Resource Consumption of Functional Programs.. AlgoSyn, page 151. Verlagshaus Mainz, Aachen, Germany, (2010)Finding a tree structure in a resolution proof is NP-complete.. Theor. Comput. Sci., 410 (21-23): 2295-2300 (2009)Towards Automatic Resource Bound Analysis for OCaml., , and . CoRR, (2016)Reactive probabilistic belief modeling for mobile robots.. Humboldt University of Berlin, (2007)