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

  1. Khushboo Qayyum; Muhammad Hassan; Sallar Ahmadi-Pour; Chandan Kumar Jha; Rolf Drechsler

    Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification

    In: 61st Design Automation Conference (DAC). Design Automation Conference (DAC-2024), June 23-27, San Francisco, USA, 2024.

  2. Khushboo Qayyum; Abhoy Kole; Kamalika Datta; Muhammad Hassan; Rolf Drechsler

    Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification

    In: 34th Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2024), June 12-14, Tampa Bay Area, USA, o.A, 2024.

  3. Liam Hurwitz; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?

    In: 16th Conference on Reversible Computation. International Conference on Reversible Computation (RC-2024), July 4-5, Torun, Poland, 2024.

  4. Johannes Rust; Christian Mandel; Kathrin Stich; Serge Autexier

    Predicting Hemodynamic and Pulmonary Decompensation with Deep Neural Networks: Performance and Explainability

    In: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. International Conference of the IEEE Engineering in …

  5. Marianna Jantunen; Richard Meyes; Veronika Kurchyna; Tobias Meisen; Pekka Abrahamsson; Rahul Mohanani

    Researchers' Concerns on Artificial Intelligence Ethics: Results from a Scenario-Based Survey

    In: IWSiB '24: Proceedings of the 7th International Workshop on Software-intensive Business. International Workshop on Software-intensive Business …

  6. Jesús Rodríguez; Ericson Hölzchen; Ana Isabel Caso-Alonso; Jan Ole Berndt; Christine Hertler; Ingo Timm; Ana Mateos

    Computer simulation of scavenging by hominins and giant hyenas in the late Early Pleistocene

    In: Scientific Reports (Sci Rep), Vol. 13, No. 1, Page 0, Nature Publishing Group UK London, 2023.

  7. Alexander Schultheis; Lukas Malburg; Joscha Grüger; Justin Weich; Yannis Bertrand; Ralph Bergmann; Estefanía Serral Asensio

    Identifying Missing Sensor Values in IoT Time Series Data: A Weight-Based Extension of Similarity Measures for Smart Manufacturing

    In: Juan A. Recio-Garcia; Mauricio G. Orozco-del-Castillo; Derek Bridge (Hrsg.). Case-Based Reasoning Research and Development - 32nd International …

  8. Veronika Kurchyna; Jan Ole Berndt; Ingo Timm

    Can (and should) Automated Surrogate Modelling be used for Simulation Assistance?

    In: Multi-Agent-Based Simulation XXIV,. International Workshop on Multi-Agent Systems and Agent-Based Simulation (MABS-2023), located at AAMAS, May 6, …

  9. Sk Aziz Ali; Mohammad Sadil Khan; Didier Stricker

    BRep Boundary and Junction Detection for CAD Reverse Engineering

    In: Proceedings of the 3rd IEEE International Conference on Computing and Machine Intelligence. IEEE International Conference on Computing and Machine …

  10. Stefan Wilk; Manisha Luthra; Wolfgang Effelsberg

    One Sensor is not Enough: Adapting and Fusing Sensors for the Quality Assessment of User Generated Video

    In: Proceedings of the 24th ACM International Conference on Multimedia. ACM International Conference on Multimedia (ACM MM-2016), Amsterdam, …

Year

More options