Engineering efficient error-correcting geocoding. - Christian Jung 003; Daniel Karch; Sebastian Knopp; Dennis Luxen; Peter Sanders 001 (GIS, 2011)

Efficient Error-Correcting Geocoding - Christian Jung 003; Daniel Karch; Sebastian Knopp; Dennis Luxen; Peter Sanders 001 (CoRR, 2011)

Formal Specification and Verification of JDK's Identity Hash Map Implementation. - Martin de Boer; Stijn de Gouw; Jonas Klamroth; Christian Jung 003; Mattias Ulbrich; Alexander Weigl (Formal Aspects Comput., 2023)