Automatic Synthesis of Typed Lambda-Programs on Term Algebras. - Corrado Böhm; Alessandro Berarducci (Theor. Comput. Sci., 1985)

The Interpretability Logic of Peano Arithmetic. - Alessandro Berarducci (J. Symb. Log., 1990)

Combinatorial Principles in Elementary Number Theory. - Alessandro Berarducci; Benedetto Intrigila (Ann. Pure Appl. Log., 1991)

A Self-Interpreter of Lambda Calculus Having a Normal Form. - Alessandro Berarducci; Corrado Böhm (CSL, 1992)

On the Provability Logic of Bounded Arithmetic. - Alessandro Berarducci; Rineke Verbrugge (Ann. Pure Appl. Log., 1993)

Generalizations of Unification. - Alessandro Berarducci; Marisa Venturini Zilli (J. Symb. Comput., 1993)

Some New Results on Easy lambda-Terms. - Alessandro Berarducci; Benedetto Intrigila (Theor. Comput. Sci., 1993)

Delta0-Complexity of the Relation y = prodi <= n F(i). - Alessandro Berarducci; Paola D'Aquino (Ann. Pure Appl. Log., 1995)

A Recursive Nonstandard Model of Normal Open Induction. - Alessandro Berarducci; Margarita Otero (J. Symb. Log., 1996)

Infinite lambda-Calculus and Types. - Alessandro Berarducci; Mariangiola Dezani-Ciancaglini (Theor. Comput. Sci., 1999)

General Recursion on Second Order Term Algebras. - Alessandro Berarducci; Corrado Böhm (RTA, 2001)

Intersection theory for 0-minimal manifolds. - Alessandro Berarducci; Margarita Otero (Ann. Pure Appl. Log., 2001)

Transfer methods for o-minimal topology. - Alessandro Berarducci; Margarita Otero (J. Symb. Log., 2003)

An effective version of Wilkie's theorem of the complement and some effective o-minimality results. - Alessandro Berarducci; Tamara Servi (Ann. Pure Appl. Log., 2004)

A descending chain condition for groups definable in o-minimal structures. - Alessandro Berarducci; Margarita Otero; Ya'acov Peterzil; Anand Pillay (Ann. Pure Appl. Log., 2005)

O-minimal spectra, infinitesimal subgroups and cohomology. - Alessandro Berarducci (J. Symb. Log., 2007)

Corrigendum to: "Transfer methods for o-minimal topology". - Alessandro Berarducci; Mário J. Edmundo; Margarita Otero (J. Symb. Log., 2007)

O-Minimal Cohomology: Finiteness and invariance Results. - Alessandro Berarducci; Antongiulio Fornasiero (J. Math. Log., 2009)

Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup. - Alessandro Berarducci (J. Symb. Log., 2009)

On the homotopy type of definable groups in an o-minimal structure. - Alessandro Berarducci; Marcello Mamino (J. Lond. Math. Soc., 2011)

Cartan subgroups and regular points of o-minimal groups. - Elías Baro; Alessandro Berarducci; Margarita Otero (J. Lond. Math. Soc., 2019)

Asymptotic Analysis of Skolem's exponential Functions. - Alessandro Berarducci; Marcello Mamino (J. Symb. Log., 2022)

Orthogonal Decomposition of Definable Groups. - Alessandro Berarducci; Pantelis E. Eleftheriou; Marcello Mamino (J. Symb. Log., 2024)

Vector spaces with a union of independent subspaces. - Alessandro Berarducci; Marcello Mamino; Rosario Mennuni (Arch. Math. Log., 2024)