- The finiteness conjecture holds in SL(2,Z>=0)^2, (joint paper with D. Sclosa), https://arxiv.org/abs/2006.16899, 2020.
- Billiards on pythagorean triples and their Minkowski functions, Discrete and Continuous Dynamical Systems, 40(7), 4341-4378, 2020.
- Decreasing height along continued fractions, Ergodic Theory Dynam. Systems, 40(3), 763-788, 2020.
- Slow continued fractions, transducers, and the Serret theorem, J. Number Theory, 185, 121-143, 2018.
- The weighted Farey sequence and a sliding section for the horocycle flow, http://arxiv.org/abs/1503.02539, 2015.
- Measures induced by units, (joint paper with D. Ravotti), Journal of Symbolic Logic, 78(3), 886-910, 2013.
- Denominator-preserving maps, Aequationes Mathematicae, 84(1), 13-25, 2012.
- Kakutani-von Neumann maps on simplexes, Acta Arithmetica, 148(4), 333-350, 2011.
- A general Lagrange theorem, American Mathematical Monthly, 116(1), 70-74, 2009.
- Multidimensional continued fractions and a Minkowski function, Monatshefte für Mathematik, 154, 247-264, 2008.
- Invariant measures in free MV-algebras, Communications in Algebra, 36(8), 2849-2861, 2008.
- The automorphism group of
falsum-free product logic, in
*Algebraic and Proof-Theoretic Aspects of Non-classical Logics*, S. Aguzzoli et al. eds., Lecture Notes in Artificial Intelligence, vol. 4460, Springer, 275-289, 2007. - Bernoulli automorphisms of finitely generated free MV-algebras, J. of Pure and Applied Algebra, 208(3), 941-950, 2007.
- Dynamical properties of logical substitutions, Discrete and Continuous Dynamical Systems, Series A, 15(1), 237-258, 2006.
- Generic substitutions, J. of Symbolic Logic, 70(1), 61-83, 2005.
- Geometrical methods in Wajsberg hoops, (joint paper with P. Aglianò), J. of Algebra 256(2), 352-374, 2002.
- Adding structure to MV-algebras, (joint paper with F. Montagna), J. of Pure and Applied Algebra, 164(3), 365-387, 2001.
- Decidable and undecidable prime theories in infinite-valued logic, (joint paper with D. Mundici), Annals of Pure and Applied Logic, 108(1-3), 269-278, 2001.
- Prime ideals in free l-groups and free vector lattices, J. of Algebra 219(1), 173-200, 1999.
- A constructive proof that every 3-generated l-group is ultrasimplicial,
(joint paper with D. Mundici), in
*Logic, Algebra, and Computer Science. Helena Rasiowa in memoriam*, D. Niwinski and M. Zawadowski eds., Banach Centre Publications vol. 46, 169-178, 1999. - Varieties of MV-algebras, J. of Applied Non-Classical Logics 9(1), 141-157, 1999.
- Twenty questions with many-valued answers,
(joint paper with D. Mundici), in
*Models, Algebras and Proofs*, X. Caicedo and C. Montenegro eds., Lecture Notes in Pure and Applied Mathematics, vol. 203, Dekker, 295-313, 1998. - Finitely generated free MV-algebras and their automorphism groups, (joint paper with A. Di Nola and R. Grigolia), Studia Logica 61(1), 65-78, 1998.
- Multi-valued logics,
in
*Handbook of Defensible Reasoning and Uncertainty Management Systems*, vol. 1, D. Gabbay and P. Smets eds., Kluwer, 25-74, 1998. - La logica infinito-valente di Lukasiewicz, Ph.D. thesis, Dept. of Mathematics, University of Siena, 1995 (in Italian).
- A geometric proof of the completeness of the Lukasiewicz calculus, Journal of Symbolic Logic 60, 563-578, 1995.
- The equivalence problem for Bratteli diagrams, (joint paper with D. Mundici), Mathematical Report n. 259, University of Siena, 1993.
- Extending addition in Elliott's local semigroup, (joint paper with D. Mundici), J. of Functional Analysis 117, 461-472, 1993.
- The logic of partially ordered abelian groups with strong unit, Proceedings of the XVth Incontro di Logica Matematica di Camerino, G. Gerla ed., 85-107, 1992.
- Classification of dimension groups over Z^3, Mathematical Report n. 238, University of Siena, 1991.
- Solution of a number theoretic problem involving knowledge, International J. of Foundat. Comp. Sci. 2(4), 419-424, 1991.
- The relative complexity of cut-free Gentzen systems and resolution, Master's thesis, University of Toronto, 1990.