Boris Düdder

Boris Düdder

Associate Professor

Member of:

    ORCID: 0000-0002-0241-7729

    Publication year:
    All
    11 - 20 out of 45Page size: 10
    Sort by: 1st author
    1. Published

      BlockNet Report: Exploring the Blockchain Skills Concept and Best Practice Use Cases

      Duedder, Boris, Fomin, V., Guerpinar, T., Henke, M., Ioannidis, P. A., Janaviciene, V., Matulevicius, R., Iqbal, M. & Straub, N., 2021, arXiv.org. 103 p.

      Research output: Book/Report › Report › Research

    2. Published

      Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives

      Duedder, Boris, Vladislav V. Fomin, V. V. F., Tan Guerpinar, T. G., Michael Henke, M. H., Philipp Asterios Ioannidis, P. A. I., Mubashar Iqbal, M. I., Raimundas Matulevičius, R. M., Natalia Straub, N. S. & Wu, Haiqin, 2021, In: Frontiers in Blockchain . 3, 8 p., :578022.

      Research output: Contribution to journal › Journal article › Research › peer-review

    3. Synthesizing type-safe compositions in feature oriented software designs using staged composition

      Duedder, Boris, Rehof, J. & Heineman, G. T., 20 Jul 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., p. 398-401 4 p. (ACM International Conference Proceeding Series, Vol. 20-24-July-2015).

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

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

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

    7. ModSyn-PP: Modular synthesis of programs and processes track introduction

      Duedder, Boris, Heineman, G. T. & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 261-265 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

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

    8. Published

      Timber tracking: reducing complexity of due diligence by using blockchain technology (position paper)

      Duedder, Boris & Ross, Omry, 2017, 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. Johansson, B. (ed.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 1898).

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

    9. Published

      Curriculum Guidance Document - The BlockNet Consortium: WHITE PAPER

      Duedder, Boris, Wu, Haiqin, Henke, M., Straub, N., Gürpinar, T., Ioannidis, P. A., Fomin, V., Matulevičius, R. & Iqbal, M., Feb 2021, arXiv.org. 49 p.

      Research output: Book/Report › Report › Research

    10. Published

      Ethical maintenance of artificial intelligence systems

      Duedder, Boris, Möslein, F., Stürtz, N., Westerlund, M. & Zicari, R. V., 1 Jan 2021, Artificial Intelligence for Sustainable Value Creation. Edward Elgar Publishing, p. 151-171

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

    Previous 1 2 3 4 5 Next

    ID: 172785813