Carsten Schürmann

According to our database1, Carsten Schürmann
  • authored at least 63 papers between 1997 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Multiparty session types as coherence proofs.
Acta Inf., 2017

2016
A Risk-Limiting Audit in Denmark: A Pilot.
Proceedings of the Electronic Voting - First International Joint Conference, 2016

Automatic Margin Computation for Risk-Limiting Audits.
Proceedings of the Electronic Voting - First International Joint Conference, 2016

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Measuring Voter Lines.
Proceedings of the 2016 Conference for E-Democracy and Open Government, 2016

2015
Flexible and stretchable fabric-based tactile sensor.
Robotics and Autonomous Systems, 2015

A Contextual Logical Framework.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Multiparty Session Types as Coherence Proofs.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

Vote Counting as Mathematical Proof.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014
Verifying voting schemes.
J. Inf. Sec. Appl., 2014

Hybrid Extensions in a Logical Framework.
Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

Trust in internet election observing the Norwegian decryption and counting ceremony.
Proceedings of the 6th International Conference on Electronic Voting: Verifying the Vote, 2014

Choreographies, Logically.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013
On the Specification and Verification of Voting Schemes.
Proceedings of the E-Voting and Identify, 2013

A Control Framework for Tactile Servoing.
Proceedings of the Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24, 2013

Certifying Voting Protocols.
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
A High-Speed Tactile Sensor for Slip Detection.
Proceedings of the Towards Service Robots for Everyday Environments, 2012

Analysis of human grasping under task anticipation using a tactile book.
Proceedings of the 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012), Osaka, Japan, November 29, 2012

Tactile dataglove with fabric-based sensors.
Proceedings of the 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012), Osaka, Japan, November 29, 2012

Truthful Monadic Abstractions.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011
A Bigraph Relational Model
Proceedings of the Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2011

Modernizing the Danish democratic process.
Commun. ACM, 2011

Linear Logical Voting Protocols.
Proceedings of the E-Voting and Identity, 2011

A modular high-speed tactile sensor for human manipulation research.
Proceedings of the IEEE World Haptics Conference, 2011

2010
Pattern Unification for the Lambda Calculus with Linear and Affine Types
Proceedings of the Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2010

Focused Natural Deduction.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Using a Piezo-Resistive Tactile Sensor for Detection of Incipient Slippage.
Proceedings of the ISR/ROBOTIK 2010, Proceedings for the joint conference of ISR 2010 (41st Internationel Symposium on Robotics) und ROBOTIK 2010 (6th German Conference on Robotics), 7-9 June 2010, Munich, Germany, 2010

Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009
System Description: Delphin - A Functional Programming Language for Deductive Systems.
Electr. Notes Theor. Comput. Sci., 2009

The Twelf Proof Assistant.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Lexicographic Path Induction.
Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

Electronic Elections: Trust Through Engineering.
Proceedings of the First International Workshop on Requirements Engineering for e-Voting Systems, 2009

A practical module system for LF.
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009

2008
Preface.
Electr. Notes Theor. Comput. Sci., 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

A Meta Linear Logical Framework.
Electr. Notes Theor. Comput. Sci., 2008

Structural Logical Relations.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

Practical Programming with Higher-Order Encodings and Dependent Types.
Proceedings of the Programming Languages and Systems, 2008

Celf - A Logical Framework for Deductive and Concurrent Systems (System Description).
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Evaluation of Systems for Higher-order Logic (ESHOL).
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

2006
LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
CoRR, 2006

An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf.
Proceedings of the Logic for Programming, 2006

2005
Logical Semantics for the Rewriting Calculus.
Electr. Notes Theor. Comput. Sci., 2005

Meta-Logical Frameworks and Formal Digital Libraries.
Proceedings of the Verified Software: Theories, 2005

The [triangle]-Calculus. Functional Programming with Higher-Order Encodings.
Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Identifying Polynomial-Time Recursive Functions.
Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2004
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.
Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003
A Coverage Checking Algorithm for LF.
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Disproving False Conjectures.
Proceedings of the Logic for Programming, 2003

Representing reductions of NP-complete problems in logical frameworks: a case study.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002
Towards Proof Planning for Mω+.
Electr. Notes Theor. Comput. Sci., 2002

2001
A Representation of Fomega in LF.
Electr. Notes Theor. Comput. Sci., 2001

Primitive recursion for higher-order abstract syntax.
Theor. Comput. Sci., 2001

A Type-Theoretic Approach to Induction with Higher-Order Encodings.
Proceedings of the Logic for Programming, 2001

Recursion for Higher-Order Encodings.
Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000
Workshop: Automation of Proofs by Mathematical Induction.
Proceedings of the Automated Deduction, 2000

Tutorial: Meta-logical Frameworks.
Proceedings of the Automated Deduction, 2000

1999
System Description: Twelf - A Meta-Logical Framework for Deductive Systems.
Proceedings of the Automated Deduction, 1999

1998
Algorithms for Equality and Unification in the Presence of Notational Definitions.
Electr. Notes Theor. Comput. Sci., 1998

Algorithms for Equality and Unification in the Presence of Notational Definitions.
Proceedings of the Types for Proofs and Programs, 1998

Automated Theorem Proving in a Simple Meta-Logic for LF.
Proceedings of the Automated Deduction, 1998

1997
Primitive Recursion for Higher-Order Abstract Syntax.
Proceedings of the Typed Lambda Calculi and Applications, 1997


  Loading...