


Остановите войну!
for scientists:


default search action
Carsten Schürmann
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j11]Giampaolo Bella, Rosario Giustolisi, Carsten Schürmann:
Modelling human threats in security ceremonies. J. Comput. Secur. 30(3): 411-433 (2022) - [c67]Rosario Giustolisi, Carsten Schürmann:
POSTER: Enabling User-Accountable Mechanisms in Decision Systems. ACNS Workshops 2022: 600-605 - 2021
- [c66]Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim
, Carsten Schürmann:
Security Protocols as Choreographies. Protocols, Strands, and Logic 2021: 98-111 - [c65]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 - [c64]Thomas Chanussot, Carsten Schürmann:
Cyber Awareness Training for Election Staff Using Constructive Alignment. E-VOTE-ID 2021: 63-74 - [c63]Ieva Daukantas, Alessandro Bruni, Carsten Schürmann:
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. PPDP 2021: 17:1-17:9 - [i4]Marco Carbone, Sonia Marin, Carsten Schürmann:
Synchronous Forwarders. CoRR abs/2102.04731 (2021) - [i3]Asmita Dalela, Oksana Kulyk, Carsten Schürmann:
Voter Perceptions of Trust in Risk-Limiting Audits. CoRR abs/2109.07918 (2021) - [i2]Marco Carbone, Sonia Marin, Carsten Schürmann:
Forwarders as Process Compatibility, Logically. CoRR abs/2112.07636 (2021) - 2020
- [c62]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
- 2019
- [c61]Ivan Garbacz, Rosario Giustolisi, Kasper Møller Nielsen, Carsten Schürmann:
A Security Analysis of the Danish Deposit Return System. STAST 2019: 124-139 - [c60]Carsten Schürmann, Alessandro Bruni:
Technical and Socio-Technical Attacks on the Danish Party Endorsement System. E-VOTE-ID 2019: 200-215 - 2018
- [j10]Marco Carbone, Fabrizio Montesi
, Carsten Schürmann:
Choreographies, logically. Distributed Comput. 31(1): 51-67 (2018) - [c59]Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann:
Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). SSR 2018: 21-36 - [c58]Carsten Schürmann:
Rounding Considered Harmful. E-Vote-ID 2018: 189-202 - 2017
- [j9]Marco Carbone, Fabrizio Montesi
, Carsten Schürmann, Nobuko Yoshida
:
Multiparty session types as coherence proofs. Acta Informatica 54(3): 243-269 (2017) - [c57]Alessandro Bruni, Rosario Giustolisi, Carsten Schürmann:
Automated Analysis of Accountability. ISC 2017: 417-434 - [c56]Alessandro Bruni, Eva Drewsen, Carsten Schürmann:
Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy. E-VOTE-ID 2017: 110-126 - [c55]Stefan Patachi, Carsten Schürmann:
Eos a Universal Verifiable and Coercion Resistant Voting Protocol. E-VOTE-ID 2017: 210-227 - [c54]Douglas Wikström, Jordi Barrat
, Sven Heiberg, Robert Krimmer
, Carsten Schürmann:
How Could Snowden Attack an Election? E-VOTE-ID 2017: 280-291 - [e2]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
- [c53]Carsten Schürmann, Jian Wang:
Measuring Voter Lines. CeDEM 2016: 57-65 - [c52]Marco Carbone, Sam Lindley, Fabrizio Montesi
, Carsten Schürmann, Philip Wadler:
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR 2016: 33:1-33:15 - [c51]Bernhard Beckert, Michael Kirsten
, Vladimir Klebanov, Carsten Schürmann:
Automatic Margin Computation for Risk-Limiting Audits. E-VOTE-ID 2016: 18-35 - [c50]Carsten Schürmann:
A Risk-Limiting Audit in Denmark: A Pilot. E-VOTE-ID 2016: 192-202 - 2015
- [j8]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) - [c49]Dirk Pattinson, Carsten Schürmann:
Vote Counting as Mathematical Proof. Australasian Conference on Artificial Intelligence 2015: 464-475 - [c48]Marco Carbone, Fabrizio Montesi
, Carsten Schürmann, Nobuko Yoshida
:
Multiparty Session Types as Coherence Proofs. CONCUR 2015: 412-426 - [c47]Peter Brottveit Bock, Carsten Schürmann:
A Contextual Logical Framework. LPAR 2015: 402-417 - [e1]Iliano Cervesato, Carsten Schürmann:
Proceedings First International Workshop on Focusing, WoF 2015, Suva, Fiji, 23rd November 2015. EPTCS 197, 2015 [contents] - 2014
- [j7]Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang:
Verifying voting schemes. J. Inf. Secur. Appl. 19(2): 115-129 (2014) - [c46]Marco Carbone, Fabrizio Montesi
, Carsten Schürmann:
Choreographies, Logically. CONCUR 2014: 47-62 - [c45]Randi Markussen, Lorena Ronquillo, Carsten Schürmann:
Trust in internet election observing the Norwegian decryption and counting ceremony. EVOTE 2014: 1-8 - [c44]Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann:
Hybrid Extensions in a Logical Framework. LFMTP 2014: 6: 1-6: 8 - 2013
- [c43]Risto Kõiva
, Matthias Zenker, Carsten Schürmann, Robert Haschke
, Helge J. Ritter:
A highly sensitive 3D-shaped tactile sensor. AIM 2013: 1084-1089 - [c42]Bernhard Beckert, Rajeev Goré, Carsten Schürmann:
Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. CADE 2013: 135-144 - [c41]Carsten Schürmann:
Certifying Voting Protocols. ITP 2013: 17 - [c40]Qiang Li, Carsten Schürmann, Robert Haschke, Helge J. Ritter:
A Control Framework for Tactile Servoing. Robotics: Science and Systems 2013 - [c39]Bernhard Beckert, Rajeev Goré, Carsten Schürmann:
On the Specification and Verification of Voting Schemes. VoteID 2013: 25-40 - 2012
- [c38]Taus Brock-Nannestad, Carsten Schürmann:
Truthful Monadic Abstractions. IJCAR 2012: 97-110 - [c37]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 - [c36]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
- [j6]Carsten Schürmann:
Modernizing the Danish democratic process. Commun. ACM 54(10): 27-29 (2011) - [c35]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 - [c34]Henry DeYoung, Carsten Schürmann:
Linear Logical Voting Protocols. VoteID 2011: 53-70 - [c33]Maxime Beauquier, Carsten Schürmann:
A Bigraph Relational Model. LFMTP 2011: 14-28 - 2010
- [c32]Anders Schack-Nielsen, Carsten Schürmann:
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. IJCAR 2010: 1-14 - [c31]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 - [c30]Taus Brock-Nannestad, Carsten Schürmann:
Focused Natural Deduction. LPAR (Yogyakarta) 2010: 157-171 - [c29]Anders Schack-Nielsen, Carsten Schürmann:
Pattern Unification for the Lambda Calculus with Linear and Affine Types. LFMTP 2010: 101-116
2000 – 2009
- 2009
- [j5]Adam Poswolsky, Carsten Schürmann:
System Description: Delphin - A Functional Programming Language for Deductive Systems. Electron. Notes Theor. Comput. Sci. 228: 113-120 (2009) - [c28]Florian Rabe
, Carsten Schürmann:
A practical module system for LF. LFMTP 2009: 40-48 - [c27]Carsten Schürmann:
Electronic Elections: Trust Through Engineering. REVOTE 2009: 38-46 - [c26]Jeffrey Sarnat, Carsten Schürmann:
Lexicographic Path Induction. TLCA 2009: 279-293 - [c25]Carsten Schürmann:
The Twelf Proof Assistant. TPHOLs 2009: 79-83 - 2008
- [j4]Brigitte Pientka, Carsten Schürmann:
Preface. Electron. Notes Theor. Comput. Sci. 196: 1 (2008) - [j3]Carsten Schürmann:
Preface. Electron. Notes Theor. Comput. Sci. 199: 1-2 (2008) - [j2]Andrew McCreight, Carsten Schürmann:
A Meta Linear Logical Framework. Electron. Notes Theor. Comput. Sci. 199: 129-147 (2008) - [c24]Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe:
Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008 - [c23]Anders Schack-Nielsen, Carsten Schürmann:
Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). IJCAR 2008: 320-326 - [c22]Adam Poswolsky, Carsten Schürmann:
Practical Programming with Higher-Order Encodings and Dependent Types. ESOP 2008: 93-107 - [c21]Carsten Schürmann, Jeffrey Sarnat:
Structural Logical Relations. LICS 2008: 69-80 - 2006
- [c20]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
- [c19]Carsten Schürmann, Jatin Shah:
Identifying Polynomial-Time Recursive Functions. CSL 2005: 525-540 - [c18]Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat:
The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. TLCA 2005: 339-353 - [c17]Carsten Schürmann:
Meta-Logical Frameworks and Formal Digital Libraries. VSTTE 2005: 478-485 - 2004
- [c16]Carsten Schürmann:
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. FLOPS 2004: 22-23 - [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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2022-12-14 22:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint