Skip to main content Skip to main navigation

Publications

Displaying results 1701 to 1710 of 14915.
  1. Alexander Lück; Pascal Giehr; Karl Nordström; Jörn Walter; Verena Wolf

    Hidden Markov Modelling Reveals Neighborhood Dependence of Dnmt3a and 3b Activity

    In: IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), Vol. 16, No. 5, Pages 1598-1609, IEEE, 4/2019.

  2. Michael Backenköhler; Luca Bortolussi; Verena Wolf

    Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium

    In: Ezio Bartocci; Pietro Lio; Nicola Paoletti (Hrsg.). Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2016), 14th International Conference, CMSB 2016, September 21-23, Cambridge, United Kingdom, Pages 15-29, ISBN 9783319451770, Springer International Publishing, 9/2016.

  3. Thomas Henzinger; Barbara Jobstmann; Verena Wolf

    Formalisms For Specifying Markovian Population Models

    In: International Journal of Foundations of Computer Science, Vol. 22, No. 04, Pages 823-841, World Scientific Publishing Company, Singapur, 6/2011.

  4. Equivalences on Phase Type Processes

    PhD-Thesis, Universität Mannheim, Univ. 5/2008.

  5. David Spieler; Verena Wolf

    Efficient Steady State Analysis of Multimodal Markov Chains

    In: Alexander Dudin; Koen De Turck (Hrsg.). Analytical and Stochastic Modeling Techniques and Applications. International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA-2013), 20th International Conference, ASMTA 2013, July 8-10, Gent, Belgium, Pages 380-395, ISBN 9783642394089, Springer Berlin Heidelberg, Heidelberg, 7/2013.

  6. Tobias Mahl; Sarah Rübel; Cai Hussung; Christian Köhler

    Geschäftsmodellinnovation in digitalen Ökosystemen - Ein Use-Case aus dem Bereich des E-Learnings im Kontext der beruflichen Weiterbildung

    In: Daniel Schallmo; Jens Uwe Pätzmann; Thomas Clauß; Verena Mattes. Entrepreneurship im digitalen Zeitalter - Fallstudien, Ansätze und Tools für Ökosysteme, Geschäftsmodelle und Technologien. Chapter 7, Geschäftsmodellinnovation in digitalen Ökosystemen, Pages 179-198, Schwerpunkt Business Model Innovation, ISBN 978-3-658-46409-7, Springer Gabler, Wiesbaden, 8/2025.

  7. Malte Högemann; Christian Hauff; Oliver Thomas

    Von Schatten-IT zu Schatten-KI durch ChatGPT: Herausforderungen und Handlungsempfehlungen aus deutschen Unternehmen

    In: Wirtschaftsinformatik & Management (WuM), Vol. Online first - wird nachgereicht, Pages 1-8, Springer, 2/2026.

  8. Anindita Ghosh; Vladislav Golyanik; Taku Komura; Philipp Slusallek; Christian Theobalt; Rishabh Dabral

    SceMoS: Scene-Aware 3D Human Motion Synthesis by Planning with Geometry-Grounded Tokens

    In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. International Conference on Computer Vision and Pattern Recognition (CVPR-2026), June 3-7, Denver, Colorado, CO, USA, Computer Vision Foundation (CVF), 2026.

  9. Sensor Generalization for Adaptive Sensing in Event-based Object Detection via Joint Distribution Training

    In: Proceedings of the 15th International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods (ICPRAM-2026), 15th International Conference on Pattern Recognition Applications and Methods, March 2-4, Marbella, Spain, Pages 113-124, ISBN 978-989-758-797-9, Scitepress, 2026.

  10. Luca Müller; Mohamed Nadeem; Rolf Drechsler

    Cutwidth Decomposition on Circuit-AIGs: Taming Verification Complexity of Arithmetic Circuits

    In: 27th International Symposium on Quality Electronic Design. International Symposium on Quality Electronic Design (ISQED-2026), April 8-10, San Francisco, USA, 2026.