Skip to main content Skip to main navigation

Publications

Displaying results 1701 to 1710 of 15045.

  1. Nadine Kirsch; Kerstin Reese; Verena Wolf

    InfoLab Saar - Schülerlabor Informatik der Universität des Saarlandes

    In: Nicht bekannt (Hrsg.). INFORMATIK 2021 - Computer Science & Sustainability. Workshop: Für Informatik begeistern - vom Kindesalter bis zum Abitur (Informatik-Begeisterung-2), located at INFORMATIK 2021, September 27 - October 1, Berlin, Germany, Pages 1653-1656, Lecture Notes in Informatics (LNI), Vol. P314, ISBN 978-3-88579-708-1, Gesellschaft für Informatik, Bonn, 2021.

  2. Gerrit Großmann; Verena Wolf

    Rejection-Based Simulation of Stochastic Spreading Processes on Complex

    In: Milan Če¨ka; Nicola Paoletti (Hrsg.). Hybrid Systems Biology - 6th International Workshop, Revised Selected Papers. International Workshop on Hybrid Systems Biology (HSB-2019), April 6-7, Prague, Czech Republic, Pages 63-79, Lecture Notes in Bioinformatics (LNBI), Vol. 11705, ISBN 978-3-030-28041-3, Springer Nature, 8/2019.

  3. Rezaul Tutul; Niels Pinkwart

    Design and Evaluation of a Sound-Driven Robot Quiz System with Fair First-Responder Detection and Gamified Multimodal Feedback

    In: Robotics, Vol. 14, No. 9, MDPI, 8/2025.

  4. Werner Sandmann; Verena Wolf

    A computational stochastic modeling formalism for biological networks

    In: Enformatika Transactions on Engineering, Computing and Technology, Vol. 14, Pages 132-137, 2006.

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

    Trace Machines for Observing Continuous-Time Markov Chains

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 153, No. 2, Pages 259-277, Elsevier, Amsterdam, 5/2006.

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

  7. Lukas Weber; Yannick Lavan; Johannes Wehrstein; Torben Kalkhof; Carsten Heinz; Carsten Binnig; Andreas Koch

    Exploiting Sum-Product Networks to Offload Database Query Cardinality Estimation to FPGA-Based Smart Storage Devices

    In: Gianluca Leone; Andrés Otero; Paola Busia; Paolo Meloni (Hrsg.). Applied Reconfigurable Computing. Architectures, Tools, and Applications - 22nd International Symposium, ARC 2026, Cagliari, Sardinia, Italy, April 8-10, 2026, Proceedings. International Symposium on Applied Reconfigurable Computing (ARC), Pages 275-291, Lecture Notes in Computer Science, Vol. 16514, Springer, 2026.

  8. Christine Hertler; Alexandra A.E. Van der Geer; Mika Rizki Puspaningrum; Jan-Olaf Reschke; Iwan Pramesti Anwar; Ericson Hölzchen

    Stegodon SEA-crossing: Swim, shrink, and disperse.

    In: Earth History and Biodiversity, Vol. 100026, No. 4, Pages 1-15, Elsevier, 2025.

  9. Max Lödige; Alexander Fabisch; Lisa Gutzeit

    Qualitative Comparison Between Marker-Based and Video-Based Human Pose Estimation in the Context of Imitation Learning

    In: Diedrich Wolter; Gesina Schwalbe (Hrsg.). KI 2026: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2026), 49th German Conference on Artificial Intelligence, Cham, Pages 260-268, ISBN 978-3-032-32335-4, Springer Nature Switzerland, 2027.

  10. Aeneas Stankowski; Daniel James Hommel Varab; Morgan Frances Clarke; Philipp Gschwendtner; Eleftherios Avramidis (Hrsg.)

    Proceedings of the 2026 Designing Interactive Systems Conference

    ACM Designing Interactive Systems (DIS-2026), June 13-17, Singapore, Singapore, ISBN 979-8-4007-2563-0, ACM, New York, NY, USA, 2026.

Year

More options