Dmitriy Traytel

• Præsentation
• Publikationer
• Mest downloadede

Flest downloads

1. 16 downloads

   Udgivet

   Verified Progress Tracking for Timely Dataflow.

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

2. 14 downloads

   Udgivet

   Explainable Online Monitoring of Metric Temporal Logic

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

3. 14 downloads

   Udgivet

   Practical Relational Calculus Query Evaluation

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

4. 10 downloads

   Udgivet

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

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