Dmitriy Traytel

Dmitriy Traytel

Associate Professor - Promotion Programme

ORCID: 0000-0001-7982-2768

Publication year:
All
11 - 20 out of 55Page size: 10
  1. 2015

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

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

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

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

  6. 2016

  7. Formal Languages, Formally and Coinductively

    Traytel, Dmitriy, 2016, FSCD 2016. Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 52. p. 31:1-31:17 (LIPIcs).

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

  8. 2017

  9. Almost Event-Rate Independent Monitoring of Metric Dynamic Logic

    Basin, D., Krstić, S. & Traytel, Dmitriy, 2017, Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. Lahiri, S. & Reger, G. (eds.). Springer, Cham, p. 85-102 18 p. (Lecture Notes in Computer Science, Vol. 10548).

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

  10. Almost Event-Rate Independent Monitoring of Metric Temporal Logic

    Basin, D., Bhatt, B. & Traytel, Dmitriy, 2017, TACAS 2017. Legay, A. & Margaria, T. (eds.). Springer Berlin/Heidelberg, Vol. 10206. p. 94-112 19 p. (LNCS).

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

  11. Formal Languages, Formally and Coinductively

    Traytel, Dmitriy, 2017, In: Logical Methods in Computer Science. 13, 3, p. 1-22 28.

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

  12. Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic

    Biendarra, J., Blanchette, J. C., Bouzy, A., Desharnais, M., Fleury, M., Hölzl, J., Kunčar, O., Lochbihler, A., Meier, F., Panny, L., Popescu, A., Sternagel, C., Thiemann, R. & Traytel, Dmitriy, 2017, FroCoS 2017. Dixon, C. & Finger, M. (eds.). Springer, Cham, Vol. 10483. p. 3-21 19 p. (LNCS).

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

  13. Foundational Nonuniform (Co)datatypes for Higher-Order Logic

    Blanchette, J. C., Meier, F., Popescu, A. & Traytel, Dmitriy, 2017, LICS 2017. IEEE Computer Society Press, p. 1-12 12 p.

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

Previous 1 2 3 4 5 6 Next

ID: 245399103