default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarsten Schürmann
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Other persons with the same name
- Carsten Schürmann 0001 (aka: Carsten Schuermann 0001) — IT University of Copenhagen, Computer Science Department, Center for Information Security and Trust, CISAT, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[i5]Markus Krabbe Larsen, Carsten Schürmann:
Nominal State-Separating Proofs. IACR Cryptol. ePrint Arch. 2025: 598 (2025)- [i4]Markus Krabbe Larsen, Carsten Schürmann:
An Induction Principle for Hybrid Arguments in Nominal-SSProve. IACR Cryptol. ePrint Arch. 2025: 1122 (2025) - 2024
- [c45]Carsten Schürmann:
Social Elections. E-Vote-ID (GI) 2024: 127-139 - [c44]Reynald Affeldt
, Clark W. Barrett, Alessandro Bruni, Ieva Daukantas, Harun Khan, Takafumi Saikawa, Carsten Schürmann:
Robust Mean Estimation by All Means (Short Paper). ITP 2024: 39:1-39:8 - 2023
- [i3]Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark:
A Declaration of Software Independence. CoRR abs/2311.03372 (2023) - 2021
- [c43]Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark:
A Declaration of Software Independence. Protocols, Strands, and Logic 2021: 198-217 - [c42]Thomas Chanussot, Carsten Schürmann:
Cyber Awareness Training for Election Staff Using Constructive Alignment. E-VOTE-ID 2021: 63-74 - [i2]Asmita Dalela, Oksana Kulyk, Carsten Schürmann:
Voter Perceptions of Trust in Risk-Limiting Audits. CoRR abs/2109.07918 (2021) - 2020
- [c41]Carsten Schürmann, Lisa Hartmann Jensen, Rósa María Sigbjörnsdóttir:
Effective Cybersecurity Awareness Training for Election Officials. E-VOTE-ID 2020: 196-212
2010 – 2019
- 2017
- [c40]Douglas Wikström, Jordi Barrat, Sven Heiberg, Robert Krimmer, Carsten Schürmann:
How Could Snowden Attack an Election? E-VOTE-ID 2017: 280-291 - [e4]Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann:
Electronic Voting - Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Lecture Notes in Computer Science 10615, Springer 2017, ISBN 978-3-319-68686-8 [contents] - 2016
- [c39]Carsten Schürmann, Jian Wang:
Measuring Voter Lines. CeDEM 2016: 57-65 - 2015
- [j3]Gereon H. Büscher, Risto Kõiva, Carsten Schürmann, Robert Haschke, Helge J. Ritter:
Flexible and stretchable fabric-based tactile sensor. Robotics Auton. Syst. 63: 244-252 (2015) - [e3]Iliano Cervesato, Carsten Schürmann:
Proceedings First International Workshop on Focusing, WoF 2015, Suva, Fiji, 23rd November 2015. EPTCS 197, 2015 [contents] - 2014
- [c38]Randi Markussen, Lorena Ronquillo, Carsten Schürmann:
Trust in internet election observing the Norwegian decryption and counting ceremony. EVOTE 2014: 1-8 - 2013
- [b1]Carsten Schürmann:
A high speed sensor system for tactile interaction research. Bielefeld University, Germany, 2013 - [c37]Risto Kõiva, Matthias Zenker, Carsten Schürmann, Robert Haschke, Helge J. Ritter:
A highly sensitive 3D-shaped tactile sensor. AIM 2013: 1084-1089 - [c36]Carsten Schürmann:
Certifying Voting Protocols. ITP 2013: 17 - [c35]Qiang Li, Carsten Schürmann, Robert Haschke, Helge J. Ritter:
A Control Framework for Tactile Servoing. Robotics: Science and Systems 2013 - 2012
- [c34]Gereon H. Büscher, Risto Kõiva, Carsten Schürmann, Robert Haschke, Helge J. Ritter:
Tactile dataglove with fabric-based sensors. Humanoids 2012: 204-209 - [c33]Carsten Schürmann, Risto Kõiva, Robert Haschke, Helge J. Ritter:
Analysis of human grasping under task anticipation using a tactile book. Humanoids 2012: 773-778 - [p1]Carsten Schürmann, Matthias Schöpfer, Robert Haschke, Helge J. Ritter:
A High-Speed Tactile Sensor for Slip Detection. Towards Service Robots for Everyday Environments 2012: 403-415 - 2011
- [j2]Carsten Schürmann:
Modernizing the Danish democratic process. Commun. ACM 54(10): 27-29 (2011) - [c32]Carsten Schürmann, Risto Kõiva, Robert Haschke, Helge J. Ritter:
A modular high-speed tactile sensor for human manipulation research. World Haptics 2011: 339-344 - [c31]Henry DeYoung, Carsten Schürmann:
Linear Logical Voting Protocols. VoteID 2011: 53-70 - [c30]Maxime Beauquier, Carsten Schürmann:
A Bigraph Relational Model. LFMTP 2011: 14-28 - 2010
- [c29]Matthias Schöpfer, Carsten Schürmann, Michael Pardowitz, Helge J. Ritter:
Using a Piezo-Resistive Tactile Sensor for Detection of Incipient Slippage. ISR/ROBOTIK 2010: 1-7 - [c28]Anders Schack-Nielsen, Carsten Schürmann:
Pattern Unification for the Lambda Calculus with Linear and Affine Types. LFMTP 2010: 101-116
2000 – 2009
- 2009
- [c27]Florian Rabe, Carsten Schürmann:
A practical module system for LF. LFMTP 2009: 40-48 - [c26]Carsten Schürmann:
Electronic Elections: Trust Through Engineering. REVOTE 2009: 38-46 - 2008
- [c25]Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe:
Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008 - [c24]Anders Schack-Nielsen, Carsten Schürmann:
Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). IJCAR 2008: 320-326 - [c23]Adam Poswolsky, Carsten Schürmann:
System Description: Delphin - A Functional Programming Language for Deductive Systems. LFMTP@LICS 2008: 113-120 - [e2]Carsten Schürmann:
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004. Electronic Notes in Theoretical Computer Science 199, Elsevier 2008 [contents] - [e1]Brigitte Pientka, Carsten Schürmann:
Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen, Germany, July 15, 2007. Electronic Notes in Theoretical Computer Science 196, Elsevier 2008 [contents] - 2007
- [c22]Brigitte Pientka, Carsten Schürmann:
Preface. LFMTP@CADE 2007: 1 - 2006
- [c21]Carsten Schürmann, Mark-Oliver Stehr:
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. LPAR 2006: 150-166 - [i1]Christoph Benzmüller, John Harrison, Carsten Schürmann:
LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL). CoRR abs/cs/0601042 (2006) - 2005
- [c20]Carsten Schürmann, Jatin Shah:
Identifying Polynomial-Time Recursive Functions. CSL 2005: 525-540 - [c19]Carsten Schürmann:
Meta-Logical Frameworks and Formal Digital Libraries. VSTTE 2005: 478-485 - 2004
- [c18]Carsten Schürmann:
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. FLOPS 2004: 22-23 - [c17]Carsten Schürmann:
Preface. LFM@IJCAR 2004: 1-2 - [c16]Andrew McCreight, Carsten Schürmann:
A Meta Linear Logical Framework. LFM@IJCAR 2004: 129-147 - [c15]Aaron Stump, Carsten Schürmann:
Logical Semantics for the Rewriting Calculus. STRATEGIES@IJCAR 2004: 149-164 - 2003
- [c14]Carsten Schürmann, Jatin Shah:
Representing reductions of NP-complete problems in logical frameworks: a case study. MERLIN 2003 - [c13]Serge Autexier, Carsten Schürmann:
Disproving False Conjectures. LPAR 2003: 33-48 - [c12]Carsten Schürmann, Frank Pfenning:
A Coverage Checking Algorithm for LF. TPHOLs 2003: 120-135 - 2002
- [c11]Carsten Schürmann, Serge Autexier:
Towards Proof Planning for Mω+. LFM 2002: 124-145 - 2001
- [j1]Carsten Schürmann, Joëlle Despeyroux, Frank Pfenning:
Primitive recursion for higher-order abstract syntax. Theor. Comput. Sci. 266(1-2): 1-57 (2001) - [c10]Carsten Schürmann:
Recursion for Higher-Order Encodings. CSL 2001: 585-599 - [c9]Carsten Schürmann:
A Type-Theoretic Approach to Induction with Higher-Order Encodings. LPAR 2001: 266-281 - [c8]Carsten Schürmann, Dachuan Yu, Zhaozhong Ni:
A Representation of Fomega in LF. MERLIN 2001: 79-96 - 2000
- [c7]Carsten Schürmann:
Tutorial: Meta-logical Frameworks. CADE 2000: 507-508 - [c6]Carsten Schürmann:
Workshop: Automation of Proofs by Mathematical Induction. CADE 2000: 514
1990 – 1999
- 1999
- [c5]Frank Pfenning, Carsten Schürmann:
System Description: Twelf - A Meta-Logical Framework for Deductive Systems. CADE 1999: 202-206 - 1998
- [c4]Carsten Schürmann, Frank Pfenning:
Automated Theorem Proving in a Simple Meta-Logic for LF. CADE 1998: 286-300 - [c3]Frank Pfenning, Carsten Schürmann:
Algorithms for Equality and Unification in the Presence of Notational Definitions. TYPES 1998: 179-193 - [c2]Frank Pfenning, Carsten Schürmann:
Algorithms for Equality and Unification in the Presence of Notational Definitions. Proof Search in Type-Theoretic Languages@CADE 1998: 1-13 - 1997
- [c1]Joëlle Despeyroux, Frank Pfenning, Carsten Schürmann:
Primitive Recursion for Higher-Order Abstract Syntax. TLCA 1997: 147-163
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-02 19:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
