Boris Düdder

Boris Düdder

Associate Professor

Member of:

    ORCID: 0000-0002-0241-7729

    Publication year:
    All
    41 - 44 out of 44Page size: 10
    1. 2014

    2. Staged composition synthesis

      Duedder, Boris, Martens, M. & Rehof, J., 1 Jan 2014, Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, p. 67-86 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8410 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    3. Combinatory Logic Synthesizer

      Bessai, J., Dudenhefner, A., Duedder, Boris & Martens, M., 2014, Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8–11, 2014 Proceedings, Part I. Springer, p. 26-40 (Lecture Notes in Computer Science, Vol. 8802).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    4. 2013

    5. Intersection type matching with subtyping

      Duedder, Boris, Martens, M. & Rehof, J., 27 Sep 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 125-139 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7941 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    6. 2012

    7. Bounded combinatory logic

      Duedder, Boris, Martens, M., Rehof, J. & Urzyczyn, P., 1 Dec 2012, Computer Science Logic 2012 - 26th International Workshop/21th Annual Conference of the EACSL, CSL 2012. p. 243-258 16 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 16).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Previous 1 2 3 4 5 Next

    ID: 172785813