Ramban, shaar hagemul, writes that techias hamaysim will be at the end of the tekufah of yemos hamoshiach, and will be olam haba on this world.
The Rambam in igeres techias hamaysim writes that it isn’t clear when it will happen, could be before moshiach comes or after.
Hasagos Raavad on hilchos teshuva 8:2,3
Maharal gevuros Hashem, hakdama, writes that techias hamaysim is the beginning of olam haba for those two kept the Torah,
Ramcham in maamar ikarim, “hagemul”