ITU
Carsten Schürmann

Carsten Schürmann

Full Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C13

Phone: +45 72185282

Information Desk: 72185000

View graph of relations

  1. Article in proceedings › Research › Peer-reviewed
  2. Published

    Vote Counting as Mathematical Proof

    Schürmann, C. & Pattinson, D., 1 Dec 2015, Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. Pfahringer, B. & Renz, J. (eds.). 2015 ed. Canberra: Springer, Vol. LNAI 9457. p. 464-475 11 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Voter Perceptions of Trust in Risk-Limiting Audit

    Dalela, A., Kulyk, O. & Schürmann, C., 2021, Proceedings of the Sixth International Joint Conference on Electronic Voting (E-Vote-ID 2021). TalTech press

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  4. Book chapter › Research › Peer-reviewed
  5. Published

    An Introduction to Voting Rule Verification

    Beckert, B., Bormer, T., Gore, R., Kirsten, M. & Schürmann, C., 2017, Trends in Computational Social Choice. AI Access, p. 269-289 20 p.

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  6. Report › Research › Not peer-reviewed
  7. Published

    Linear contextual modal type theory

    Schack-Nielsen, A. & Schürmann, C., 2011, IT-Universitetet i København. 6 p.

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  8. Published

    Measuring Voter Lines

    Schürmann, C. & Wang, J., Nov 2015, 26 p. (ITU Technical Report Series; No. TR-2015-191).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  9. Published

    Mode Checking in the Concurrent Logical Framework

    Schürmann, C., Sacchini, J., Pfenning, F. & Cervesato, I., 2014, (Technical Report Carnegie Mellon University).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  10. Published

    The lambda sigma calculus and strong normalization

    Schack-Nielsen, A. & Schürmann, C., 2011, IT-Universitetet i København. 13 p.

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  11. Published

    Voter Perceptions of Trust in Risk-Limiting Audits (Extended)

    Dalela, A., Kulyk, O. & Schürmann, C., 2021

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  12. Book › Education › Not peer-reviewed
  13. Published

    The Use of Open Source Technology in Elections

    Schürmann, C., Clouser, M., Krimmer, R., Nore, H. & Wolf, P., 2014, International IDEA. 54 p.

    Research output: Book / Anthology / Report / Ph.D. thesisBookEducation

  14. Book › Research › Not peer-reviewed
  15. Published

    Certification of ICTs in Elections

    Schürmann, C., Barrat, J., Bolo, E., Bravo, A., Krimmer, R., Neumann, S., Acong Parreno, A., Volkamer, M. & Wolf, P., 2015, Stockholm: International IDEA. 76 p.

    Research output: Book / Anthology / Report / Ph.D. thesisBookResearch

ID: 263621