Dmitriy Traytel
Associate Professor - Promotion Programme
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
- Published
Admissible Types-to-PERs Relativization in Higher-Order Logic
Popescu, A. & Traytel, Dmitriy, 2023, In: Proceedings of the ACM on Programming Languages. 7, POPL, 32 p., 42.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant
Popescu, A. & Traytel, Dmitriy, 2021, In: Journal of Automated Reasoning. 65, p. 1027–1070Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Efficient Evaluation of Arbitrary Relational Calculus Queries
Raszyk, M., Basin, D., Krstić, S. & Traytel, Dmitriy, 2023, In: Logical Methods in Computer Science. 19, 4Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Multi-head Monitoring of Metric Dynamic Logic
Raszyk, M., Basin, D. & Traytel, Dmitriy, 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer, p. 233-250 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12302 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Practical Relational Calculus Query Evaluation
Raszyk, M., Basin, D., Krstić, S. & Traytel, Dmitriy, 2022, 25th International Conference on Database Theory, ICDT 2022. Olteanu, D. & Vortmeier, N. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-21 11. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 220).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 132. p. 127:1-127:14 (LIPIcs).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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. (eds.). Springer, Cham, Vol. 11781. p. 151-170 20 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Differential Testing of Pushdown Reachability with a Formally Verified Oracle
Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, Dmitriy, 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. Griggio, A. & Rungta, N. (eds.). TU Wien Academic Press, p. 369-379Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
A Verified Prover Based on Ordered Resolution
Schlichtkrull, A., Blanchette, J. C. & Traytel, Dmitriy, 2019, CPP 2019. Mahboubi, A. & Myreen, M. O. (eds.). ACM, p. 152-165 14 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
Schlichtkrull, A., Blanchette, J. C., Traytel, Dmitriy & Waldmann, U., 2018, IJCAR 2018. Galmiche, D., Schulz, S. & Sebastiani, R. (eds.). Springer, Cham, Vol. 10900. p. 89-107 19 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 245399103
Most downloads
-
21
downloads
Practical Relational Calculus Query Evaluation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
16
downloads
Verified Progress Tracking for Timely Dataflow.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
16
downloads
Explainable Online Monitoring of Metric Temporal Logic
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published