Dmitriy Traytel
Lektor - forfremmelsesprogrammet
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
- 2019
A Formally Verified Abstract Account of Gödel's Incompleteness Theorems
Popescu, A. & Traytel, Dmitriy, 2019, CADE-27. Fontaine, P. (red.). Springer, Cham, Bind 11716. s. 442-461 20 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
A Formally Verified Monitor for Metric First-Order Temporal Logic
Schneider, J., Basin, D., Krstić, S. & Traytel, Dmitriy, 2019, RV 2019. Finkbeiner, B. & Mariani, L. (red.). Springer, Cham, Bind 11757. s. 310-328 19 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
A Verified Prover Based on Ordered Resolution
Schlichtkrull, A., Blanchette, J. C. & Traytel, Dmitriy, 2019, CPP 2019. Mahboubi, A. & Myreen, M. O. (red.). ACM, s. 152-165 14 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Adaptive Online First-Order Monitoring
Schneider, J., Basin, D., Brix, F., Krstić, S. & Traytel, Dmitriy, 2019, ATVA 2019. Chen, Y-F., Cheng, C-H. & Esparza, J. (red.). Springer, Cham, Bind 11781. s. 133-150 18 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
From Nondeterministic to Multi-Head Deterministic Finite-State Transducers
Raszyk, M., Basin, D. & Traytel, Dmitriy, 2019, ICALP 2019. Baier, C., Chatzigiannakis, I., Flocchini, P. & Leonardi, S. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bind 132. s. 127:1-127:14 (LIPIcs).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Generic Authenticated Data Structures, Formally
Brun, M. & Traytel, Dmitriy, 2019, ITP 2019. Harrison, J., O'Leary, J. & Tolmach, A. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bind 141. s. 10:1-10:18 (LIPIcs).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Multi-Head Monitoring of Metric Temporal Logic
Raszyk, M., Basin, D., Krstić, S. & Traytel, Dmitriy, 2019, ATVA 2019. Chen, Y-F., Cheng, C-H. & Esparza, J. (red.). Springer, Cham, Bind 11781. s. 151-170 20 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 245399103
Flest downloads
-
20
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