Automatic counting of fission tracks using object-based image analysis for dating applications. - Judith Lippold; Prashanth Reddy Marpu; Richard Gloaguen; Raymond Jonckheere (IGARSS, 2007)

Visualization Support for Contracts in VeriFast. - Pauline Hergersberg; Judith Lippold; Bastian Nahrstedt; Thomas Baar (GI-Jahrestagung, 2023)