Skip to main content Skip to main navigation

Publications

Displaying results 1411 to 1420 of 14617.
  1. 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.

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

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

  4. Frédéric Didier; Thomas A. Henzinger; Maria Mateescu; Verena Wolf

    Approximation of event probabilities in noisy cellular processes

    In: Theoretical Computer Science (TCS), Vol. 412, No. 21, Pages 2128-2141, Elsevier, Amsterdam, 5/2011.

  5. Hauke Busch; Werner Sandmann; Verena Wolf

    A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion

    In: Corrado Priami (Hrsg.). Computational Methods in Systems Biology - International Conference, Proceedings. International Conference on Computational Methods in Systems Biology (CMSB-2006), October 18-19, Trento, Italy, Pages 298-311, Lecture Notes in Computer Science (LNCS), Vol. 4210, ISBN 9783540461678, Springer, Berlin, Heidelberg, 10/2006.

  6. Wolfgang Kemmler; Michael Fröhlich; Oliver Ludwig; Christoph Eifler; Simon Von Stengel; Sebastian Willert; Marc Teschler; Anja Weissenfels; Heinz Kleinöder; Florian Micke; Nicolas Wirtz; Christoph Zinner; Andre Filipovic; Bernd Wegener; Joshua Berger; Alexandre Evangelista; Stefano D’Ottavio; Jaskanwal Deep Singh Sara; Amir Lerman; Unai A Perez de Arrilucea Le Floc’h; Abraham Carle-Calo; Angel Guitierrez; Francisco J Amaro-Gahete

    Position statement and updated international guideline for safe and effective whole-body electromyostimulation training-the need for common sense in WB-EMS application

    In: Giuseppe D’Antona (Hrsg.). Frontiers in Physiology, Vol. 14, Page 1174103, Frontiers Media SA, 3/2023.

  7. Nina Knieriemen; Anke Hirsch; Muhammad Moiz Sakha; Florian Daiber; Hannah Kolb; Simone Hüning; Frederik Wiehr; Antonio Krüger (Hrsg.)

    Proceedings of the 27th International Conference on Multimodal Interaction

    ACM International Conference on Multimodal Interaction (ICMI-2025), Safe and responsible multimodal interactions, located at ICMI-2025, October 13-17, Canberra, Australia, Vol. 27, ISBN 979-8-4007-1499-3, Association for Computing Machinery (ACM), New York, 10/2025.