Skip to main content Skip to main navigation

Publications

Displaying results 2001 to 2010 of 14829.

  1. Luca Müller; Chandan Jha; Benjamin Arlt; Muhammad Hassan; Rolf Drechsler

    Modular End-to-End Pipeline for Formal Property Verification using Large Language Models

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, 2026.

  2. Chandrajit Pal; Lennart Weingarten; Klaus D. McDonald-Maier; Rolf Drechsler; Sangeet Saha; Kamalika Datta

    On Analysis of Applications using MAGIC-based In-Memory Computing

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.

  3. Abhoy Kole; Majd Assaad; Till Schnittka; Rolf Drechsler

    Adaptive Clifford+T Decomposition of Large Toffoli Gates with One Clean Ancilla

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.

  4. Abhoy Kole; Julie Maria Raju; Kamalika Datta; Rolf Drechsler

    Variational Manifold Engineering in Quantum Chemistry: Structural Challenges in Ansatz Design

    In: IEEE Computer Society Annual Symposium on VLSI. IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.

  5. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Formally Verifying Multiply-and-Accumulate Architectures Using Symbolic Computer Algebra

    In: SN Computer Science (SNCS), Springer Nature, 2026.

  6. Ankit Bende; Simranjeet Singh; Chandan Jha; Daniele Storelli; Dennis Nielinger; Rolf Drechsler; Regina Dittmann; Stephan Menzel; Farhad Merchant; Vikas Rana

    Device-to-logic variability propagation in RRAM-based logic-in-memory architectures

    In: Neuromorphic Computing and Engineering, IOP Science, 2026.

  7. Fatemeh Shirinzadeh; Kamalika Datta; Abhoy Kole; Saeideh Shirinzadeh; Rolf Drechsler

    An HDL-Centric Synthesis and Verification Approach for RRAM-based Neuromorphic Systems

    In: Microprocessors and Microsystems (MICPRO), Science Direct, 2026.

  8. Abhoy Kole; Louis Krüger; Kamalika Datta; Lennart Weingarten; Indranil Sengupta; Rolf Drechsler

    Dynamic Transformation of Quantum Algorithms for Resource-Constrained Architectures

    In: SN Computer Science (SNCS), Springer, 2026.

  9. Jomana Abdelmoaty; Zoltán Istenes

    Feature-Based Image Selection (FBIS) for Enhancing 3D Reconstruction in Agriculture

    In: Proceedings of the 12th International Conference on Mechatronics and Robotics Engineering (ICMRE 2026). International Conference on Mechatronics and Robotics Engineering (ICMRE-2026), March 2-4, Oldenburg, Germany, IEEE Xplore, 2026.

  10. Sabine Janzen; Rishika Kumari; Wolfgang Maaß

    Multimodal Situational Awareness for Civil-Military Coordination in Port Disruption Scenarios

    In: Caroline Rizza; Apoorva Chauhan; Amy Matser; Joyce Kox; Willem Treurniet; Jeroen Wolbers (Hrsg.). Proceedings of the 23rd ISCRAM Conference. International Conference on Information Systems for Crisis Response and Management (ISCRAM-2026), Netherlands, 6/2026.

Year

More options