Skip to main content Skip to main navigation

Publications

Displaying results 1901 to 1910 of 15099.

  1. Szymon Siecinski; Ewaryst Tkacz; Marcin Grzegorzek

    Classification of Valvular Heart Diseases based on Heart Rate Variability and Hjorth Parameters in Electrocardiograms, Seismocardiograms, and Gyrocardiograms

    In: 2025 47th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2025), July 14-18, Copenhagen, Denmark, Pages 1-4, Vol. 2025, ISBN 979-8-3315-8618-8, IEEE Xplore, 7/2025.

  2. Shiyi Ma; Wenbo Zhang; Jian Zhao; Mingzhe Wu; Yuxin Xia; Xinyue Zhang; Yuxuan Li; Hongzan Sun; Marcin Grzegorzek; Chen Li; Rui Zhao

    A Machine Vision and Integrated Sensors-Based Portable Forensic Field Inspection Device

    In: Peng You; Yuhui Zheng (Hrsg.). Proceedings of International Conference on Image, Vision and Intelligent Systems 2024 (ICIVIS 2024). Pages 453-469, ISBN 978-981-96-2431-7, Springer Nature, 7/2025.

  3. Martha Schnieber; Rolf Drechsler

    Polynomial Test Pattern Generation for Fully Testable Circuits derived from KFDDs

    In: GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2026), February 22-24, Potsdam, Germany, 2026.

  4. Jan Kleinekathöfer; Muhammad Hassan; Rolf Drechsler

    Secure Open-Source Chip Design: Logic Locking and Attack Analysis within the OpenLane Flow

    In: GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2026), February 22-24, Potsdam, Germany, 2026.

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

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

  7. Verena Wolf

    Equivalences on Phase Type Processes

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

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

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

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

Year

More options