Skip to main content Skip to main navigation

Publications

Displaying results 1811 to 1820 of 15039.

  1. Verena Wolf; Christel Baier; Mila Majster-Cederbaum

    Trace Semantics for Stochastic Systems with Nondeterminism

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 164, No. 3, Pages 187-204, Elsevier, Amsterdam, 10/2006.

  2. Mengxi Liu; Zimin Zhao; Daniel Geißler; Bo Zhou; Sungho Suh; Paul Lukowicz

    CoSS: Co-optimizing Sensor and Sampling rate for data-efficient human activity recognition

    In: Expert Systems with Applications (ESWA), Vol. 299, Pages 129959-129969, Elsevier, 2025.

  3. Vitor Fortes Rey; Pedro Martelleto Bressane Rezende; Bo Zhou; Sungho Suh; Paul Lukowicz

    COA-HAR: Exploring contrastive online test-time adaptation for wearable sensor-based human activity recognition using sensor data augmentation

    In: Expert Systems with Applications (ESWA), Vol. 297, Page 129288, Elsevier, 2026.

  4. Andrey Guzhov; Tobias Wirth; Matthias Müller; Tobias Fischer; Lucas Howes; Dominik Ospelt

    An AI-Powered Approach to File Carving in Digital Forensics – Undo Data Loss with Style

    In: Proceedings of the 24th European Conference on Cyber Warfare and Security. European Conference on Cyber Warfare and Security (ECCWS-2025), 24th European Conference on Cyber Warfare and Security, located at ECCWS-2025, June 26-27, Kaiserslautern, Germany, Academic Conferences & Publishing International, 2025.

  5. Yannick Werner; Jasmin Frkatovic; Vitor Fortes Rey; Matthias Tschöpe; Sungho Suh; Paul Lukowicz; Nikolaos Palaiodimopoulos; Maximilian Kiefer-Emmanouilidis

    DisQu: investigating the impact of disorder in quantum generative models

    In: 2025 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN), Pages 1-8, IEEE, 2025.

  6. Verena Wolf

    Modelling of Biochemical Reactions by Stochastic Automata Networks

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 171, No. 2, Pages 197-208, Elsevier, Amsterdam, 7/2007.

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

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

  9. Malte Wirkus; Wiebke Brinkmann; Carlos J. Perez del Pulgar Mancebo

    Overview of Research on Multi-Robot Teams for Space Applications in Europe

    In: Spiros Pantelakis; Andreas Strohmayer; Gustavo Alonso (Hrsg.). The 15th EASN International Conference on "Innovation in Aviation & Space Towards Sustainability Today & Tomorrow". EASN International Conference on Innovation in Aviation & Space towards Sustainability Today & Tomorrow (EASN-2025), October 14-17, Madrid, Spain, Pages 1-6, Engineering Proceedings, Vol. 133, No. 1, MDPI, 2026.

  10. László Kopácsi; Abdulrahman Mohamed Selim; Michael Barz; Daniel Sonntag

    GTK: A Gaze-Based Interaction Toolkit in XR

    In: 2026 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW). IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) (IEEEVR-2026), March 21-25, Daegu, Korea, Republic of, IEEE, 3/2026.

Year

More options