Skip to main content Skip to main navigation

Publications

Displaying results 2011 to 2020 of 14845.

  1. Georges Arnaud Kouayim Bonga; Ilona Buchem; Niels Pinkwart

    Empowering Academic Exploration with LLM-Powered Robots: Supporting Students in Topic and Research Question Development

    In: Richard Balogh; David Obdrzálek; Nikolaos Fachantidis. International Conference on Robotics in Education (RiE). Pages 126-137, Springer Nature Switzerland, 4/2025.

  2. A. H. Darmasti; R. Zender; A. Sianipar; N. Pinkwart

    Individual Variability in Cognitive Engagement and Performance Adaptation During Virtual Reality Interaction: A Comparative EEG Study of Autistic and Neurotypical Individuals

    In: Multimodal Technologies and Interaction (MTI), Vol. 9, No. 7, MDPI, Basel, Switzerland, 7/2025.

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

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

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

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

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

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

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

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

Year

More options