Dmitriy Traytel

Dmitriy Traytel

Associate Professor - Promotion Programme

ORCID: 0000-0001-7982-2768

Publication year:
All
41 - 50 out of 54Page size: 10
  1. 2015

  2. Formalizing Symbolic Decision Procedures for Regular Languages

    Traytel, Dmitriy, 15 Oct 2015, Technische Universität München . 132 p.

    Research output: Book/Report › Doctoral thesis › Research

  3. A Coalgebraic Decision Procedure for WS1S

    Traytel, Dmitriy, 2015, CSL 2015. Kreutzer, S. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 41. p. 487-503 17 p. (LIPIcs).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  4. A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)

    Hölzl, J., Lochbihler, A. & Traytel, Dmitriy, 2015, ITP 2015. Zhang, X. & Urban, C. (eds.). Springer, Cham, Vol. 9236. p. 203-220 18 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  5. Foundational Extensible Corecursion

    Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2015, ICFP 2015. Reppy, J. (ed.). ACM, p. 192-204 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  6. Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions

    Traytel, Dmitriy & Nipkow, T., 2015, In: Journal of Functional Programming. 25

    Research output: Contribution to journal › Journal article › Research › peer-review

  7. Witnessing (Co)datatypes

    Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2015, Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Vitek, J. (ed.). Springer, p. 359-382 24 p. (Lecture Notes in Computer Science, Vol. 9032).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  8. 2014

  9. Cardinals in Isabelle/HOL

    Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2014, ITP 2014 - Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Klein, G. & Gamboa, R. (eds.). Springer, Cham, p. 111-127 17 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  10. Experience Report: The Next 1100 Haskell Programmers

    Blanchette, J. C., Hupel, L., Nipkow, T., Noschinski, L. & Traytel, Dmitriy, 2014, Haskell '14: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell. Swiestra, W. (ed.). ACM, p. 25-30 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  11. Truly Modular (Co)datatypes for Isabelle/HOL

    Blanchette, J. C., Hölzl, J., Lochbihler, A., Panny, L., Popescu, A. & Traytel, Dmitriy, 2014, ITP 2014 - : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Klein, G. & Gamboa, R. (eds.). Springer, Cham, Vol. 8558. p. 93-110 18 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  12. Unified Classical Logic Completeness - A Coinductive Pearl

    Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2014, Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings. Demri, S., Kapur, D. & Weidenbach, C. (eds.). Springer, Cham, p. 46-60 15 p. (Lecture Notes in Computer Science, Vol. 8562).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Previous 1 2 3 4 5 6 Next

ID: 245399103