Boris Düdder

Boris Düdder

Lektor

Medlem af:

    ORCID: 0000-0002-0241-7729

    Udgivelsesår:
    Alle
    1 - 25 ud af 44Pr. side: 25
    Sortering: 1. forfatter
    1. Udgivet

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

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    2. Udgivet

      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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 1-25 4. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 194).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    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. (red.). Springer Verlag, s. 123-140 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9539).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    4. Udgivet

      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. (red.). Springer, s. 356-371 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11200 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    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. (red.). Springer Verlag, s. 266-281 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    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, s. 26-40 (Lecture Notes in Computer Science, Bind 8802).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    7. Mixin Composition Synthesis based on Intersection Types

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    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. (red.). Springer Verlag, s. 26-40 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8802).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 76-91 16 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 38).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    10. Udgivet

      Chu-ko-nu: A Reliable, Efficient, and Anonymously Authentication-Enabled Realization for Multi-Round Secure Aggregation in Federated Learning

      Cui, K., Feng, X., Wang, L., Wu, Haiqin, Zhang, X. & Duedder, Boris, 23 feb. 2024.

      Publikation: Working paper › Preprint › Forskning

    11. Udgivet

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

      Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

    12. Udgivet

      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, I: Frontiers in Blockchain . 3, 8 s., :578022.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    13. 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., s. 398-401 4 s. (ACM International Conference Proceeding Series, Bind 20-24-July-2015).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    14. 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, s. 67-86 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8410 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    15. 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. s. 125-139 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 7941 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    16. 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. s. 243-258 16 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 16).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    17. 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. (red.). Springer Verlag, s. 261-265 5 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    18. Udgivet

      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. (red.). CEUR-WS.org, 6 s. (CEUR Workshop Proceedings, Bind 1898).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    19. Udgivet

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

      Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

    20. Udgivet

      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, s. 151-171

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    21. Towards migrating object-oriented frameworks to enable synthesis of product line members

      Heineman, G., Hoxha, A., Duedder, Boris & Rehof, J., 20 jul. 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., s. 56-60 5 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    22. 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. (red.). Springer Verlag, s. 303-317 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    23. Udgivet

      Kunstig intelligens kommer ikke nødvendigvis patienter til gode

      Holm, Sune Hannibal, Blomberg, S. N., Christensen, Helle Collatz & Duedder, Boris, 12 jun. 2023, I: Berlingske. s. 20-21 2 s.

      Publikation: Bidrag til tidsskrift › Bidrag til avis - Kommentar/debat › Formidling

    24. E-pub ahead of print

      Incentive Mechanism for Uncertain Tasks under Differential Privacy

      Jiang, Xikun, Ying, C., Li, Lei, Duedder, Boris, Wu, Haiqin, Jin, H. & Luo, Y., 2024, (E-pub ahead of print) I: IEEE Transactions on Services Computing. 12 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    25. Udgivet

      Incentive Mechanism Design for Uncertain Tasks in Mobile Crowd Sensing Systems Utilizing Smart Contract in Blockchain

      Jiang, Xikun, Ying, C., Yu, X., Duedder, Boris & Luo, Y., 2022, Collaborative Computing: Networking, Applications and Worksharing - 18th EAI International Conference, CollaborateCom 2022, Proceedings. Gao, H., Wang, X., Wei, W. & Dagiuklas, T. (red.). Springer, s. 475-493 19 s. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Bind 460 LNICST).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    Forrige 1 2 Næste

    ID: 172785813