Edit Profile (opens in new tab) Kohlhase, Lukas Compute Distance To: Compute Author ID: kohlhase.lukas Published as: Kohlhase, Lukas External Links: ORCID Documents Indexed: 2 Publications since 2014 Co-Authors: 4 Co-Authors with 2 Joint Publications 196 Co-Co-Authors Co-Authors 0 single-authored 1 Bae, Chan 1 Conway, John Horton 1 Kohlhase, Michael 1 Park, Sunghyuk Serials 1 The Mathematical Intelligencer Fields 1 History and biography (01-XX) 1 Computer science (68-XX) Publications by Year