Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 521 bis 530 von 13154

  1. Adrian Auer; Lisa Gutzeit; Frank Kirchner

    CoBaIR: A Python Library for Context-Based Intention Recognition in Human-Robot-Interaction

    In: 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). IEEE International Conference on Robot and Human …

  2. David Jilg; Joscha Grüger; Tobias Geyer; Ralph Bergmann

    DALG: The Data Aware Event Log Generator

    In: BPM 2023 Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum. BPM Demo Track (BPMTracks-2023), Ceur-WS, 2023.

  3. Wiebke Brinkmann; Mehmed Yüksel; Holger Sprengel; Sven Kroffke; Marko Jankovic; Roland U. Sonsalla

    Multifunctional interconnect for future modular planetary robots

    In: 74th International Astronautical Congress 2023. International Astronautical Congress (IAC-2023), October 2-6, Baku, Azerbaijan, International …

  4. Mehmed Yüksel; Wiebke Brinkmann; Jonas Eisenmenger; Henning Wiedemann; Isabelle Kien; Niklas Mulsow; Frank Kirchner

    Toolbox of Modular Components to Demonstrate Applicatio-Specific Configurable Space Robots

    In: 17th Symposium on Advanced Space Technologies in Robotics and Automation. ESA/Estec Symposium on Advanced Space Technologies in Robotics and …

  5. Wico Mulder; André Meyer-Vitali

    A Maturity Model for Collaborative Agents in Human-AI Ecosystems

    In: Luis M. Camarinha-Matos; Xavier Boucher; Angel Ortiz (Hrsg.). Collaborative Networks in Digitalization and Society 5.0. IFIP Working Conference on …

  6. Kousik Bhunia; Arighna Deb; Kamalika Datta; Muhammad Hassan; Saeideh Shirinzadeh; Rolf Drechsler

    ReSG: A Data Structure for Verification of Majority based In-Memory Computing on ReRAM Crossbars

    In: ACM Transactions on Embedded Computing Systems (TECS), ACM, 2023.

  7. Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große

    Toward System-Level Assertions for Heterogeneous Systems

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 67-81, Springer, 2023.

  8. Marcel Merten; Mohammed E. Djeridane; Sebastian Huhn; Rolf Drechsler

    SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 83-94, Springer, 2023.

  9. Khushboo Qayyum; Alireza Mahzoon; Rolf Drechsler

    Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 115-169, Springer, 2023.

  10. Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Carry Look-Ahead Adders

    In: Bernd Steinbach. Advances in the Boolean Domain. Pages 93-114, ISBN 1-5275-8872-6, Cambridge Scholars Publishing, 2023.

Jahr

Mehr Optionen