Boris Düdder

Boris Düdder

Associate Professor

Member of:

    ORCID: 0000-0002-0241-7729

    Publication year:
    All
    11 - 20 out of 44Page size: 10
    Sort by: Title

    1. Combinatory logic synthesizer

      Bessai, J., Dudenhefner, A., Duedder, Boris, Martens, M. & Rehof, J., 1 Jan 2014, Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. Margaria, T., Steffen, B. & Margaria, T. (eds.). Springer Verlag, p. 26-40 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8802).

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

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

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

    4. Published

      Covariant conversions (coco): A design pattern for type-safe modular software evolution in object-oriented systems

      Bessai, J., Heineman, G. T. & Duedder, Boris, 1 Jul 2021, 35th European Conference on Object-Oriented Programming, ECOOP 2021. Moller, A. & Sridharan, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-25 4. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 194).

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

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

    6. Published

      Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain

      Xu, Yibin, Slaats, Tijs, Duedder, Boris, Debois, S. & Wu, Haiqin, 2022, arxiv.org, 15 p.

      Research output: Working paper › Research

    7. Published

      Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain

      Xu, Yibin, Slaats, Tijs, Duedder, Boris, Debois, S. & Wu, Haiqin, 2023, Financial Cryptography and Data Security. FC 2022 International Workshops. Matsuo, S., Gudgeon, L., Klages-Mundt, A., Perez Hernandez, D., Werner, S., Haines, T., Essex, A., Bracciali, A. & Sala, M. (eds.). Springer, p. 583–597 (Lecture Notes in Computer Science, Vol. 13412).

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

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

    9. Published

      Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee

      Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, In: Frontiers in blockchain. 5, 18 p., 846783.

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

    10. Published

      Event-based data-centric semantics for consistent data management in microservices

      Zuckmantel, Tilman, Duedder, Boris, Zhou, Yongluan & Hildebrandt, Thomas Troels, 2022, DEBS '22: Proceedings of the 16th ACM International Conference on Distributed and Event-Based Systems. Association for Computing Machinery, p. 97-102

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

    Previous 1 2 3 4 5 Next

    ID: 172785813