Boris Düdder

Boris Düdder

Associate Professor

Member of:

    ORCID: 0000-0002-0241-7729

    Publication year:
    All
    1 - 10 out of 40Page size: 10
    Sort by: 1st author
    1. 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

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

    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

      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

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

    6. Combinatory Logic Synthesizer

      Bessai, J., Dudenhefner, A., Duedder, Boris & Martens, M., 2014, Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8–11, 2014 Proceedings, Part I. Springer, p. 26-40 (Lecture Notes in Computer Science, Vol. 8802).

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

    7. Mixin Composition Synthesis based on Intersection Types

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

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

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

    9. Mixin composition synthesis based on intersection types

      Bessai, J., Duedder, Boris, Dudenhefner, A., Chen, T. C., De'Liguoro, U. & Rehof, J., 1 Jul 2015, 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015. Altenkirch, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 76-91 16 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 38).

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

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

    Previous 1 2 3 4 Next

    ID: 172785813