Skip to main content Skip to main navigation

Publications

Displaying results 681 to 690 of 6315.

  1. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2025.

  2. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 383, No. 2288, Page 20230390, The Royal Society Publishing, 1/2025.

  3. Mohamed Nadeem; Rolf Drechsler

    Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures

    In: Journal of Multiple-Valued Logic and Soft Computing, Vol. 09, Old City Publishing, 2025.

  4. Paul Flammarion; Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Auto-OPS: A Framework For Automated Optical Probing Simulation on GDS-II

    In: IEEE Embedded Systems Letters (ESL), IEEE, 2024.

  5. Sallar Ahmadi-Pour; Rolf Drechsler

    MicroRV32, A RISC-V Platform for Education and Research

    In: 1st Soft RISC-V Systems Workshop (SRvS Workshop). Soft RISC-V Systems Workshop (SRvS-2025), November 7-8, Online, 2024.

  6. Sheikh Faisal Rashid; Pascal Hürten; Insa Reichow; Lutz Goertz

    Learning Resources Metadata: Opportunities and Challenges in the German “Innovationswettbewerb INVITE” Program

    In: International Conference on Dublin Core and Metadata Applications. International Conference on Dublin Core and Metadata Applications (DCMI-2024), October 20-23, Toronto, Canada, DCMI, 2024.

  7. Philipp Richard; Satyam Uttamkumar Dudhagara; Leonhard Kunz; Christiane Plociennik; Martin Ruskowski

    Autonomous mobile robot search strategy for automated compressed air leakage detection

    In: Maike Klein; Daniel Krupka; Cornelia Winter; Martin Gergeleit; Ludger Martin (Hrsg.). INFORMATIK 2024. Pages 1099-1111, ISBN 978-3-88579-746-3, Gesellschaft für Informatik e.V. Bonn, 2024.

  8. Simon Komesker; Jonathan Bartels; Achim Wagner; Martin Ruskowski

    Multi-agent Interaction Structure for Enabling Subsidiary Planning and Control in Modular Production Systems

    In: Niklas Kiefl; Frederik Wulle; Clemens Ackermann; Daniel Holder (Hrsg.). Advances in Automotive Production Technology -- Towards Software-Defined Manufacturing and Resilient Supply Chains. Stuttgart Conference on Automotive Production (SCAP), Cham, Pages 354-364, ISBN 978-3-031-27933-1, Springer International Publishing, 2023.

  9. Nigora Gafur; Gajanan Kanagalingam; Achim Wagner; Martin Ruskowski

    Dynamic Collision and Deadlock Avoidance for Multiple Robotic Manipulators

    In: IEEE Access (IEEE), Vol. 10, Pages 55766-55781, IEEE, 2022.

  10. Muhammad Nabeel Asim; Muhammad Ali Ibrahim; Tayyaba Asif; Andreas Dengel

    RNA sequence analysis landscape: A comprehensive review of task types, databases, datasets, word embedding methods, and language models

    In: Heliyon, Vol. 11, Pages 1-72, Elsevier, 1/2025.

Year

More options