Skip to main content Skip to main navigation

Kevin Baum, M.A. M.Sc.

Organizational unit Neuro-mechanistic Modeling
Contact +49 681 85775 5251 (Saarbrücken)

Address (Saarbrücken) Gebäude D3 2Stuhlsatzenhausweg 3D-66123 Saarbrücken

Publications

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.

To the publication

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.

To the publication