| |
| 2007 | ||
|---|---|---|
| 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] |
| 3 | Stefan Kopp | [2] |
| 4 | Nicole C. Krämer | [2] |
| 5 | Ipke Wachsmuth | [2] |