Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 720
  1. 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.

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

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

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

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

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

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

  8. QUASIM: Quantum Computing Enhanced Service Ecosystem for Simulation in Manufacturing

    In: The 42nd International Conference on Conceptual Modeling. International Conference on Conceptual Modeling (ER-2023), Lisbon, Portugal, Springer, …

  9. Olga Viberg; Ioana Jivet; Pedro J. Muñoz-Merino; Maria Perifanou; Tina Papathoma (Hrsg.)

    Proceedings of the Eighteenth European Conference on Technology Enhanced Learning

    European Conference on Technology Enhanced Learning (EC-TEL-2023), September 4-8, Aveiro, Portugal, Springer, 9/2023.

  10. Augmented Intelligence in Tutoring Systems: A Case Study in Real-time Pose Tracking to Enhance the Self-Learning of Fitness Exercises

    In: European Conference on Technology Enhanced Learning. European Conference on Technology Enhanced Learning (EC-TEL-2023), 18th European Conference …