Dmitriy Traytel

Dmitriy Traytel

Associate Professor - Promotion Programme

ORCID: 0000-0001-7982-2768

Publication year:
All
31 - 40 out of 55Page size: 10
Sort by: Title

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

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

  3. Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving

    Traytel, Dmitriy, Popescu, A. & Blanchette, J. C., 2012, LICS 2012. IEEE Computer Society Press, p. 596-605 10 p.

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

  4. Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants

    Blanchette, J. C., Bouzy, A., Lochbihler, A., Popescu, A. & Traytel, Dmitriy, 2017, ESOP 2017. Yang, H. (ed.). Springer Berlin/Heidelberg, Vol. 10201. p. 111-140 30 p. (LNCS).

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

  5. From Nondeterministic to Multi-Head Deterministic Finite-State Transducers

    Raszyk, M., Basin, D. & Traytel, Dmitriy, 2019, ICALP 2019. Baier, C., Chatzigiannakis, I., Flocchini, P. & Leonardi, S. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 132. p. 127:1-127:14 (LIPIcs).

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

  6. Generic Authenticated Data Structures, Formally

    Brun, M. & Traytel, Dmitriy, 2019, ITP 2019. Harrison, J., O'Leary, J. & Tolmach, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 141. p. 10:1-10:18 (LIPIcs).

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

  7. Multi-Head Monitoring of Metric Temporal Logic

    Raszyk, M., Basin, D., Krstić, S. & Traytel, Dmitriy, 2019, ATVA 2019. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, Cham, Vol. 11781. p. 151-170 20 p. (LNCS).

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

  8. Published

    Multi-head Monitoring of Metric Dynamic Logic

    Raszyk, M., Basin, D. & Traytel, Dmitriy, 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer, p. 233-250 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12302 LNCS).

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

  9. Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL

    Blanchette, J. C., Fleury, M. & Traytel, Dmitriy, 2017, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 84. p. 11:1-11:18 (LIPIcs).

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

  10. Optimal Proofs for Linear Temporal Logic on Lasso Words

    Basin, D., Bhatt, B. & Traytel, Dmitriy, 2018, Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Lahiri, S. & Wang, C. (eds.). Springer, p. 37-55 19 p. (LNCS, Vol. 11138).

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

Previous 1 2 3 4 5 6 Next

ID: 245399103