Boris Düdder

Boris Düdder

Lektor

Medlem af:

    ORCID: 0000-0002-0241-7729

    Udgivelsesår:
    Alle
    1 - 10 ud af 44Pr. side: 10
    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. 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

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

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

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

    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

    Forrige 1 2 3 4 5 Næste

    ID: 172785813