"Chen-Shen Fan" . . . . "Chen-Shen Fan" .