Sazona la cola de res con sal y pimienta. Coloca la carne, la cebolla, el ajo y la hoja de laurel en una olla junto con las 4 tazas de agua. Si usas una olla eléctrica de cocción instantánea, cocina la carne durante 40 minutos hasta que esté suave y pueda separarse fácilmente del hueso. Una vez que la carne esté cocida, retira la carne de los huesos. Si usas una olla de presión para cocinar la carnes, el tiempo de cocción será de aproximadamente 50 minutos. Si usas una olla común, tardará aproximadamente 1 hora y 45 minutos, o hasta 2 horas.
Mientras la carne se cocina, asa los chiles Poblanos colocándolos directamente sobre la flama de la estufa. Póngalos a asar de manera uniforme, asegurándote de no quemar los chiles. Quítelos rápidamente y colócalos dentro de una bolsa de plástico o envuelve con una servilelta de cocina por 5 minutos. Mientras tanto, pon a asar los tomates.
Coloca los tomates en una comal caliente para asar, volteándolos una vez por todos lados hasta que estén asados; sabrá que están listos. Después de que se asen, retíralos del comal.
Quita las pieles carbonizadas de los chiles Poblanos frotando su dedo contra su piel (si no puedes quitar toda la piel, está bien, la piel asada agrega más sabor al guisado). Después de que retires las semillas y quites las venas, corta los chiles en tiras y déjalos a un lado.
Pica los tomates asados y colócalos en una licuadora junto con los dientes de ajo y 1 taza de agua. Procesa hasta que tengas una salsa espesa.
Calienta el aceite en una sartén grande a fuego medio-alto. Agrega la cebolla, salteándola por un minuto, y luego agrega las tiras de chiles Serrano. Siga cocinando por un minuto más. En este momento, vierta la salsa mezclada, 1 taza de caldo de la carne y la pasta de tomate. Revuelva bien y cocina por 5 minutos más.
Finalmente, agrega la carne y los chiles Poblano, sazona la salsa con sal y pimienta. Siga cocinando durante 8 minutos más a fuego lento. Si la salsa necesita más líquido, agrega más caldo de cocción de la carne. Para servir, adorna con el cilantro picado.