Kevin Baum, M.A. M.Sc.

Markus Langer; Kevin Baum; Nadine Schlicker

In: Minds and Machines - Journal for Artificial Intelligence, Philosophy and Cognitive Science, Vol. 35, No. 1, Pages 1-30, Springer Nature, 11/2024.

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

In: Thomas Neele; Anton Wijs (Hrsg.). Model Checking Software - 30th International Symposium - Proceedings. International Symposium on Model Checking Software (SPIN-2024), April 8-9, Luxembourg City, Luxembourg, Pages 3-25, Lecture Notes in Computer Science (LNCS), Vol. 14624, Springer Nature, Switzerland, 10/2024.

Kevin Baum; Lisa Dargasz; Felix Jahn; Timo P Gros; Verena Wolf

In: ArXiv e-prints (arxiv), Vol. 1, Pages 1-10, arXiv, 9/2024.