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. Conference article › Communication
  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. Conference article › Research › Peer-reviewed
  4. Published

    A Bigraph Relational Model

    Beauquier, M. & Schürmann, C., 2011, In: Electronic Proceedings in Theoretical Computer Science. 71, p. 14 28 p.

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

  5. Published

    Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)

    Schack-Nielsen, A. & Schürmann, C., 2008, In: Lecture Notes in Computer Science. p. 320-326

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

  6. Published

    Choreographies, Logically

    Carbone, M., Montesi, F. & Schürmann, C., 2014, In: Lecture Notes in Computer Science. 8704, p. 47-62 15 p.

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

  7. Published

    Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

    Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 2016, In: Leibniz International Proceedings in Informatics (LIPIcs). 59, p. 1-15 15 p., 33.

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

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

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

  10. Published

    Structural Logical Relations

    Schürmann, C. & Sarnat, J., 2008, In: Logic in Computer Science. p. 69-82

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

  11. Journal article › Research › Peer-reviewed
  12. Published

    An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework

    Schürmann, C. & Stehr, M-O., 2006, In: Lecture Notes in Computer Science. 4246

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

  13. Published

    Choreographies, logically

    Carbone, M., Montesi, F. & Schürmann, C., 2018, In: Distributed Computing. 31, 1, p. 51-67 17 p.

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

ID: 263621