Dmitriy Traytel
Lektor - forfremmelsesprogrammet
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
Flest downloads
-
21 downloadsUdgivet
Practical Relational Calculus Query Evaluation
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
-
16 downloadsUdgivet
Verified Progress Tracking for Timely Dataflow.
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
-
15 downloadsUdgivet
Explainable Online Monitoring of Metric Temporal Logic
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
-
10 downloadsUdgivet
Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
ID: 245399103
Flest downloads
-
21
downloads
Practical Relational Calculus Query Evaluation
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
16
downloads
Verified Progress Tracking for Timely Dataflow.
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
15
downloads
Explainable Online Monitoring of Metric Temporal Logic
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet