Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 81 to 90 of 728.
  1. 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. 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. Comprehensive Perception in Marine Environments for Dynamic Anchoring

    In: Proceedings of OCEANS 2023. OCEANS MTS/IEEE Conference (OCEANS-2023), June 5-8, Limerick, Ireland, ISBN 979-8-3503-3226-1, IEEE, 2023.

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

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

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

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

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