Author of the publication

A High-Speed Tactile Sensor for Slip Detection.

, , , and . Towards Service Robots for Everyday Environments, volume 76 of Springer Tracts in Advanced Robotics, Springer, (2012)

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.

 

Other publications of authors with the same name

Trust in internet election observing the Norwegian decryption and counting ceremony., , and . EVOTE, page 1-8. IEEE, (2014)An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf., and . LPAR, volume 4246 of Lecture Notes in Computer Science, page 150-166. Springer, (2006)A Coverage Checking Algorithm for LF., and . TPHOLs, volume 2758 of Lecture Notes in Computer Science, page 120-135. Springer, (2003)Primitive Recursion for Higher-Order Abstract Syntax., , and . TLCA, volume 1210 of Lecture Notes in Computer Science, page 147-163. Springer, (1997)LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), , and . CoRR, (2006)Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.. FLOPS, volume 2998 of Lecture Notes in Computer Science, page 22-23. Springer, (2004)Evaluation of Systems for Higher-order Logic (ESHOL)., , , and . PAAR/ESHOL, volume 373 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Linear Logical Voting Protocols., and . VOTE-ID, volume 7187 of Lecture Notes in Computer Science, page 53-70. Springer, (2011)Automatic Margin Computation for Risk-Limiting Audits., , , and . E-VOTE-ID, volume 10141 of Lecture Notes in Computer Science, page 18-35. Springer, (2016)Rounding Considered Harmful.. E-Vote-ID, volume 11143 of Lecture Notes in Computer Science, page 189-202. Springer, (2018)