Autor der Publikation

Gestyboard BackTouch 1.0: Two-Handed Backside Blind-Typing on Mobile Touch-Sensitive Surfaces.

, , , , , , und . MobiQuitous, Volume 131 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 422-434. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Reliable scalable symbolic computation: The design of SymGridPar2., , und . Computer Languages, Systems & Structures, 40 (1): 19-35 (2014)A lattice-theoretic framework for circular assume-guarantee reasoning.. Saarland University, (2004)Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell., und . IFL, Volume 7257 von Lecture Notes in Computer Science, Seite 35-50. Springer, (2011)JIT costing adaptive skeletons for performance portability., , und . FHPC@ICFP, Seite 23-30. ACM, (2016)Bounded Model Checking of Pointer Programs., , und . CSL, Volume 3634 von Lecture Notes in Computer Science, Seite 397-412. Springer, (2005)Towards Using Description Logics for Symbolic Shape Analysis., und . Description Logics, Volume 147 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)The HdpH DSLs for scalable reliable computation., , und . Haskell, Seite 65-76. ACM, (2014)An empiric evaluation of confirmation methods for optical see-through head-mounted display calibration., , , , , und . ISMAR, Seite 267-268. IEEE Computer Society, (2011)A visual tracking model implemented on the iCub robot as a use case for a novel neurorobotic toolkit integrating brain and physics simulation., , , , , , , , , und 10 andere Autor(en). Humanoids, Seite 1179-1184. IEEE, (2015)Evaluation of an Augmented-Reality-based 3D User Interface to Enhance the 3D-Understanding of Molecular Chemistry., und . CSEDU, Seite 294-302. SciTePress, (2013)