Carsten Schürmann - Concepedia

Author

Carsten Schürmann

Also Known As

C. Schürmann, Carsten Schurmann, Carsten Schürmann, Krimmer, Robert, M. Clouser, Schurmann, C.J., Schurmann, Carsten, Schürmann, Carsten

149

Publications

2.7K

Citations

H-Index

Concepts

All Affiliations

IT University of Copenhagen Bielefeld University Yale University University of Southern Denmark

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	14	741
2	Language Studies	4	4	180
3	Business	1	1	192
4	Education	1	1	72
5	Health Sciences	1	1	41

Carsten Schürmann

Publications

1.4K

Citations

H-Index

Page 1

	Year	Citations
Flexible and stretchable fabric-based tactile sensor Gereon Büscher, Risto Kõiva, Carsten Schürmann, Robotics and Autonomous Systems Tactile SensingFlexible Tactile SkinEngineeringSoft RoboticsFlexible Electronics	2014	231
Assessing spatial equity and efficiency impacts of transport infrastructure projects Johannes Bröcker, Artem Korzhenevych, Carsten Schürmann Transportation Research Part B Methodological EconomicsTransport EfficiencyInfrastructure DevelopmentBusinessTransport Infrastructure	2010	192
A Control Framework for Tactile Servoing Qiang Li, Carsten Schürmann, Robert Haschke,	2013	100
Primitive recursion for higher-order abstract syntax Carsten Schürmann, Joëlle Despeyroux, Frank Pfenning Theoretical Computer Science SyntaxEngineeringAutomated ReasoningGrammatical FormalismFormal Methods	2001	93
A highly sensitive 3D-shaped tactile sensor Risto Kõiva, Matthias Zenker, Carsten Schürmann, Tactile SensingHaptic FeedbackEngineeringSoft RoboticsFlexible Electronics	2013	72
Towards a European Peripherality Index Carsten Schürmann, Ahmed Talaat Technische Universität Dortmund Eldorado (Technische Universität Dortmund)	2000	68
System Description: Delphin – A Functional Programming Language for Deductive Systems Adam Poswolsky, Carsten Schürmann Electronic Notes in Theoretical Computer Science EngineeringType TheorySemanticsFormal VerificationLogic Programming	2009	51
A modular high-speed tactile sensor for human manipulation research Carsten Schürmann, Risto Kõiva, Robert Haschke, Haptic FeedbackEngineeringMechanical EngineeringHaptic TechnologyTactile Sensing	2011	46
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types Marco Carbone, Sam Lindley, Fabrizio Montesi, DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)	2016	46
Choreographies, logically Marco Carbone, Fabrizio Montesi, Carsten Schürmann Distributed Computing	2017	43

Page 1