Kevin Baum, M.A. M.Sc.

Sebastian Biewer; Kevin Baum; Sarah Sterz; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Franz Lehr

In: Formal Methods in System Design, Vol. 62, Pages 1-50, Springer, 4/2024.

Sarah Sterz; Kevin Baum; Sebastian Biewer; Holger Hermanns; Anne Lauber-Rönsberg; Philip Meinel; Markus Langer

In: Proceedings of the 2024 ACM Conference on Fairness, Accountability, and Transparency. ACM Conference on Fairness, Accountability, and Transparency (ACM FAccT-2024), June 3-6, Rio de Janeiro, Brazil, Pages 2495-2507, ISBN 979-8-4007-0450-5, Association for Computing Machinery, New York, NY, USA, 2024.

Kevin Baum; Joanna Bryson; Frank Dignum; Virginia Dignum; Marko Grobelnik; Holger Hoos; Morten Irgens; Paul Lukowicz; Catelijne Muller; Francesca Rossi; John Shawe-Taylor; Andreas Theodorou; Ricardo Vinuesa

In: Frontiers in Computer Science, Vol. 5, Pages 0-0, Frontiers Media, 5/2023.