Boris Düdder

Boris Düdder

Associate Professor

ORCID: 0000-0002-0241-7729

Publication year:
All
1 - 10 out of 18Page size: 10
  1. 2021
  2. 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., 8 Feb 2021, In : arXiv.

    Research output: Contribution to journal › Journal article › Research

  3. Published

    BlockNet Report: Curriculum Guidance Document

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

    Research output: Contribution to journal › Journal article › Research

  4. 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, 14 Jan 2021, In : Frontiers in Blockchain . 3, 8 p.

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

  5. 2019
  6. Published

    Fast Verified BCD Subtyping

    Bessai, J., Rehof, J. & Duedder, Boris, 1 Jan 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Margaria, T., Graf, S. & Larsen, K. G. (eds.). Springer, p. 356-371 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11200 LNCS).

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

  7. 2018

  8. Mixin Composition Synthesis based on Intersection Types

    Bessai, J., Chen, T., Dudenhefner, A., Duedder, Boris, de'Liguoro, U. & Rehof, J., 27 Feb 2018, In : Logical Methods in Computer Science. 14, 1, p. 1-37 18.

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

  9. 2017
  10. Published

    Mixin Composition Synthesis based on Intersection Types

    Bessai, J., Chen, T., Dudenhefner, A., Duedder, Boris, de'Liguoro, U. & Rehof, J., 19 Dec 2017, In : Logical Methods in Computer Science, Volume.

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

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

  12. 2016

  13. A long and winding road towards modular synthesis

    Heineman, G. T., Bessai, J., Duedder, Boris & 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. 303-317 15 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

  14. Combinatory process synthesis

    Bessai, J., Dudenhefner, A., Duedder, Boris, Martens, M. & 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. 266-281 16 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

  15. Combinatory synthesis of classes using feature grammars

    Bessai, J., Duedder, Boris, Heineman, G. T. & Rehof, J., 1 Jan 2016, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Revised Selected Papers. Braga, C. & Ölveczky, P. C. (eds.). Springer Verlag, p. 123-140 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9539).

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

Previous 1 2 Next

ID: 172785813