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. Published

    Focused Natural Deduction

    Brock-Nannestad, T. & Schürmann, C., 2010, roceeding of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Springer, p. 157 15 p. (Lecture Notes in Computer Science; No. 6397).

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

  2. Published

    Framing Electoral Transparency: A comparative analysis of three e-votes counting ceremonies

    Schürmann, C., Markussen, R., Bélanger, O. & Ronquillo, L., 2016. 18 p.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearch

  3. Published

    How Could Snowden Attack an Election?

    Wikström, D., Barrat, J., Heiberg, S., Krimmer, R. & Schürmann, C., 24 Oct 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Bregenz/Lochau: Springer, p. 280-291 11 p. (Lecture Notes in Computer Science, Vol. 10615).

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

  4. Published

    How to weaponize RLAs to discredit an election

    Schürmann, C., 2021.

    Research output: Contribution to conference - NOT published in proceeding or journalConference abstract for conferenceResearchpeer-review

  5. Published

    Hybrid Extensions in a Logical Framework

    Schürmann, C., Brock-Nannestad, T., Guenot, N. & Murawska, A., 2014, LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery, 6

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

  6. Published

    Lexicographic Path Induction

    Schürmann, C. & Sarnat, J., 2009, In: Lecture Notes in Computer Science. p. 279 293 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  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

    Linear Logical Voting Protocols

    DeYoung, H. & Schürmann, C., 2012, In: Lecture Notes in Computer Science. 7187, p. 53-70

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  9. 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

  10. Published

    Measuring Voter Lines

    Schürmann, C. & Wang, J., 2016, Proceedings of the 6th International Conference for E-Democracy and Open Government: CeDEM 16. IEEE Professional Communication Society, p. 57-65 8 p.

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

ID: 263621