Dmitriy Traytel

Dmitriy Traytel

Lektor - forfremmelsesprogrammet

ORCID: 0000-0001-7982-2768

Udgivelsesår:
Alle
1 - 6 ud af 6Pr. side: 10
Sortering: Titel

  1. A Coalgebraic Decision Procedure for WS1S

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  3. Formalizing Symbolic Decision Procedures for Regular Languages

    Traytel, Dmitriy, 15 okt. 2015, Technische Universität München . 132 s.

    Publikation: Bog/antologi/afhandling/rapport › Doktordisputats › Forskning

  4. Foundational Extensible Corecursion

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  6. 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. (red.). Springer, s. 359-382 24 s. (Lecture Notes in Computer Science, Bind 9032).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

ID: 245399103