"Adrien Theaux"@cs .