"Mark R. Warner"@cs . . "4018353"^^ . "25"^^ . . . . "1"^^ . "436154"^^ .