Boris Düdder

Boris Düdder

Lektor

Medlem af:

    ORCID: 0000-0002-0241-7729

    Udgivelsesår:
    Alle
    31 - 40 ud af 44Pr. side: 10
    Sortering: Titel

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

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

    4. Udgivet

      On assessing trustworthy AI in healthcare: Best practice for machine learning as a supportive tool to recognize cardiac arrest in emergency calls

      Zicari, R. V., Brusseau, J., Blomberg, S. N., Christensen, H. C., Coffee, M., Ganapini, M. B., Gerke, S., Gilbert, T. K., Hickman, E., Hildt, E., Holm, S., Kühne, U., Madai, V. I., Osika, W., Spezzatti, A., Schnebel, E., Tithi, J. J., Vetter, D., Westerlund, M., Wurth, R. & 20 flere, Amann, J., Antun, V., Beretta, V., Bruneault, F., Campano, E., Duedder, Boris, Gallucci, A., Goffi, E., Haase, Christoffer Bjerre, Hagendorff, T., Kringen, P., Möslein, F., Ottenheimer, D., Ozols, M., Palazzani, L., Petrin, M., Tafur, K., Tørresen, J., Volland, H. & Kararigas, G., jul. 2021, I: Frontiers in Human Dynamics . 3, 24 s., 673104.

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

    5. Udgivet

      Poster: Unanimous-Majority - Pushing Blockchain Sharding Throughput to its Limit

      Xu, Yibin, Slaats, Tijs & Duedder, Boris, 7 nov. 2022, CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), s. 3495–3497

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

    6. Udgivet

      Reliable and Streaming Truth Discovery in Blockchain-based Crowdsourcing

      Mukkamala, P. S., Wu, Haiqin & Duedder, Boris, 2023, 2023 20th Annual IEEE International Conference on Sensing, Communication, and Networking, SECON 2023. IEEE Computer Society Press, s. 492-500

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

    7. Udgivet

      Security and privacy issues in blockchain and its applications

      Wang, L., Sheng, V. S., Duedder, Boris, Wu, Haiqin & Zhu, H., dec. 2023, I: IET Blockchain. 3, 4, s. 169-171 3 s.

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

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

    9. Udgivet

      Survey on Secure Keyword Search over Outsourced Data: From Cloud to Blockchain-assisted Architecture

      Wu, Haiqin, Duedder, Boris, Wang, L., Cao, Z., Zhou, J. & Feng, X., 2023, I: ACM Computing Surveys. 56, 3, 63.

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

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

    Forrige 1 2 3 4 5 Næste

    ID: 172785813