A Setting for Generalized Computability. - Giorgio Germano; Stefano Mazzanti (Computation Theory and Logic, 1987)

Loose Diagrams, Semigroupoids, Categories, Groupoids and Iteration. - Giorgio Germano; Stefano Mazzanti (CSL, 1987)

Primitive iteration and unary functions. - G. M. Germano; Stefano Mazzanti (Ann. Pure Appl. Log., 1988)

General Iteration and Unary Functions. - Giorgio Germano; Stefano Mazzanti (Ann. Pure Appl. Log., 1991)

Closure Functions and General Iterates as Reflectors. - Giorgio Germano; Stefano Mazzanti (Theor. Comput. Sci., 1991)

Succinct Iterative Characterizations of Primitive Computable Unary Functions. - Stefano Mazzanti (Inf. Process. Lett., 1995)

A Practical Method for Rigorously Controllable Hardware Design. - Egon Börger; Stefano Mazzanti (ZUM, 1997)

Iterative Characterizations of Computable Unary Functions: A General Method. - Stefano Mazzanti (Math. Log. Q., 1997)

Non-Deterministic Closure Theory and Universal Arrows. - G. M. Germano; Stefano Mazzanti (Appl. Categorical Struct., 2001)

Plain Bases for Classes of Primitive Recursive Functions. - Stefano Mazzanti (Math. Log. Q., 2002)

Cantor Diagrams: A Unifying Discussion of Self-Reference. - G. M. Germano; Stefano Mazzanti (Appl. Categorical Struct., 2003)

Peano Structures and the Semantics of Iteration. - Giorgio Germano; Stefano Mazzanti (COMETA, 2003)

Bounded iteration and unary functions. - Stefano Mazzanti (Math. Log. Q., 2005)

Progetto, realizzazione e sperimentazione di un sistema di acquisizione dati in tempo reale su piattaforma personal computer. - Stefano Mazzanti (2005)

CRN Elimination and Substitution Bases for Complexity Classes. - Stefano Mazzanti (Fundam. Informaticae, 2012)

Iteration on notation and unary functions. - Stefano Mazzanti (Math. Log. Q., 2013)

Logspace computability and regressive machines. - Stefano Mazzanti (ICTCS, 2014)

Unbounded Recursion and Non-size-increasing Functions. - Stefano Mazzanti (ICTCS, 2015)

Bases for AC0 and Other Complexity Classes. - Stefano Mazzanti (Fundam. Informaticae, 2015)

Regressive computations characterize logarithmic space. - Stefano Mazzanti (Inf. Comput., 2016)

New substitution bases for complexity classes. - Stefano Mazzanti (Math. Log. Q., 2020)