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 722.
  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. Rolf Drechsler; Sebastian Huhn

    Advanced Boolean Techniques

    Springer, 2023.

  6. Joao Maria Janeiro; Stanislav Frolov; Alaaeldin El-Nouby; Jakob Verbeek

    Are Visual Recognition Models Robust to Image Compression?

    In: International Conference on Machine Learning Workshop Neural Compression: From Information Theory to Applications. International Conference on …

  7. Dafna Burema; Nicole Debowski-Weimann; Alexander von Janowski; Jil Grabowski; Mihai Maftei; Mattis Jacobs; Patrick van der Smagt; Djalel Benbouzid

    A sector-based approach to AI ethics: Understanding ethical issues of AI-related incidents within their sectoral context

    In: Francesca Rossi; Sanmay Das; Jenny Davis; Kay Firth-Butterfield; Alex John (Hrsg.). AIES '23: Proceedings of the 2023 AAAI/ACM Conference on AI, …

  8. JCAS-Enabled Sensing as a Service in 6th-Generation Mobile Communication Networks

    In: KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS'23). KuVS …

  9. A Comprehensive Evaluation Framework for Speaker Anonymization Systems

    In: Proc. 3rd Symposium on Security and Privacy in Speech Communication. Symposium on Security and Privacy in Speech Communication (SPSC-2023), …