Concepedia

Carsten Schürmann

CS

28

Publications

1.4K

Citations

21

H-Index

1999

Active since

Affiliations

IT University of Copenhagen(Current)

Bielefeld University

Yale University

University of Southern Denmark

Carsten Schürmann is an author at IT University of Copenhagen specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSoft RoboticsTactile SensingLanguageSemanticsWearable Devices

Publications per year

1999–2023

28

Publications

28

Flexible and stretchable fabric-based tactile sensor

Gereon Büscher, Risto Kõiva, Carsten Schürmann et al. · Robotics and Autonomous Systems · 2014 · 231 citations · Full text

Tactile Sensing, Flexible Tactile Skin, Engineering +14

Assessing spatial equity and efficiency impacts of transport infrastructure projects

Johannes Bröcker, Artem Korzhenevych, Carsten Schürmann · Transportation Research Part B Methodological · 2010 · 192 citations

Economics, Transport Efficiency, Infrastructure Development +6

A Control Framework for Tactile Servoing

Qiang Li, Carsten Schürmann, Robert Haschke et al. · 2013 · 100 citations · Full text

Primitive recursion for higher-order abstract syntax

Carsten Schürmann, Joëlle Despeyroux, Frank Pfenning · Theoretical Computer Science · 2001 · 93 citations

Syntax, Engineering, Automated Reasoning +8

A highly sensitive 3D-shaped tactile sensor

Risto Kõiva, Matthias Zenker, Carsten Schürmann et al. · 2013 · 72 citations · Full text

Tactile Sensing, Haptic Feedback, Engineering +14

Rows per page

1–5 of 28