Kim Kern

According to our database, Kim Kern authored at least 2 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Seeker or Avoider? User Modeling for Inspiration Deployment in Large-Scale Ideation.

Maximilian Mackeprang, Kim Kern, Thomas Hadler, Claudia Müller-Birn

CoRR, 2020

2016

Effective Normalization Techniques for HOL.

Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016