|
Search the dblp DataBase
Lars Gesellensetter:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Stefan Kopp, Lars Gesellensetter, Nicole C. Krämer, Ipke Wachsmuth
A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application. [Citation Graph (0, 0)][DBLP] IVA, 2005, pp:329-343 [Conf]
- Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner
Formal Verification of Dead Code Elimination in Isabelle/HOL. [Citation Graph (0, 0)][DBLP] SEFM, 2005, pp:200-209 [Conf]
- Lars Gesellensetter, Sabine Glesner
Only the Best Can Make It: Optimal Component Selection. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:105-124 [Journal]
Interprocedural Speculative Optimization of Memory Accesses to Global Variables. [Citation Graph (, )][DBLP]
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|