Carsten Schürmann
IT University of Copenhagen(DK)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Internet Traffic Analysis and Secure E-voting, Regional Development and Policy
Most-Cited Works
- → System Description: Twelf — A Meta-Logical Framework for Deductive Systems(1999)595 cited
- → Flexible and stretchable fabric-based tactile sensor(2014)231 cited
- → Assessing spatial equity and efficiency impacts of transport infrastructure projects(2010)192 cited
- → A Control Framework for Tactile Servoing(2013)100 cited
- → Primitive recursion for higher-order abstract syntax(1997)99 cited
- → A highly sensitive 3D-shaped tactile sensor(2013)72 cited
- → Towards a European Peripherality Index(2000)68 cited
- → Automated theorem proving in a simple meta-logic for LF(1998)59 cited
- → A Coverage Checking Algorithm for LF(2003)57 cited