Dmitriy Traytel
Lektor - forfremmelsesprogrammet
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
- Udgivet
Verified First-Order Monitoring with Recursive Rules
Zingg, S., Krstić, S., Raszyk, M., Schneider, J. & Traytel, Dmitriy, 2022, Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (red.). Springer, Bind 2. s. 236-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13244 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., 2013, ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. Morrisett, G. & Uustalu, T. (red.). ACM, s. 3-12 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
A Coalgebraic Decision Procedure for WS1S
Traytel, Dmitriy, 2015, CSL 2015. Kreutzer, S. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bind 41. s. 487-503 17 s. (LIPIcs).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
Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving
Traytel, Dmitriy, Popescu, A. & Blanchette, J. C., 2012, LICS 2012. IEEE Computer Society Press, s. 596-605 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Formal Languages, Formally and Coinductively
Traytel, Dmitriy, 2017, I: Logical Methods in Computer Science. 13, 3, s. 1-22 28.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Formal Languages, Formally and Coinductively
Traytel, Dmitriy, 2016, FSCD 2016. Kesner, D. & Pientka, B. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bind 52. s. 31:1-31:17 (LIPIcs).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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
- Udgivet
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping
Traytel, Dmitriy, Berghofer, S. & Nipkow, T., 2011, APLAS 2011. Yang, H. (red.). Springer Berlin/Heidelberg, Bind 7078. s. 89-104 16 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Sánchez, C., Schneider, G., Ahrendt, W., Bartocci, E., Bianculli, D., Colombo, C., Falcone, Y., Francalanza, A., Krstić, S., Lourenço, J. M., Nickovic, D., Pace, G. J., Rufino, J., Signoles, J., Traytel, Dmitriy & Weiss, A., 2019, I: Formal Methods in System Design. 54, 3, s. 279-335 57 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › 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