An improved algorithm for the resolution of singularities. - Gábor Bodnár; Josef Schicho (ISSAC, 2000)

Automated Resolution of Singularities for Hypersurfaces. - Gábor Bodnár; Josef Schicho (J. Symb. Comput., 2000)

Exact Real Computation in Computer Algebra. - Gábor Bodnár; Barbara Kaltenbacher; Petru Pau; Josef Schicho (SNSC, 2001)

Two Computational Techniques for Singularity Resolution. - Gábor Bodnár; Josef Schicho (J. Symb. Comput., 2001)

Algorithmic Tests for the Normal Crossing Property. - Gábor Bodnár (Automated Deduction in Geometry, 2002)

Efficient desingularization of reducible algebraic sets. - Gábor Bodnár (ISSAC, 2004)

Computing Centers of Blowups for Birational Projective Morphisms of Varieties. - Gábor Bodnár (Algorithmic Algebra and Logic, 2005)