Dmitriy Traytel
Lektor - forfremmelsesprogrammet
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
ORCID: 0000-0001-7982-2768
1 - 1 ud af 1Pr. side: 10
- 2015
Formalizing Symbolic Decision Procedures for Regular Languages
Traytel, Dmitriy, 15 okt. 2015, Technische Universität München . 132 s.Publikation: Bog/antologi/afhandling/rapport › Doktordisputats › Forskning
ID: 245399103
Flest downloads
-
16
downloads
Verified Progress Tracking for Timely Dataflow.
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
15
downloads
Practical Relational Calculus Query Evaluation
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
14
downloads
Explainable Online Monitoring of Metric Temporal Logic
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet