Dmitriy Traytel

Dmitriy Traytel

Lektor - forfremmelsesprogrammet

ORCID: 0000-0001-7982-2768

Udgivelsesår:
Alle
1 - 25 ud af 54Pr. side: 25
Sortering: Udgivelsesdato
  1. 2011
  2. 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

  3. 2012

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

  5. 2013

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

  7. 2014

  8. Cardinals in Isabelle/HOL

    Blanchette, J. C., Popescu, A. & 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, s. 111-127 17 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  9. Experience Report: The Next 1100 Haskell Programmers

    Blanchette, J. C., Hupel, L., Nipkow, T., Noschinski, L. & Traytel, Dmitriy, 2014, Haskell '14: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell. Swiestra, W. (red.). ACM, s. 25-30 6 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

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

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

  13. 2015

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

  15. A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)

    Hölzl, J., Lochbihler, A. & Traytel, Dmitriy, 2015, ITP 2015. Zhang, X. & Urban, C. (red.). Springer, Cham, Bind 9236. s. 203-220 18 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  16. Foundational Extensible Corecursion

    Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2015, ICFP 2015. Reppy, J. (red.). ACM, s. 192-204 13 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  17. Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions

    Traytel, Dmitriy & Nipkow, T., 2015, I: Journal of Functional Programming. 25

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

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

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

  20. 2016

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

  22. 2017

  23. Almost Event-Rate Independent Monitoring of Metric Dynamic Logic

    Basin, D., Krstić, S. & Traytel, Dmitriy, 2017, Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. Lahiri, S. & Reger, G. (red.). Springer, Cham, s. 85-102 18 s. (Lecture Notes in Computer Science, Bind 10548).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  24. Almost Event-Rate Independent Monitoring of Metric Temporal Logic

    Basin, D., Bhatt, B. & Traytel, Dmitriy, 2017, TACAS 2017. Legay, A. & Margaria, T. (red.). Springer Berlin/Heidelberg, Bind 10206. s. 94-112 19 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

  26. Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic

    Biendarra, J., Blanchette, J. C., Bouzy, A., Desharnais, M., Fleury, M., Hölzl, J., Kunčar, O., Lochbihler, A., Meier, F., Panny, L., Popescu, A., Sternagel, C., Thiemann, R. & Traytel, Dmitriy, 2017, FroCoS 2017. Dixon, C. & Finger, M. (red.). Springer, Cham, Bind 10483. s. 3-21 19 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

  28. Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants

    Blanchette, J. C., Bouzy, A., Lochbihler, A., Popescu, A. & Traytel, Dmitriy, 2017, ESOP 2017. Yang, H. (red.). Springer Berlin/Heidelberg, Bind 10201. s. 111-140 30 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

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

  31. 2018

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

  33. 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. (red.). Springer, Cham, Bind 10900. s. 89-107 19 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1 2 3 Næste

ID: 245399103