"H. R. Labouisse"@cs .