| 2008 |
|---|
| 5 | EE | Lars Gesellensetter,
Sabine Glesner:
Interprocedural Speculative Optimization of Memory Accesses to Global Variables.
Euro-Par 2008: 350-359 |
| 2007 |
|---|
| 4 | EE | Lars Gesellensetter,
Sabine Glesner,
Elke Salecker:
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler.
FMICS 2007: 85-100 |
| 3 | EE | Lars Gesellensetter,
Sabine Glesner:
Only the Best Can Make It: Optimal Component Selection.
Electr. Notes Theor. Comput. Sci. 176(2): 105-124 (2007) |
| 2005 |
|---|
| 2 | EE | Stefan Kopp,
Lars Gesellensetter,
Nicole C. Krämer,
Ipke Wachsmuth:
A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application.
IVA 2005: 329-343 |
| 1 | EE | Jan Olaf Blech,
Lars Gesellensetter,
Sabine Glesner:
Formal Verification of Dead Code Elimination in Isabelle/HOL.
SEFM 2005: 200-209 |
