Lars Gesellensetter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2005–2008
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | EuroPar | Interprocedural Speculative Optimization of Memory Accesses to Global Variables. | Lars Gesellensetter, Sabine Glesner |
| 2007 | FMICS | Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. | Lars Gesellensetter, Sabine Glesner, Elke Salecker |
| 2005 | IVA | A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application. | Stefan Kopp, Lars Gesellensetter, Nicole C. Krmer, Ipke Wachsmuth |
| 2005 | SEFM | Formal Verification of Dead Code Elimination in Isabelle/HOL. | Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner |