Dmitriy Traytel

• Præsentation
• Publikationer
• Mest downloadede

Flest downloads

1. 30 downloads

   Udgivet

   Practical Relational Calculus Query Evaluation

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

2. 29 downloads

   Udgivet

   Explainable Online Monitoring of Metric Temporal Logic

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

3. 22 downloads

   Udgivet

   Verified Progress Tracking for Timely Dataflow.

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

4. 18 downloads

   Udgivet

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

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

5. 17 downloads

   Udgivet

   Scalable online first-order monitoring

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