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 1221 to 1230 of 13157.

  1. Kamalika Datta; Saman Froehlich; Saeideh Shirinzadeh; Dev Narayan; Yadav Indranil Sengupta; Rolf Drechsler

    Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration …

  2. Alexander Konrad; Christoph Scholl; Alireza Mahzoon; Daniel Große; Rolf Drechsler

    Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization

    In: Formal Methods in Computer-Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD), October 17-21, Trento, Italy, 2022.

  3. Rolf Drechsler; Alireza Mahzoon

    Preserving Design Hierarchy Information for Polynomial Formal Verification

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration …

  4. Rolf Drechsler; Alireza Mahzoon

    Polynomial Formal Verification: Ensuring Correctness under Resource Constraints

    In: 41st International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD), October 30 - …

  5. Kamalika Datta; Abhoy Kole; Indranil Sengupta; Rolf Drechsler

    Mapping Quantum Circuits to 2-D Quantum Architectures

    In: GI Quantum Computing Workshop 2022 (GI QC 22). GI Quantum Computing Workshop (GI QC-22), September 27, Hamburg, Germany, 2022.

  6. Rolf Drechsler; Alireza Mahzoon

    One is not Enough: Using Hybrid Proof Engines for Polynomial Formal Verification

    In: Proceedings of the 24th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI). Workshop on Synthesis and System …

  7. Omair Shahzad Bhatti; Michael Barz; Daniel Sonntag

    Leveraging Implicit Gaze-Based User Feedback for Interactive Machine Learning

    In: Ralph Bergmann; Lukas Malburg; Stephanie C. Rodermund; Ingo J. Timm (Hrsg.). KI 2022: Advances in Artificial Intelligence. German Conference on …

  8. Wei Jiang; Hans Dieter Schotten

    Intelligent Reflecting Vehicle Surface: A Novel IRS Paradigm for Moving Vehicular Networks

    In: Proceedings of IEEE MILCOM 2022. IEEE Military Communications Conference (MILCOM-2022), November 28 - December 2, Rockville, Maryland, USA, IEEE, …

  9. Wei Jiang; Hans Dieter Schotten

    Deep Learning-Aided Delay-Tolerant Zero-Forcing Precoding in Cell-Free Massive MIMO

    In: Proceedings of the 2022 IEEE 96th Vehicular Technology Conference. IEEE Vehicular Technology Conference (VTC-2022), IEEE VTC 2022 Fall, September …

  10. Wei Jiang; Hans Dieter Schotten

    Multi-User Reconfigurable Intelligent Surface-Aided Communications Under Discrete Phase Shifts

    In: Prof. of IEEE CQR 2022. IEEE International Workshop on Communications Quality and Reliability (IEEE CQR-2022), September 13-16, Arlington,, …

Year

More options