Carsten Schürmann

53 papers A 5B 7Misc 1Journal 4Unranked 31
YearRankTypeTitle / Venue / Authors
2024 — conf
Election Security-by-Design.
SecITC
Carsten Schürmann
2024 B conf
Robust Mean Estimation by All Means (Short Paper).
ITP
Reynald Affeldt, Clark W. Barrett, Alessandro Bruni, Ieva Daukantas, Harun Khan, Takafumi Saikawa, Carsten Schürmann
2024 — conf
Social Elections.
E-Vote-ID (GI)
Carsten Schürmann
2021 — conf
Cyber Awareness Training for Election Staff Using Constructive Alignment.
E-VOTE-ID
Thomas Chanussot, Carsten Schürmann
2020 — conf
Effective Cybersecurity Awareness Training for Election Officials.
E-VOTE-ID
Carsten Schürmann, Lisa Hartmann Jensen, Rósa María Sigbjörnsdóttir
2016 — conf
Measuring Voter Lines.
CeDEM
Carsten Schürmann, Jian Wang
2015 J jnl
Flexible and stretchable fabric-based tactile sensor.
Robotics Auton. Syst.
Gereon H. Büscher, Risto Kõiva, Carsten Schürmann, Robert Haschke, Helge J. Ritter
2015 — ed.
Proceedings First International Workshop on Focusing, WoF 2015, Suva, Fiji, 23rd November 2015.
WoF'15
Iliano Cervesato, Carsten Schürmann
2014 — conf
Trust in internet election observing the Norwegian decryption and counting ceremony.
EVOTE
Randi Markussen, Lorena Ronquillo, Carsten Schürmann
2013 — conf
A Control Framework for Tactile Servoing.
Robotics: Science and Systems
Qiang Li, Carsten Schürmann, Robert Haschke, Helge J. Ritter
2013 — —
A high speed sensor system for tactile interaction research
Carsten Schürmann
2013 — conf
A highly sensitive 3D-shaped tactile sensor.
AIM
Risto Kõiva, Matthias Zenker, Carsten Schürmann, Robert Haschke, Helge J. Ritter
2013 B conf
Certifying Voting Protocols.
ITP
Carsten Schürmann
2012 — ch.
A High-Speed Tactile Sensor for Slip Detection.
Towards Service Robots for Everyday Environments
Carsten Schürmann, Matthias Schöpfer, Robert Haschke, Helge J. Ritter
2012 — conf
Analysis of human grasping under task anticipation using a tactile book.
Humanoids
Carsten Schürmann, Risto Kõiva, Robert Haschke, Helge J. Ritter
2012 — conf
Tactile dataglove with fabric-based sensors.
Humanoids
Gereon H. Büscher, Risto Kõiva, Carsten Schürmann, Robert Haschke, Helge J. Ritter
2011 — conf
A Bigraph Relational Model
LFMTP
Maxime Beauquier, Carsten Schürmann
2011 — conf
A modular high-speed tactile sensor for human manipulation research.
World Haptics
Carsten Schürmann, Risto Kõiva, Robert Haschke, Helge J. Ritter
2011 — conf
Linear Logical Voting Protocols.
VoteID
Henry DeYoung, Carsten Schürmann
2011 J jnl
Modernizing the Danish democratic process.
Commun. ACM
Carsten Schürmann
2010 — conf
Pattern Unification for the Lambda Calculus with Linear and Affine Types
LFMTP
Anders Schack-Nielsen, Carsten Schürmann
2010 — conf
Using a Piezo-Resistive Tactile Sensor for Detection of Incipient Slippage.
ISR/ROBOTIK
Matthias Schöpfer, Carsten Schürmann, Michael Pardowitz, Helge J. Ritter
2009 — conf
A practical module system for LF.
LFMTP
Florian Rabe, Carsten Schürmann
2009 — conf
Electronic Elections: Trust Through Engineering.
REVOTE
Carsten Schürmann
2008 A conf
Celf - A Logical Framework for Deductive and Concurrent Systems (System Description).
IJCAR
Anders Schack-Nielsen, Carsten Schürmann
2008 — conf
Evaluation of Systems for Higher-order Logic (ESHOL).
PAAR/ESHOL
Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe
2008 — ed.
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004
LFM@IJCAR
Carsten Schürmann
2008 — ed.
Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen, Germany, July 15, 2007
LFMTP@CADE
Brigitte Pientka, Carsten Schürmann
2008 — conf
System Description: Delphin - A Functional Programming Language for Deductive Systems.
LFMTP@LICS
Adam Poswolsky, Carsten Schürmann
2007 — conf
Preface.
LFMTP@CADE
Brigitte Pientka, Carsten Schürmann
2006 B conf
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf.
LPAR
Carsten Schürmann, Mark-Oliver Stehr
2006 J jnl
LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
CoRR
Christoph Benzmüller, John Harrison, Carsten Schürmann
2005 B conf
Identifying Polynomial-Time Recursive Functions.
CSL
Carsten Schürmann, Jatin Shah
2005 — conf
Meta-Logical Frameworks and Formal Digital Libraries.
VSTTE
Carsten Schürmann
2004 — conf
A Meta Linear Logical Framework.
LFM@IJCAR
Andrew McCreight, Carsten Schürmann
2004 — conf
Logical Semantics for the Rewriting Calculus.
STRATEGIES@IJCAR
Aaron Stump, Carsten Schürmann
2004 — conf
Preface.
LFM@IJCAR
Carsten Schürmann
2004 Misc conf
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.
FLOPS
Carsten Schürmann
2003 — conf
A Coverage Checking Algorithm for LF.
TPHOLs
Carsten Schürmann, Frank Pfenning
2003 B conf
Disproving False Conjectures.
LPAR
Serge Autexier, Carsten Schürmann
2003 — conf
Representing reductions of NP-complete problems in logical frameworks: a case study.
MERLIN
Carsten Schürmann, Jatin Shah
2002 — conf
Towards Proof Planning for Mω
LFM
Carsten Schürmann, Serge Autexier
2001 — conf
A Representation of Fomega in LF.
MERLIN
Carsten Schürmann, Dachuan Yu, Zhaozhong Ni
2001 B conf
A Type-Theoretic Approach to Induction with Higher-Order Encodings.
LPAR
Carsten Schürmann
2001 J jnl
Primitive recursion for higher-order abstract syntax.
Theor. Comput. Sci.
Carsten Schürmann, Joëlle Despeyroux, Frank Pfenning
2001 B conf
Recursion for Higher-Order Encodings.
CSL
Carsten Schürmann
2000 A conf
Tutorial: Meta-logical Frameworks.
CADE
Carsten Schürmann
2000 A conf
Workshop: Automation of Proofs by Mathematical Induction.
CADE
Carsten Schürmann
1999 A conf
System Description: Twelf - A Meta-Logical Framework for Deductive Systems.
CADE
Frank Pfenning, Carsten Schürmann
1998 — conf
Algorithms for Equality and Unification in the Presence of Notational Definitions.
TYPES
Frank Pfenning, Carsten Schürmann
1998 — conf
Algorithms for Equality and Unification in the Presence of Notational Definitions.
Proof Search in Type-Theoretic Languages@CADE
Frank Pfenning, Carsten Schürmann
1998 A conf
Automated Theorem Proving in a Simple Meta-Logic for LF.
CADE
Carsten Schürmann, Frank Pfenning
1997 — conf
Primitive Recursion for Higher-Order Abstract Syntax.
TLCA
Joëlle Despeyroux, Frank Pfenning, Carsten Schürmann