Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 14993.

  1. Yaxu Xie; Abdalla Elsayed Abdou Elsayed Mohamed Arafa; Alireza Javanmardi; Christen Millerdurai; Jia Cheng Hu; Shaoxiang Wang; Alain Pagani; Didier Stricker

    ReLaGS: Relational Language Gaussian Splatting

    In: Proc. of. International Conference on Computer Vision and Pattern Recognition (CVPR-2026), IEEE/CVF, 2026.

  2. Daniil Gurgurov; Michal Gregor; Josef van Genabith; Simon Ostermann

    On Multilingual Encoder Language Model Compression for Low-Resource Languages

    In: Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics. International Joint Conference on Natural Language Processing & Asia-Pacific Chapter of the Association for Computational Linguistics (IJCNLP-AACL-2025), December 20-24, Mumbai, India, The Asian Federation of Natural Language Processing and The Association for Computational Linguistics, 12/2025.

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

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

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

  6. Verena Wolf

    Equivalences on Phase Type Processes

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

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

  8. Gerrit Großmann; Luca Bortolussi; Verena Wolf

    Efficient simulation of non-Markovian dynamics on complex networks

    In: Hocine Cherifi (Hrsg.). PLOS ONE, Vol. 15, No. 10, Pages 1-18, PLOS ONE, 10/2020.

  9. Linar Mikeev; Werner Sandmann; Verena Wolf

    Efficient Calculation of Rare Event Probabilities in Markovian Queueing Networks

    In: Samson Lasaulce; Dieter Fiems; Pete Harrison; Luc Vandendorpe (Hrsg.). VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools. International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS-2011), May 16-20, Paris, France, Pages 186-196, ISBN 978-1-936968-09-1, ACM, 5/2011.

  10. Harald Fecher; Martin Leucker; Verena Wolf

    Don't Know in Probabilistic Systems

    In: Antti Valmari (Hrsg.). Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria, Pages 71-88, ISBN 9783540331032, Springer Berlin Heidelberg, Heidelberg, 3/2006.

Year

More options