PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Schürmann, Carsten"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using a Piezo-Resistive Tactile Sensor for Detection of Incipient Slippage.

, , , und . ISR/ROBOTIK, Seite 1-7. VDE Verlag, (2010)

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.

Hannah Schürmann University of Stuttgart

Prof. Peter Schürmann University of Stuttgart

Univ. -Prof. Dr. Carsten Scherer University of Stuttgart

Dr. Carsten Unger University of Stuttgart

Carsten Ellwein University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

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