Dmitriy Traytel

Dmitriy Traytel

Lektor - forfremmelsesprogrammet

ORCID: 0000-0001-7982-2768

Udgivelsesår:
Alle
51 - 55 ud af 55Pr. side: 25
Sortering: 1. forfatter

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

Forrige 1 2 3 Næste

ID: 245399103