Dmitriy Traytel

Dmitriy Traytel

Associate Professor - Promotion Programme

ORCID: 0000-0001-7982-2768

Publication year:
All
1 - 4 out of 4Page size: 10
  1. 2020

  2. A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic

    Basin, D., Dardinier, T., Heimes, L., Krstić, S., Raszyk, M., Schneider, J. & Traytel, Dmitriy, 2020, IJCAR 2020. Vol. 12166. p. 432-453 22 p. (Lecture Notes in Computer Science, Vol. 12166).

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

  3. Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

    Schlichtkrull, A., Blanchette, J. C., Traytel, Dmitriy & Waldmann, U., 2020, In: Journal of Automated Reasoning. 64, p. 1169–1195

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

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

  5. Quotients of Bounded Natural Functors

    Fürer, B., Lochbihler, A., Schneider, J. & Traytel, Dmitriy, 2020, IJCAR 2020. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, Cham, Vol. 12167. p. 58-78 21 p. (Lecture Notes in Computer Science, Vol. 12167).

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

ID: 245399103