SIMBAD references

The discovery and timing follow up of millisecond pulsars (MSPs) are necessary not just for their usefulness in pulsar timing arrays (PTAs) but also for investigating their own intriguing properties. In this work, we provide the findings of the decade-long timing of four MSPs discovered by the Giant Meterwave Radio Telescope (GMRT), including their timing precision, model parameters, and newly detected proper motions. We compare the timing results for these MSPs before and after the GMRT upgrade in 2017 and characterize the improvement in timing precision due to the bandwidth upgrade. We discuss the suitability of these four GMRT MSPs as well as the usefulness of the decade-long timing data for PTA experiments. These data may aid in the global effort to improve the signal-to-noise ratios of recently detected signature of gravitational waves in cross-correlation statistics of residuals of MSPs.