( en | de | ru )

 

Disambiguation of "Schubert, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Out of reach? - A novel AR interface approach for motor rehabilitation.

, , , , , , , , and . ISMAR, page 219-228. IEEE Computer Society, (2011)

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.

Thomas Schubert

Thomas Schubert

Thomas Schubert

Thomas Schubert

Thomas Schubert

 

Other publications of authors with the same name

Cross-correlation based μECoG waveform tracking., , , and . EMBC, page 3264-3267. IEEE, (2014)Out of reach? - A novel AR interface approach for motor rehabilitation., , , , , , , , and . ISMAR, page 219-228. IEEE Computer Society, (2011)High level formal verification of next-generation microprocessors.. DAC, page 1-6. ACM, (2003)Verification of Composed Hardware Systems Using CCS.. TPHOLs, page 88-95. IEEE Computer Society, (1991)Fundamentals of Electronics: Book 1 Electronic Devices and Circuit Applications, and . Synthesis Lectures on Digital Circuits and Systems Morgan & Claypool Publishers, (2015)A Hybrid Model for Reasoning about Composed Hardware Systems.. CAV, volume 818 of Lecture Notes in Computer Science, page 260-272. Springer, (1994)Report on the UCD Microcoded Viper Verification Project., , , , and . HUG, volume 780 of Lecture Notes in Computer Science, page 239-252. Springer, (1993)Verification of Integrated Subsystems.. TPHOLs, page 38-51. IEEE Computer Society, (1991)Weight as an Embodiment of Importance, , and . Psychological Science, 20 (9): 1169–1174 (September 2009)A Mechanized Logic for Secure Key Escrow Protocol Verification., and . TPHOLs, volume 971 of Lecture Notes in Computer Science, page 308-323. Springer, (1995)