A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application. - Stefan Kopp; Lars Gesellensetter; Nicole C. Krämer; Ipke Wachsmuth (IVA, 2005)

Formal Verification of Dead Code Elimination in Isabelle/HOL. - Jan Olaf Blech; Lars Gesellensetter; Sabine Glesner (SEFM, 2005)

Only the Best Can Make It: Optimal Component Selection. - Lars Gesellensetter; Sabine Glesner (FESCA@ETAPS, 2006)

Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. - Lars Gesellensetter; Sabine Glesner; Elke Salecker (FMICS, 2007)

Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely. - Lars Gesellensetter (Scalable Program Analysis, 2008)

Interprocedural Speculative Optimization of Memory Accesses to Global Variables. - Lars Gesellensetter; Sabine Glesner (Euro-Par, 2008)

A framework for intelligent speculative compiler optimizations and its application to memory accesses. - Lars Alvincz (2009)