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. 2006
  2. 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

  3. 2008
  4. 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

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

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

  7. 2009
  8. Published

    A Practical Module System for LF

    Schürmann, C. & Rabe, F., 2009, Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery, p. 40 48 p.

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

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

  10. Published

    System Description: Delphin - A Functional Programming Language for Deductive Systems

    Schürmann, C. & Poswolsky, A., 2009, Electronic Notes in Theoretical Computer Science: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice (LFMTP 2008. Abel, A. & Urban, C. (eds.). Pergamon Press, Vol. 228. p. 113-120

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

  11. Published

    The Twelf Proof Assistant

    Schürmann, C., 2009, Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics. Springer Publishing Company, p. 79 83 p. (Lecture Notes In Computer Science, Vol. 5674).

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

  12. 2010
  13. Published

    Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus

    Schack-Nielsen, A. & Schürmann, C., 2010, International Joint Conference on Automated Reasoning (IJCAR). Springer, p. 1 14 p. (Lecture Notes in Computer Science; No. 6173).

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

  14. Published

    Electronic Elections: Trust Through Engineering

    Schürmann, C., 2010, First International Workshop on Requirements Engineering for e-Voting Systems (RE-VOTE), 2009 . IEEE Communications Society

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

Previous 1 2 3 4 5 6 Next

ID: 263621