Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Carsten Schürmann

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c32]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/BeckertGS13
- ask others
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
2012
[c31]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/Brock-NannestadS12
- ask others
Taus Brock-Nannestad, Carsten Schürmann: Truthful Monadic Abstractions. IJCAR 2012: 97-110
2011
[j10]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cacm/Schurmann11
- ask others
Carsten Schürmann: Modernizing the Danish democratic process. Commun. ACM 54(10): 27-29 (2011)
[c30]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/voteid/DeYoungS11
- ask others
Henry DeYoung, Carsten Schürmann: Linear Logical Voting Protocols. VOTE-ID 2011: 53-70
[c29]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-0086
- ask others
Maxime Beauquier, Carsten Schürmann: A Bigraph Relational Model. LFMTP 2011: 14-28
2010
[c28]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/Schack-NielsenS10
- ask others
Anders Schack-Nielsen, Carsten Schürmann: Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. IJCAR 2010: 1-14
[c27]
- view
  - electronic edition @ ieee.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isr/SchopferSPR10
- ask others
Matthias Schöpfer, Carsten Schürmann, Michael Pardowitz, Helge Ritter: Using a Piezo-Resistive Tactile Sensor for Detection of Incipient Slippage. ISR/ROBOTIK 2010: 1-7
[c26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpar/Brock-NannestadS10
- ask others
Taus Brock-Nannestad, Carsten Schürmann: Focused Natural Deduction. LPAR (Yogyakarta) 2010: 157-171
[c25]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1009-2795
- ask others
Anders Schack-Nielsen, Carsten Schürmann: Pattern Unification for the Lambda Calculus with Linear and Affine Types. LFMTP 2010: 101-116

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/PoswolskyS09
- ask others
Adam Poswolsky, Carsten Schürmann: System Description: Delphin - A Functional Programming Language for Deductive Systems. Electr. Notes Theor. Comput. Sci. 228: 113-120 (2009)
[c24]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lfmtp/RabeS09
- ask others
Florian Rabe, Carsten Schürmann: A practical module system for LF. LFMTP 2009: 40-48
[c23]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/re/Schurmann09
- ask others
Carsten Schürmann: Electronic Elections: Trust Through Engineering. REVOTE 2009: 38-46
[c22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/SarnatS09
- ask others
Jeffrey Sarnat, Carsten Schürmann: Lexicographic Path Induction. TLCA 2009: 279-293
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/Schurmann09
- ask others
Carsten Schürmann: The Twelf Proof Assistant. TPHOLs 2009: 79-83
2008
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/PientkaS08
- ask others
Brigitte Pientka, Carsten Schürmann: Preface. Electr. Notes Theor. Comput. Sci. 196: 1 (2008)
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Schurmann08
- ask others
Carsten Schürmann: Preface. Electr. Notes Theor. Comput. Sci. 199: 1-2 (2008)
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/McCreightS08
- ask others
Andrew McCreight, Carsten Schürmann: A Meta Linear Logical Framework. Electr. Notes Theor. Comput. Sci. 199: 129-147 (2008)
[c20]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/BenzmullerRSS08
- ask others
Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe: Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/Schack-NielsenS08
- ask others
Anders Schack-Nielsen, Carsten Schürmann: Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). IJCAR 2008: 320-326
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/PoswolskyS08
- ask others
Adam Poswolsky, Carsten Schürmann: Practical Programming with Higher-Order Encodings and Dependent Types. ESOP 2008: 93-107
[c17]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/SchurmannS08
- ask others
Carsten Schürmann, Jeffrey Sarnat: Structural Logical Relations. LICS 2008: 69-80
2006
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpar/SchurmannS06
- ask others
Carsten Schürmann, Mark-Oliver Stehr: An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. LPAR 2006: 150-166
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-cs-0601042
- ask others
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
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/StumpS05
- ask others
Aaron Stump, Carsten Schürmann: Logical Semantics for the Rewriting Calculus. Electr. Notes Theor. Comput. Sci. 125(2): 149-164 (2005)
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/SchurmannS05
- ask others
Carsten Schürmann, Jatin Shah: Identifying Polynomial-Time Recursive Functions. CSL 2005: 525-540
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/SchurmannPS05
- ask others
Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat: The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. TLCA 2005: 339-353
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vstte/Schurmann05
- ask others
Carsten Schürmann: Meta-Logical Frameworks and Formal Digital Libraries. VSTTE 2005: 478-485
2004
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Schurmann04
- ask others
Carsten Schürmann: Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. FLOPS 2004: 22-23
2003
[c11]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/SchurmannS03
- ask others
Carsten Schürmann, Jatin Shah: Representing reductions of NP-complete problems in logical frameworks: a case study. MERLIN 2003
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpar/AutexierS03
- ask others
Serge Autexier, Carsten Schürmann: Disproving False Conjectures. LPAR 2003: 33-48
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/SchurmannP03
- ask others
Carsten Schürmann, Frank Pfenning: A Coverage Checking Algorithm for LF. TPHOLs 2003: 120-135
2002
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/SchurmannA02
- ask others
Carsten Schürmann, Serge Autexier: Towards Proof Planning for Mω⁺. Electr. Notes Theor. Comput. Sci. 70(2): 124-145 (2002)
2001
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/SchurmannYN01
- ask others
Carsten Schürmann, Dachuan Yu, Zhaozhong Ni: A Representation of Fomega in LF. Electr. Notes Theor. Comput. Sci. 58(1): 79-96 (2001)
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/SchurmannDP01
- ask others
Carsten Schürmann, Joëlle Despeyroux, Frank Pfenning: Primitive recursion for higher-order abstract syntax. Theor. Comput. Sci. 266(1-2): 1-57 (2001)
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Schurmann01
- ask others
Carsten Schürmann: Recursion for Higher-Order Encodings. CSL 2001: 585-599
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpar/Schurmann01
- ask others
Carsten Schürmann: A Type-Theoretic Approach to Induction with Higher-Order Encodings. LPAR 2001: 266-281
2000
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/Schurmann00
- ask others
Carsten Schürmann: Tutorial: Meta-logical Frameworks. CADE 2000: 507-508
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/Schurmann00a
- ask others
Carsten Schürmann: Workshop: Automation of Proofs by Mathematical Induction. CADE 2000: 514

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/PfenningS99
- ask others
Frank Pfenning, Carsten Schürmann: System Description: Twelf - A Meta-Logical Framework for Deductive Systems. CADE 1999: 202-206
1998
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/PfenningS98
- ask others
Frank Pfenning, Carsten Schürmann: Algorithms for Equality and Unification in the Presence of Notational Definitions. Electr. Notes Theor. Comput. Sci. 17: 1-13 (1998)
[c3]
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/SchurmannP98
- ask others
Carsten Schürmann, Frank Pfenning: Automated Theorem Proving in a Simple Meta-Logic for LF. CADE 1998: 286-300
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/types/PfenningS98
- ask others
Frank Pfenning, Carsten Schürmann: Algorithms for Equality and Unification in the Presence of Notational Definitions. TYPES 1998: 179-193
1997
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/DespeyrouxPS97
- ask others
Joëlle Despeyroux, Frank Pfenning, Carsten Schürmann: Primitive Recursion for Higher-Order Abstract Syntax. TLCA 1997: 147-163