An Embedded Hardware-Software System to Detect and Foresee Road Ice Formation. - Tassilo Meindl; Walter Moniaci; Eros Pasero; Marco Riccardi (IJCNN, 2006)

Heron's Formula and Ptolemy's Theorem. - Marco Riccardi (Formaliz. Math., 2008)

Ramsey's Theorem. - Marco Riccardi (Formaliz. Math., 2008)

Solution of Cubic and Quartic Equations. - Marco Riccardi (Formaliz. Math., 2009)

The Perfect Number Theorem and Wilson's Theorem. - Marco Riccardi (Formaliz. Math., 2009)

A framework for financial botnet analysis. - Marco Riccardi; David Oro; Jesus Luna; Marco Cremonini; Marc Vilanova (eCrime, 2010)

Free Magmas. - Marco Riccardi (Formaliz. Math., 2010)

Taming Zeus by leveraging its own crypto internals. - Marco Riccardi; Roberto Di Pietro; Jorge Aguila Vila (eCrime Researchers Summit, 2011)

The Definition of Topological Manifolds. - Marco Riccardi (Formaliz. Math., 2011)

The Borsuk-Ulam Theorem. - Artur Kornilowicz; Marco Riccardi (Formaliz. Math., 2012)

Planes and Spheres as Topological Manifolds. Stereographic Projection. - Marco Riccardi (Formaliz. Math., 2012)

Fundamental Group of n-sphere for n ≥ 2. - Marco Riccardi; Artur Kornilowicz (Formaliz. Math., 2012)

Titans' revenge: Detecting Zeus via its own flaws. - Marco Riccardi; Roberto Di Pietro; Marta Palanques; Jorge Aguila Vila (Comput. Networks, 2013)

Object-Free Definition of Categories. - Marco Riccardi (Formaliz. Math., 2013)

Categorical Pullbacks. - Marco Riccardi (Formaliz. Math., 2015)

Exponential Objects. - Marco Riccardi (Formaliz. Math., 2015)

Global Control in a Superconducting Quantum Computer. - Marco Riccardi; Roberto Menta; Francesco Cioni; Riccardo Aiudi; Marco Polini; Vittorio Giovannetti (QCE, 2024)