Boris Düdder

Boris Düdder

Lektor

Medlem af:

    ORCID: 0000-0002-0241-7729

    Udgivelsesår:
    Alle
    1 - 10 ud af 40Pr. side: 10
    Sortering: Titel
    1. Udgivet

      A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance

      Xu, Yibin, Zheng, J., Duedder, Boris, Slaats, Tijs & Zhou, Yongluan, 26 feb. 2024, Network and Distributed System Security (NDSS) Symposium 2024.

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

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

    3. Udgivet

      A two-dimensional sharding model for access control and data privilege management of blockchain

      Xu, Yibin, Slaats, Tijs & Duedder, Boris, 2023, I: Simulation Modelling Practice and Theory. 122, 102678.

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

    4. Udgivet

      Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs

      Xu, Yibin, Slaats, Tijs, Duedder, Boris & Hildebrandt, Thomas Troels, maj 2023, 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE, s. 70-80

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

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

    6. Udgivet

      Blockchain-Based Reliable and Privacy-Aware Crowdsourcing with Truth and Fairness Assurance

      Wu, Haiqin, Duedder, Boris, Wang, L., Sun, S. & Xue, G., 2022, I: IEEE Internet of Things Journal. 9, 5, s. 3598-3598 12 s.

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

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

    8. Udgivet

      Co-design of a trustworthy AI system in healthcare: Deep learning based skin lesion classifier

      Zicari, R. V., Ahmed, S., Amann, J., Braun, S. A., Brodersen, J., Bruneault, F., Brusseau, J., Campano, E., Coffee, M., Dengel, A., Düdder, B., Gallucci, A., Gilbert, T. K., Gottfrois, P., Goffi, E., Haase, C. B., Hagendorff, T., Hickman, E., Hildt, E., Holm, S. & 15 flere, Kringen, P., Kühne, U., Lucieri, A., Madai, V. I., Moreno-Sánchez, P. A., Medlicott, O., Ozols, M., Schnebel, E., Spezzatti, A., Tithi, J. J., Umbrello, S., Vetter, D., Volland, H., Westerlund, M. & Wurth, R., jul. 2021, I: Frontiers in Human Dynamics . 3, 20 s., 688152.

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

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

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

    Forrige 1 2 3 4 Næste

    ID: 172785813