Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 15067.

  1. Thomas A. Henzinger; Maria Mateescu; Verena Wolf

    Sliding Window Abstraction for Infinite Markov Chains

    In: Ahmed Bouajjani; Oded Maler. International Conference on Computer Aided Verification. Pages 337-352, ISBN 9783642026584, Springer Berlin Heidelberg, Heidelberg, 6/2009.

  2. Uchechukwu Solomon Onyeabor; Okechukwu Onwuasoigwe; Wilfred Okwudili Okenwa; Thorsten Schaaf; Niels Pinkwart; Felix Balzer

    Exploring user experiences of clinicians engaged with the digital healthcare interventions across the referral and university teaching hospitals in Nigeria: a qualitative study

    In: Frontiers in Digital Health, Vol. 7, PubMed, 5/2025.

  3. Samuel Hill; Joy Belgassem; Felix Nadolni

    Mapping and Calibrating User Trust with LLMs: First Steps Towards Developing a Framework for Shaping Trust

    In: Asbjørn Følstad; Sebastian Hobert; Symeon Papadopoulos; Effie L.-C. Law; Theo Araujo; Petter Bae Brandtzæg (Hrsg.). Proceedings of the 9th International Symposium on Chatbots and Human-Centred AI. International Symposium on Chatbots and Human-Centred AI (CONVERSATIONS-2025), November 12-13, Lübeck, Germany, Lecture Notes in Computer Science (LNCS), Springer, 11/2025.

  4. Shreedhar Govil; Didier Stricker; Jason Raphael Rambach

    DriverGaze360: OmniDirectional Driver Attention with Object-Level Guidance

    In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). International Conference on Computer Vision and Pattern Recognition (CVPR), June 3-7, Denver, Colorado, United States Minor Outlying Islands, IEEE, 2026.

  5. Felix Igelbrink; Lennart Niecksch; Marian Renz; Martin Günther; Martin Atzmueller

    LIEREx: Language-Image Embeddings for Robotic Exploration

    In: Lars Kunze (Hrsg.). KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 01, Pages 1-7, Springer, 1/2026.

  6. Tobias Mahl; Sarah Rübel; Cai Hussung; Christian Köhler

    Geschäftsmodellinnovation in digitalen Ökosystemen - Ein Use-Case aus dem Bereich des E-Learnings im Kontext der beruflichen Weiterbildung

    In: Daniel Schallmo; Jens Uwe Pätzmann; Thomas Clauß; Verena Mattes. Entrepreneurship im digitalen Zeitalter - Fallstudien, Ansätze und Tools für Ökosysteme, Geschäftsmodelle und Technologien. Chapter 7, Geschäftsmodellinnovation in digitalen Ökosystemen, Pages 179-198, Schwerpunkt Business Model Innovation, ISBN 978-3-658-46409-7, Springer Gabler, Wiesbaden, 8/2025.

  7. Malte Högemann; Christian Hauff; Oliver Thomas

    Von Schatten-IT zu Schatten-KI durch ChatGPT: Herausforderungen und Handlungsempfehlungen aus deutschen Unternehmen

    In: Wirtschaftsinformatik & Management (WuM), Vol. Online first - wird nachgereicht, Pages 1-8, Springer, 2/2026.

  8. Anindita Ghosh; Vladislav Golyanik; Taku Komura; Philipp Slusallek; Christian Theobalt; Rishabh Dabral

    SceMoS: Scene-Aware 3D Human Motion Synthesis by Planning with Geometry-Grounded Tokens

    In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. International Conference on Computer Vision and Pattern Recognition (CVPR-2026), June 3-7, Denver, Colorado, CO, USA, Computer Vision Foundation (CVF), 2026.

  9. Aheli Saha; René Schuster; Didier Stricker

    Sensor Generalization for Adaptive Sensing in Event-based Object Detection via Joint Distribution Training

    In: Proceedings of the 15th International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods (ICPRAM-2026), 15th International Conference on Pattern Recognition Applications and Methods, March 2-4, Marbella, Spain, Pages 113-124, ISBN 978-989-758-797-9, Scitepress, 2026.

  10. Luca Müller; Mohamed Nadeem; Rolf Drechsler

    Cutwidth Decomposition on Circuit-AIGs: Taming Verification Complexity of Arithmetic Circuits

    In: 27th International Symposium on Quality Electronic Design. International Symposium on Quality Electronic Design (ISQED-2026), April 8-10, San Francisco, USA, 2026.

Year

More options