Dmitriy Traytel

Dmitriy Traytel

Associate Professor - Promotion Programme

ORCID: 0000-0001-7982-2768

Publication year:
All
1 - 6 out of 6Page 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

ID: 245399103