Skip to main content Skip to main navigation

Publications

Displaying results 971 to 980 of 14747.
  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. What you see is not what you get anymore: a mixed-methods approach on human perception of AI-generated images

    In: Frontiers in Artificial Intelligence, Vol. Volume 8 - 2025, No. 1707336, Pages 1-14, Frontiers Media SA, Lausanne, 2025.

  7. Mandala von Westenholz; Mika Patzelt; Tim Römer; Martin Atzmueller

    Generalizing Local Pattern Mining on Attributed Graphs using Simplicial Complex Abstraction

    In: Hocine Cherifi; Murat Donduran; Luis M. Rocha; Chantal Cherifi; Onur Varol (Hrsg.). Complex Networks & Their Applications XIII - Proceedings of The Thirteenth International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2024 - Volume 1. International Conference on Complex Networks and their Applications (COMPLEX NETWORKS-2024), December 10-12, Istanbul, Turkey, Pages 298-311, Studies in Computational Intelligence (SCI), Vol. 1187, Springer, 2025.

  8. Jonas Schmidinger; Viacheslav Barkov; Sebastian Vogel; Martin Atzmueller; Gerard B.M. Heuvelink

    Kriging prior regression: A case for kriging-based spatial features with TabPFN in soil mapping

    In: Computers and Electronics in Agriculture, Vol. 243, Pages 1-17, Elsevier, 2026.

  9. Knowledge-Augmented Explainable and Interpretable Learning for Anomaly Detection and Diagnosis

    In: Pascal Hitzler; Abhilekha Dalal; Mohammad Saeid Mahdavinejad; Sanaz Saki Norouzi (Hrsg.). Handbook on Neurosymbolic AI and Knowledge Graphs. Pages 1-25, ISBN 9781643685786, IOS Press, 3/2025.

  10. Philipp Schlinge; Steffen Meinert; Martin Atzmueller

    Comprehensive evaluation of prototype neural networks

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. online, Pages 1-20, Springer, 2025.