"Thomase C. Larsena"@cs .