In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Kaiserslautern, Germany, 2024.
Wolfgang Kemmler; Michael Fröhlich; Oliver Ludwig; Christoph Eifler; Joshua Berger; Florian Micke; Heinz Kleinöder; Bernd Wegener; Christoph Zinner; Frank C Mooren; Marc Teschler; Andre Filipovic; S Müller; K England; Jens Vatter; Sebastian Authenrieth; Matthias Kohl; Simon von Thaden
In: Alessandra Di Cagno (Hrsg.). Frontiers in Sports and Active Living, Vol. 6, Page 1473103, Frontiers Media SA, 10/2024.
Simon von Stengel; Michael Fröhlich; Oliver Ludwig; Christoph Eifler; Joshua Berger; Heinz Kleinöder; Florian Micke; Bernd Wegener; Christoph Zinner; Frank C Mooren; Marc Teschler; Andre Filipovic; Stephan Müller; Keven England; Jens Vatter; Sebastian Authenrieth; Matthias Kohl; Wolfgang Kemmler
In: NeurIPS 2024 Workshop on Bayesian Decision-making and Uncertainty. Neural Information Processing Systems (NeurIPS-2024), Workshop on Bayesian Decision-making and Uncertainty, located at NeuIPS-2024, December 14, Vancouver, BC, Canada, NeurIps Foundation, 2024.
In: Hocine Cherifi; Murat Donduran; Luis M. Rocha; Chantal Cherifi; Onur Varol. International Conference on Complex Networks and Their Applications. Pages 183-194, Springer Nature Switzerland, 2024.
In: Wirtschaftsinformatik 2024 Proceedings. Internationale Tagung Wirtschaftsinformatik (WI-2024), September 16-19, Würzburg, Germany, Association for Information Systems, 2024.