Hola! Para la mayoría de casos funciona:
Código PHP:
$mi_time=strtotime($mi_fecha);
$mi_forma="D M j G:i:s T Y"; // Ej. Sat Mar 10 15:16:08 MST 2001
$mi_time_nueve = date($mi_forma, $mi_time);
Claro, que funciona solamente si $mi_fecha tiene el formato "normal" y esta situada entre 01-01-1970 y 19-01-2038.
Saludos.