Ansatte – Københavns Universitet

Boris Düdder

Boris Düdder

Adjunkt


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

    I: Logical Methods in Computer Science, Bind 14, Nr. 1, 18, 27.02.2018, s. 1-37.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. 2017
  4. Udgivet

    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. red. / Björn Johansson. CEUR-WS.org, 2017.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

ID: 172785813