Dmitriy Traytel
Lektor - forfremmelsesprogrammet
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
Quotients of Bounded Natural Functors
Fürer, B., Lochbihler, A., Schneider, J. & Traytel, Dmitriy, 2020, IJCAR 2020. Peltier, N. & Sofronie-Stokkermans, V. (red.). Springer, Cham, Bind 12167. s. 58-78 21 s. (Lecture Notes in Computer Science, Bind 12167).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Quotients of Bounded Natural Functors
Fürer, B., Lochbihler, A., Schneider, J. & Traytel, Dmitriy, 2022, I: Logical Methods in Computer Science. 18, 1, s. 1-28 23.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
A Taxonomy for Classifying Runtime Verification Tools
Falcone, Y., Krstić, S., Reger, G. & Traytel, Dmitriy, 2018, Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings. Colombo, C. & Leucker, M. (red.). Springer, s. 241-262 22 s. (LNCS). (Lecture Notes in Computer Science, Bind 11237).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
A taxonomy for classifying runtime verification tools.
Falcone, Y., Krstić, S., Reger, G. & Traytel, Dmitriy, 2021, I: International Journal on Software Tools for Technology Transfer. 23, 2, s. 255-284Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Verified Progress Tracking for Timely Dataflow.
Brun, M., Decova, S., Lattuada, A. & Traytel, Dmitriy, 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021). Cohen, L. & Kaliszyk, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-20 10. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 193).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
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL
Blanchette, J. C., Fleury, M. & Traytel, Dmitriy, 2017, FSCD 2017. Miller, D. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bind 84. s. 11:1-11:18 (LIPIcs).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Witnessing (Co)datatypes
Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2015, Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Vitek, J. (red.). Springer, s. 359-382 24 s. (Lecture Notes in Computer Science, Bind 9032).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Soundness and Completeness Proofs by Coinductive Methods
Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2017, I: Journal of Automated Reasoning. 58, 1, s. 149-179 31 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Foundational Nonuniform (Co)datatypes for Higher-Order Logic
Blanchette, J. C., Meier, F., Popescu, A. & Traytel, Dmitriy, 2017, LICS 2017. IEEE Computer Society Press, s. 1-12 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › 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