Skip to main content Skip to main navigation

Publications

Displaying results 1481 to 1490 of 5563.
  1. 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.

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

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

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

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

  6. Uchechukwu Solomon Onyeabor; Okechukwu Onwuasoigwe; Wilfred Okwudili Okenwa; Thorsten Schaaf; Niels Pinkwart; Felix Balzer

    Exploring user experiences of clinicians engaged with the digital healthcare interventions across the referral and university teaching hospitals in Nigeria: a qualitative study

    In: Frontiers in Digital Health, Vol. 7, PubMed, 5/2025.

  7. VDI-Gesellschaft Technologies of Life Sciences; Johannes Steidle; Doris Thurau; Manfred Tschoepe; Sven Urlaub; Stefan Nawrath; Jonas Renk; Frank Spinner; Henning Meyer; Elisabeth Quendler; Fabian Gmeiner; Henri Greil; Uwe Knauer; Bjoern Losekamp; Dominik Fueglistaller; Andreas Fallert; Pia Bartels; Harald Claussen; Heinz Bernhardt; Christian Bode

    VDI-EE 4350 Biodiversitätsschondende Mähwerke zur Pflege des Straßenbegleitgrüns [Biodiversity supporting mowers for maintaining the greenery along the road]

    Richtlinien-Publikation ICS 13.020.20, 93.080.99, Pages 1-12, VDI-Expertenempfehlungen (VDI-TLS), Vol. VDI-EE 4350, Verein Deutscher Ingenieure e.V. 2025 Düsseldorf, 6/2025.

  8. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Linear Formal Verification of Sequential Circuits using Weighted-AIGs

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

  9. F. Lalchhandama; Kamalika Datta; Rolf Drechsler; Sandip Chakraborty; Indranil Sengupta

    Practicality of MAGIC NOR in a 1T1M Crossbar Array for In-memory Computing

    In: Journal of Circuits, Systems and Computers, Vol. 31, No. 04, World Scientific, 2026.