Boris Düdder

Boris Düdder

Assistant professor

Publication year:
  1. 2018
  2. Mixin Composition Synthesis based on Intersection Types. / Bessai, Jan; Chen, Tzu-Chun; Dudenhefner, Andrej; Duedder, Boris; de'Liguoro, Ugo; Rehof, Jacob.

    In: Logical Methods in Computer Science, Vol. 14, No. 1, 18, 27.02.2018, p. 1-37.

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. 2017
  4. Published

    Timber tracking : reducing complexity of due diligence by using blockchain technology (position paper). / Düdder, Boris; Ross, Omry.

    Pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017: joint proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium, Copenhagen, Denmark, August 28 - 30, 2017. ed. / Björn Johansson., 2017. (CEUR Workshop Proceedings, Vol. 1898).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

ID: 172785813