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 41 to 50 of 13124.

  1. Niklas Bruns; Vladimir Herdt; Eyck Jentzsch; Rolf Drechsler

    RISC-V Processor Verification with Coverage-guided Aging

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

  2. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods

    In: IEEE European Test Symposium (ETS). IEEE European Test Symposium (ETS-27), May 23-27, Barcelona, Spain, 2022.

  3. Christina Plump; Bernhard Berger; Rolf Drechsler

    Choosing the right technique for the right restriction - a domain-specific approach for enforcing search-space restrictions in evolutionary algorithms

    In: International Conference on Dynamics in Logistics. International Conference on Dynamics in Logistics (LDIC-2022), February 23-25, Bremen, Germany, …

  4. Alexander Schäfer; Gerd Reis; Didier Stricker

    AnyGesture: Arbitrary One-Handed Gestures for Augmented, Virtual, and Mixed Reality Applications

    In: Applied Sciences, Vol. 12, No. 4, Pages 1-21, MDPI, Switzerland, 2/2022.

  5. Yuriy Anisimov; Jason Raphael Rambach; Didier Stricker

    Nonlinear Optimization of Light Field Point Cloud

    In: Academic Editor Denis Laurendeau (Hrsg.). Sensors - Open Access Journal (Sensors), Vol. 22(3), Pages 814-829, MDPI, 1/2022.

  6. Vladimir Herdt

    Verbessertes Virtual Prototyping für den Entwurfsablauf

    In: S. Hölldobler et al.. Ausgezeichnete Informatikdissertationen 2020. Pages 119-128, GI, 2021.

  7. Saman Fröhlich; Rolf Drechsler

    Unlocking Approximation for In-Memory Computing with Cartesian Genetic Programming and Computer Algebra for Arithmetic Circuits

    In: IT - information technology (IT), degruyter, 2022.

  8. Nils Ellendt; Brigitte Clausen; Nicole Mensching; Daniel Meyer; Christina Plump; Heike Sonnenberg; Matthias Steinbacher; Anastasiya Tönjes

    Experimental Methods to Enable High-Throughput Characterization of New Structural Materials

    In: The Journal of The Minerals, Metals & Materials Society (TMS) (JOM), Vol. 73, Pages 3347-3355, 2021.

  9. Dominique Mercier; Jwalin Bhatt; Andreas Dengel; Sheraz Ahmed

    Time to Focus: A Comprehensive Benchmark Using Time Series Attribution Methods

    In: INSTICC (Hrsg.). Proceedings of the 14th International Conference on Agents and Artificial Intelligence. International Conference on Agents and …

  10. Shrinidhi Kanchi; Alain Pagani; Hamam Mokayed; Marcus Liwicki; Didier Stricker; Muhammad Zeshan Afzal

    EmmDocClassifier: Efficient Multimodal Document Image Classifier for Scarce Data

    In: Applied Sciences, Vol. 12, No. 3, Pages 1-18, MDPI, 1/2022.

Year

More options