PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hofmann, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Hypergraphs for Joint Multi-view Reconstruction and Multi-object Tracking.

, , and . CVPR, page 3650-3657. IEEE Computer Society, (2013)

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.

Gloria Hofmann University of Stuttgart

Dr. Lisa Hofmann University of Stuttgart

Philipp Hofmann University of Stuttgart

Dr. -Ing. Matthias Hofmann University of Stuttgart

Roman Hofmann University of Stuttgart

 

Other publications of authors with the same name

Kontext-adaptive Fahrerinformationssysteme am Beispiel eines Navigationssystems., , , , and . KI, 21 (3): 57-63 (2007)A Program Logic for Resource Verification., , , , and . TPHOLs, volume 3223 of Lecture Notes in Computer Science, page 34-49. Springer, (2004)Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories., , and . Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 367-385. Springer, (2008)On Monadic Parametricity of Second-Order Functionals., , and . FoSSaCS, volume 7794 of Lecture Notes in Computer Science, page 225-240. Springer, (2013)Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics., and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 172-187. Springer, (2010)A Simple Model for Quotient Types.. TLCA, volume 902 of Lecture Notes in Computer Science, page 216-234. Springer, (1995)Proof-Relevant Logical Relations for Name Generation., , and . TLCA, volume 7941 of Lecture Notes in Computer Science, page 48-60. Springer, (2013)Learn with SAT to Minimize Büchi Automata, and . GandALF, volume 96 of EPTCS, page 71-84. (2012)Benutzerunterstützung in Hypertextsystemen durch private Kontexte.. Braunschweig University of Technology, Germany, (1991)A Type System for Bounded Space and Functional In-Place Update--Extended Abstract.. ESOP, volume 1782 of Lecture Notes in Computer Science, page 165-179. Springer, (2000)