Effective Normalization Techniques for HOL. - Max Wisniewski; Alexander Steen; Kim Kern; Christoph Benzmüller (IJCAR, 2016)

Seeker or Avoider? User Modeling for Inspiration Deployment in Large-Scale Ideation. - Maximilian Mackeprang; Kim Kern; Thomas Hadler; Claudia Müller-Birn (CoRR, 2020)