Skip to main content Skip to main navigation

Publications

Displaying results 691 to 700 of 14764.
  1. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Hrsg.). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Pages 1-1, IEEE, 2025.

  2. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: 34th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2025), June 12-13, Verona, Italy, 2025.

  3. Tom Kocmi; Eleftherios Avramidis; Rachel Bawden; Ondrej Bojar; Anton Dorkovich; Christian Federmann; Mark Fishel; Markus Freitag; Thamme Gowda; Roman Grundkiewicz; Barry Haddow; Philipp Koehn; Benjamin Marie; Christof Monz; Makoto Morishita; Kenton Murray; Makoto Nagata; Toshiaki Nakazawa; Martin Popel; Maja Popovic; Mariya Shmatova

    Findings of the 2023 Conference on Machine Translation (WMT23): LLMs Are Here but Not Quite There Yet

    In: Philipp Koehn; Barry Haddow; Tom Kocmi; Christof Monz (Hrsg.). Proceedings of the Eighth Conference on Machine Translation. Conference on Machine Translation (WMT-2023), located at EMNLP2023, December 6-7, Singapore, Singapore, Pages 1-42, Association for Computational Linguistics, 12/2023.

  4. A Neuro-Symbolic Approach for Anomaly Detection and Complex Fault Diagnosis Exemplified in the Automotive Domain

    In: Brent Venable; Daniel Garijo; Brian Jalaian (Hrsg.). Proceedings of the 12th Knowledge Capture Conference 2023. International Conference on Knowledge Capture (K-Cap-2023), December 5-7, Pensacola, FL, USA, Pages 35-43, K-CAP '23, Vol. 12, ISBN 979-8-4007-0141-2, Association for Computing Machinery, New York, NY, USA, 12/2023.

  5. Christoph Lipps; Jan Herbst; Steffen Klingel; Lars Franke; Alexander Wolff; Matthias Rüb; Rekha Reddy; Marco Rahm; Hans Dieter Schotten

    Connectivity in the era of the (I)IoT: about security, features and limiting factors of reconfigurable intelligent surfaces

    In: Discover Internet of Things, Vol. 3, No. 16, Springer, 10/2023.

  6. Andreas Weinand; Sachinkumar B. Mallikarjun; Christoph Lipps; Miachael Karrenbauer; Hans Dieter Schotten

    Secret Key Generation for LoRaWAN using Autoencoders for Reciprocity Enhancement

    In: European Wireless 2023. European Wireless (EW-2023), October 2-4, Rome, Italy, IEEE, 10/2023.

  7. Sogo Pierre Sanon; Rekha Reddy; Christoph Lipps; Hans Dieter Schotten

    Cross-Silo Horizontal Federated Learning Methods in Network Traffic Analysis

    In: European Wireless 2023. European Wireless (EW-2023), October 4, Rome, Italy, IEEE, 10/2023.

  8. Open Source 5G Core Network Implementations: A Qualitative and Quantitative Analysis

    In: IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom). IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom-2023), July 4-7, Istanbul, Turkey, IEEE, 7/2023.

  9. URLLC Physical Layer Authentication based on non-linear Supervised Learning

    In: IEEE 97th Vehicular Technology Conference (VTC2023-Spring). IEEE Vehicular Technology Conference (VTC-2023-Spring), June 20-23, Florence, Italy, IEEE, 6/2023.