Boris Düdder

Boris Düdder

Assistant professor

ORCID: 0000-0002-0241-7729

Publication year:
All
1 - 2 out of 2Page size: 10
  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 journal › Journal article › Research › peer-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. CEUR-WS.org, 2017. (CEUR Workshop Proceedings, Vol. 1898).

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

ID: 172785813