Thanks to responses in a previous question I asked, I was able to show that if $p$ and $q$ are two distinct polynomials with equal degree greater than 2 and coefficients in $\mathbb{N}$ that the number of integer solutions to $p(x)=q(y)$ is finite.
This is enough for a part of the research problem I am working on, but I'd really like to be able to have a bound on these solutions, or have some algorithm to compute the largest solutions. I have found this paper, which solves the problem for when p and q are monic and p(x)-q(y) is irreducible over $\mathbb{Q}[X,Y]$.
Do you know of any other results on bounding solutions to Diophantine equations of this form?
[Edit] By Bilu's and Tichy's paper, there are either finitely many solutions, or the solutions are exponential in nature (as in Pell's equation) when $p \neq q$ and $\deg(p)=\deg(q)\geq2$. The question I'm asking now is given that there are finitely many solutions, are there results similar to those in Tengely's thesis linked above that give explicit bounds on the size of these solutions?