| |
| 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 |
| 1 | Jan Olaf Blech | [1] |
| 2 | Sabine Glesner | [1] [3] [4] [5] |
| 3 | Stefan Kopp | [2] |
| 4 | Nicole C. Krämer | [2] |
| 5 | Elke Salecker | [4] |
| 6 | Ipke Wachsmuth | [2] |