Diagnosis and utilization of faulty universal tree circuits. - Giacomo Cioffi; Eugenio Fiorillo (AFIPS Spring Joint Computing Conference, 1969)

Autotesting Speed-Independent Sequential Circuits. - Giacomo Cioffi (IEEE Trans. Computers, 1978)

On the Correctness of Goscinski's Algorithm. - Roberto Baldoni; Bruno Ciciani; Giacomo Cioffi (J. Parallel Distributed Comput., 1995)

Direct Dependency-Based Determination of Consistent GlobalCheckpoints. - Roberto Baldoni; Michel Raynal; Giacomo Cioffi; Jean-Michel Hélary (OPODIS, 1999)

Direct dependency-based determination of consistent global checkpoints. - Roberto Baldoni; Giacomo Cioffi; Jean-Michel Hélary; Michel Raynal (Comput. Syst. Sci. Eng., 2001)