Skip to main content Skip to main navigation

Publications

Displaying results 131 to 140 of 14699.

  1. Janina Schneider; Daniel Lukats; Christoph Manss; Frederic Theodor Stahl

    A Digital Twin Paradigm for Data-Driven Monitoring and Management of Lake Ecosystems

    In: INFORMATIK 2025: The Wide Open - Offenheit von Source bis Science. Jahrestagung der Gesellschaft für Informatik (INFORMATIK-2025), September 16-19, Potsdam, Germany, Pages 1-6, Lecture Notes in Informatics (LNI), Vol. P-366, Gesellschaft für Informatik e.V. Bonn, 9/2025.

  2. Christoph Manss; Tarek Elmihoub

    Evaluation of Explanations for Object Detection Using Transformers with Sonar Data

    In: Artificial Intelligence XLII, 45th SGAI International Conference on Artificial Intelligence, AI 2025. SGAI International Conference on Artificial Intelligence (AI-2025), December 16-18, Cambridge, United Kingdom, LNAI (LNAI), Vol. 16302, Springer Nature Switzerland, Cham, 12/2025.

  3. Ahmed H. Elsayed; Christoph Manss; Tarek Elmihoub; Andrej Lejman; Frederic Theodor Stahl

    Towards Robotic Lake Maintenance: Integrating SONAR and Satellite Data to Assist Human Operators

    In: Proceedings of the 12th International Conference on Mechatronics and Robotics Engineering (ICMRE 2026). International Conference on Mechatronics and Robotics Engineering (ICMRE-2026), March 2-4, Oldenburg, Germany, IEEE Xplore, 2026.

  4. Linar Mikeev; Werner Sandmann; Verena Wolf

    Efficient Calculation of Rare Event Probabilities in Markovian Queueing Networks

    In: Samson Lasaulce; Dieter Fiems; Pete Harrison; Luc Vandendorpe (Hrsg.). VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools. International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS-2011), May 16-20, Paris, France, Pages 186-196, ISBN 978-1-936968-09-1, ACM, 5/2011.

  5. Harald Fecher; Martin Leucker; Verena Wolf

    Don't Know in Probabilistic Systems

    In: Antti Valmari (Hrsg.). Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria, Pages 71-88, ISBN 9783540331032, Springer Berlin Heidelberg, Heidelberg, 3/2006.

  6. Mark Niemeyer

    Spatio-Temporal-Semantic Sensor Data Management With Use Cases in Agricultural Robotics

    PhD-Thesis, Universität Osnabrück, 2026.

  7. Saifullah Saifullah; Stefan Agne; Andreas Dengel; Sheraz Ahmed

    The Reality of High Performing Deep Learning Models: A Case Study on Document Image Classification

    In: IEEE Access (IEEE), Vol. 12, Pages 103537-103564, IEEE, 2024.

  8. Luca Bortolussi; Thilo Krüger; Thorsten Lehr; Verena Wolf

    Rule-based modelling and simulation of drug-administration policies

    In: Nicht bekannt (Hrsg.). MSM '15: Proceedings of the Symposium on Modeling and Simulation in Medicine. Pages 53-60, ISBN 978-1-5108-0102-8, ACM, 4/2015.

  9. Christel Baier; Joost-Pieter Katoen; Holger Hermanns; Verena Wolf

    Comparative branching-time semantics for Markov chains

    In: Information and Computation (Inform. Comput.), Vol. 200, No. 2, Pages 149-214, Elsevier, Amsterdam, 8/2005.

  10. Tuǧrul Dayar; Holger Hermanns; David Spieler; Verena Wolf

    Bounding the equilibrium distribution of Markov population models

    In: Numerical Linear Algebra with Applications, Vol. 18, No. 6, Pages 931-946, John Wiley & Sons, Ltd, England, 10/2011.

Year

More options