Dmitriy Traytel
Lektor - forfremmelsesprogrammet
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
- 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
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
Scalable Online First-Order Monitoring
Schneider, J., Basin, D., Brix, F., Krstić, S. & Traytel, Dmitriy, 2018, RV 2018. Colombo, C. & Leucker, M. (red.). Springer, Cham, Bind 11237. s. 353-371 19 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Scalable online first-order monitoring
Schneider, J., Basin, D., Brix, F., Krstić, S. & Traytel, Dmitriy, 2021, I: International Journal on Software Tools for Technology Transfer. 23, 2, s. 185-208Publikation: Bidrag til tidsskrift › Tidsskriftartikel › 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
Truly Modular (Co)datatypes for Isabelle/HOL
Blanchette, J. C., Hölzl, J., Lochbihler, A., Panny, L., Popescu, A. & Traytel, Dmitriy, 2014, ITP 2014 - : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Klein, G. & Gamboa, R. (red.). Springer, Cham, Bind 8558. s. 93-110 18 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Unified Classical Logic Completeness - A Coinductive Pearl
Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2014, Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings. Demri, S., Kapur, D. & Weidenbach, C. (red.). Springer, Cham, s. 46-60 15 s. (Lecture Notes in Computer Science, Bind 8562).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Unified Decision Procedures for Regular Expression Equivalence
Nipkow, T. & Traytel, Dmitriy, 2014, ITP 2014 - Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Klein, G. & Gamboa, R. (red.). Springer, Cham, Bind 8558. s. 450-466 17 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
VeriMon: A Formally Verified Monitoring Tool
Basin, D., Dardinier, T., Hauser, N., Heimes, L., Huerta y Munive, J. J., Kaletsch, N., Krstić, S., Marsicano, E., Raszyk, M., Schneider, J., Tirore, D. L., Traytel, Dmitriy & Zingg, S., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (red.). Springer, s. 1-6 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13572 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions
Traytel, Dmitriy & Nipkow, T., 2015, I: Journal of Functional Programming. 25Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
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 -
14
downloads
Explainable Online Monitoring of Metric Temporal Logic
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
14
downloads
Practical Relational Calculus Query Evaluation
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet