Scheme-Based Systematic Exploration of Natural Numbers. - Madalina Hodorog; Adrian Craciun (SYNASC, 2006)

Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration. - Adrian Craciun; Madalina Hodorog (SYNASC, 2007)

A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity. - Madalina Hodorog; Bernard Mourrain; Josef Schicho (SYNASC, 2010)

GENOM3CK: a library for genus computation of plane complex algebraic curves using knot theory. - Madalina Hodorog; Bernard Mourrain; Josef Schicho (ACM Commun. Comput. Algebra, 2010)

An Adapted Version of the Bentley-Ottmann Algorithm for Invariants of Plane Curves Singularities. - Madalina Hodorog; Bernard Mourrain; Josef Schicho (ICCSA (3), 2011)

A regularization method for computing approximate invariants of plane curves singularities. - Madalina Hodorog; Josef Schicho (SNC, 2011)

Symbolic-numeric algorithms for plane algebraic curves. - Madalina Hodorog (ACM Commun. Comput. Algebra, 2011)

A regularization approach for estimating the type of a plane curve singularity. - Madalina Hodorog; Josef Schicho (Theor. Comput. Sci., 2013)