Skip to main content Skip to main navigation

Publications

Displaying results 1881 to 1890 of 14903.

  1. Gerrit Großmann; Luca Bortolussi; Verena Wolf

    Efficient simulation of non-Markovian dynamics on complex networks

    In: Hocine Cherifi (Hrsg.). PLOS ONE, Vol. 15, No. 10, Pages 1-18, PLOS ONE, 10/2020.

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

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

  4. Mark Niemeyer

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

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

  5. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, 2026.

  6. Rolf Drechsler; Christina Plump; Bernhard Berger

    Explanation in Bio-inspired Computing: Towards Understanding of AI Systems

    In: Proceedings of the 1st International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE). International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE-2025), November 21-22, Kolkata, India, IEEE Xplore, 2025.

  7. Ruidi Qiu; Yalin Zhang; Rolf Drechsler; Tsungyi Ho; Ulf Schlichtmann; Bing Li

    ConfiBench: Automatic Testbench Generation with Confidence-Based Scenario Mask and Testbench Ensemble using LLMs for HDL Design

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.

  8. Natalia Piaseczna; Rafal Doniec; Konrad Duraj; Szymon Sieciński; Marek Jędrychowski; Ewaryst Tkacz; Marcin Grzegorzek

    Distinguishing Drivers with Smart Glasses Data and Deep Neural Network

    In: Ireneusz Czarnowski; Marek Jasiński (Hrsg.). IEEE EUROCON 2025 - 21st International Conference on Smart Technologies. IEEE International Conference on Smart Technologies (EUROCON-2025), June 4-6, Gdynia, Poland, Pages 1-6, Institute of Electrical and Electronics Engineers, 6/2025.

  9. Wei Jiang; Hans Dieter Schotten

    A Heterogeneous Massive MIMO Technique for Uniform Service in Cellular Networks

    In: Proceedings of the IEEE International Conference on Communications. IEEE International Conference on Communications (ICC-2026), May 24-28, Glasgow, United Kingdom, IEEE, 5/2026.

  10. Donald Pfaffmann; Matthias Klusch; Marcel Steinmetz

    HyPlan: Hybrid Learning-Assisted Planning Under Uncertainty for Safe Autonomous Driving

    In: Proceedings of the 37th IEEE Intelligent Vehicles Symposium. IEEE Intelligent Vehicles Symposium (IV-2026), Detroit, MI, USA, IEEE, 2026.

Year

More options