| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 5 |      | Lars Gesellensetter, Sabine Glesner: Interprocedural Speculative Optimization of Memory Accesses to Global Variables. Euro-Par 2008: 350-359 |
| 2007 | ||
| 4 | | 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 | | 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 | | 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 | | 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] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page