Kevin Baum
发表
H. Horacek,
Manjuan Duan,
Kevin Baum,
2017
.
Maximilian A. Köhl,
Kevin Baum,
Eva Schmidt,
2017
.
Holger Hermanns,
Kevin Baum,
Timo Speith,
2019,
CREST@ETAPS.
Holger Hermanns,
Markus Langer,
Lena Kästner,
2021,
Artif. Intell..
Markus Langer,
Daniel Oster,
H. Hermanns,
2021
.
S. Mantel,
Kevin Baum,
Timo Speith,
2022,
Philosophy & Technology.
S. Mantel,
Kevin Baum,
Timo Speith,
2022,
Philosophy & Technology.
Markus Langer,
Cornelius J. König,
Dieter Wallach,
2021,
Comput. Hum. Behav..
Dimitri Bohlender,
Markus Langer,
Maximilian A. Köhl,
2019,
2019 IEEE 27th International Requirements Engineering Conference (RE).
Kevin Baum,
Kevin Baum,
2016,
ISoLA.
Holger Hermanns,
Kevin Baum,
Sarah Sterz,
2021,
2021 IEEE 29th International Requirements Engineering Conference Workshops (REW).
Cornelius J. König,
Markus Langer,
Daniel Oster,
2021,
International Journal of Selection and Assessment.
Holger Hermanns,
Kevin Baum,
Timo Speith,
2018,
International Symposium on Artificial Intelligence and Mathematics.
Markus Langer,
H. Hermanns,
Anne Lauber-Rönsberg,
2023,
Formal Methods in System Design.
Markus Langer,
Kevin Baum,
Timo Speith,
2021,
2021 IEEE 29th International Requirements Engineering Conference Workshops (REW).
H. Hermanns,
Kevin Baum,
Timo Speith,
2018,
ISAIM.