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 91 to 100 of 1100.

  1. Shubham Vyas; Marko Jankovic; Frank Kirchner

    Momentum based classification for robotic active debris removal

    In: Journal of Space Safety Engineering (JSSE), Vol. 9, No. 4, Pages 649-655, Elsevier, 2022.

  2. Arne Böckmann; Janosch Machowinski; Haider Khan Lodhi

    Advanced Multi-Surface Navigation for Unmanned Ground Vehicles (UGVs) Using 4D Path Planning Techniques (ugv_nav4d)

    In: Journal of Open Source Software (JOSS), Vol. n.n. Pages n.n.-n.n. JOSS, 2024.

  3. Kemal Çağlar Coşkun; Muhammad Hassan; Lars Hedrich; Rolf Drechsler

    Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent

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

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

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

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

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

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

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

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

Year

More options