Dmitriy Traytel

Dmitriy Traytel

Associate Professor - Promotion Programme

Most downloads

  1. 14 downloads
    Published

    Verified Progress Tracking for Timely Dataflow.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  2. 13 downloads
    Published

    Practical Relational Calculus Query Evaluation

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. 12 downloads
    Published

    Explainable Online Monitoring of Metric Temporal Logic

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  4. 10 downloads
    Published

    Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant

    Research output: Contribution to journalJournal articlepeer-review

ID: 245399103