The use of symbolic computation in solving free boundary problems by the Ritz-Galerkin method. - Alfonso Miola (SIGSAM Bull., 1974)

Computational aspects of Hensel-type univariate polynomial greatest common divisor algorithms. - Alfonso Miola; David Y. Y. Yun (SIGSAM Bull., 1974)

Using minicomputers for algebraic computations. - Gianna Cioni; Alfonso Miola (SIGSAM Bull., 1976)

Linear Algebraic Approach for Computing Polynomial Resultant. - Luciana Bordoni; Attilio Colagrossi; Alfonso Miola (EUROCAM, 1982)

The conversion of Hensel codes to their rational equivalents: or how to solve the Gregory's open problem. - Alfonso Miola (SIGSAM Bull., 1982)

A unified view of approximate rational arithmetic and rational interpolation. - Alfonso Miola (IEEE Symposium on Computer Arithmetic, 1983)

Computing real zeros of polynomials with parametric coefficients. - Attilio Colagrossi; Alfonso Miola (SIGSAM Bull., 1983)

Algebraic Approach to p-adic Conversion of Rational Numbers. - Alfonso Miola (Inf. Process. Lett., 1984)

A Package of Tools for Manipulation of Sums and Series. - M. Arcieri; Alfonso Miola; F. Panasiti (European Conference on Computer Algebra (2), 1985)

Complexity issues in algebraic algorithms: relevant topics for mathematical education. - Alfonso Miola (ACM Commun. Comput. Algebra, 1985)

On the Integration of Numeric and Algebraic Computations. - Gianfranco Mascari; Alfonso Miola (AAECC, 1986)

A normalization algorithm for truncated p-adic arithmetic. - Attilio Colagrossi; Alfonso Miola (IEEE Symposium on Computer Arithmetic, 1987)

Symbolic and algebraic computation research in Italy. - Patrizia M. Gianni; Alfonso Miola; Teo Mora (SIGSAM Bull., 1987)

Report on previous activities at AAECC. - Alfonso Miola (SIGSAM Bull., 1988)

Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods. - Alfonso Miola; Teo Mora (J. Symb. Comput., 1988)

Symbolic Computation and Artificial Intelligence. - Alfonso Miola (FAIR, 1991)

Design and Implementation of Symbolic Computation Systems. - Carla Limongelli; Alfonso Miola; Marco Temperini (Programming Environments for High-Level Scientific Problem Solving, 1991)

A Desk-Top Sequent Calculus Machine. - Gianna Cioni; Attilio Colagrossi; Alfonso Miola (AISMC, 1992)

A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems. - Gianna Cioni; Attilio Colagrossi; Alfonso Miola (J. Symb. Comput., 1995)

Supporting Teachers to Retrieve and Select Learning Objects for Personalized Courses in the Moodle_LS Environment. - Carla Limongelli; Alfonso Miola; Filippo Sciarrone; Marco Temperini (ICALT, 2012)

Folksonomy-based adaptive query expansion. - Claudio Biancalana; Fabio Gasparetti; Alessandro Micarelli; Alfonso Miola; Giuseppe Sansonetti (UMAP Workshops, 2012)

Wavelet-based Music Recommendation. - Fabio Gasparetti; Claudio Biancalana; Alessandro Micarelli; Alfonso Miola; Giuseppe Sansonetti (WEBIST, 2012)