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

    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

  2. Published

    Modernizing the Danish democratic process

    Schürmann, C., Oct 2011, In: Association for Computing Machinery. Communications. 2011, 10, p. 27-29

    Research output: Journal Article or Conference Article in JournalConference articleCommunication

  3. Published

    Multiparty session types as coherence proofs

    Carbone, M., Montesi, F., Montesi, F., Schürmann, C. & Yoshida, N., 2017, In: Acta Informatica. 54, 3, p. 243-269

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

  4. Published

    Multiparty Session Types as Coherence Proofs

    Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory (CONCUR 2015): Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 42. p. 412 15 p.

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

  5. Published

    On Matching Concurrent Traces

    Schürmann, C., Cervesato, I., Pfenning, F. & Simmons, R. J., 2012, Proceedings of the 26th International Workshop on Unification (UNIF 26). p. 14-19

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

  6. Published

    Party Endorsement Systems and Internet Voting.

    Schürmann, C. & Stauning, S., 24 Oct 2017, E-Vote-ID 2017: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Tallinn: TUT Press, p. 207-208 2 p.

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

  7. Published

    Pattern Unification for the Lambda Calculus with Linear and Affine Types

    Schack-Nielsen, A. & Schürmann, C., 2010, Proceedings of the 5th Workshop on Logical Frameworks and Meta Languages, Theory and Practice. p. 101 15 p. (EPTCS; No. 34).

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

  8. Published

    Practical Programming with Higher-Order Encodings and Dependent Types

    Poswolsky, A. & Schürmann, C., 2008, In: Lecture Notes in Computer Science. p. 93-107

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

  9. Published

    Representing Session Types

    Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 p.

    Research output: Other contributionResearch

  10. Published

    Security Protocols as Choreographies

    Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Security Protocols as Choreographies: Joshua Guttman's Festschrift . Springer, p. 98 111 p.

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

ID: 263621