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 111 to 120 of 801.
  1. Michael Gundall; Julius Raphael Stegmann; Christopher Huber; Rüdiger Halfmann; Hans Dieter Schotten

    Implementation and Evaluation of the RBIS Protocol in 5G

    In: 2022 IEEE Globecom Workshops. IEEE Global Communications Conference Workshops (Globeccom Wkshps-2022), located at IEEE GLOBECOM 2022, December …

  2. Virtual backlash: Nonverbal expression of dominance leads to less liking of dominant female versus male agents

    In: IVA '22: Proceedings of the 22nd ACM International Conference on Intelligent Virtual Agents. International Conference on Intelligent Virtual …

  3. Rolf Drechsler; Alireza Mahzoon

    Design Modification for Polynomial Formal Verification

    In: Proceedings of the 2022 International Symposium on Electrical, Electronics and Information Engineering. International Symposium on Electrical, …

  4. Fast and Exact is Doable: Polynomial Algorithms in Test and Verification

    In: 23rd IEEE Latin-American Test Symposium (LATS). IEEE Latin American Test Symposium (LATS-2022), September 5-8, Montevideo, Uruguay, 2022.

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

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

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

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

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

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