Skip to main content Skip to main navigation

Publications

Displaying results 921 to 930 of 15232.

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

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

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

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

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

  6. Martha Schnieber

    Polynomial Formal Verification of Approximate Functions

    Springer, 2023.

  7. Daniel Reti; Tillmann Angeli; Hans Dieter Schotten

    Honey Infiltrator: Injecting Honeytoken Using Netfilter

    In: 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). IEEE European Symposium on Security and Privacy Workshops (EuroSPW-2023), 2nd Workshop on Active Defense and Deception (AD&D), July 7, Delft, Netherlands, Pages 465-469, IEEE, 7/2023.

  8. Tatiana Anikina

    Towards Efficient Dialogue Processing in the Emergency Response Domain

    In: Vishakh Padmakumar; Gisela Vallejo; Yao Fu (Hrsg.). Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics. ACL Student Research Workshop (ACL-IJCNLP-SRW-2023), Student Research Workshop, located at 61st Annual Meeting of the Association for Computational Linguistics, July 10-12, Toronto, ON, Canada, Association for Computational Linguistics, 7/2023.

  9. Tarun Bhatia; Martin Krämer; Eduardo Vellasquez; Eleftherios Avramidis

    Semi-supervised learning for Quality Estimation of Machine Translation

    In: Proceedings of the 19th Machine Translation Summit. Machine Translation Summit (MT Summit-2023), September 4-8, Macau SAR, China, Pages 72-83, Vol. 1: Research Track, Asia-Pacific Association for Machine Translation (AAMT), 9/2023.

  10. Naeem Iqbal; Christoph Manss; Christian Scholz; Daniel Koenig; Matthias Igelbrink; Arno Ruckelshausen

    AI-based Maize and Weeds detection on the edge with CornWeed Dataset

    In: Proceedings of the 18th Conference on Computer Science and Intelligence Systems. Workshop on AI in Agriculture (AgriAI-2023), located at 18th FedCSIS, September 17-20, Warsaw, Poland, Institute of Electrical and Electronics Engineers, 9/2023.

Year

More options