Marco Riccardi

According to our database, Marco Riccardi authored at least 16 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Exponential Objects.

Marco Riccardi

Formaliz. Math., 2015

Categorical Pullbacks.

Marco Riccardi

Formaliz. Math., 2015

2013

Object-Free Definition of Categories.

Marco Riccardi

Formaliz. Math., 2013

Titans' revenge: Detecting Zeus via its own flaws.

Marco Riccardi, Roberto Di Pietro, Marta Palanques, Jorge Aguila Vila

Comput. Networks, 2013

2012

Fundamental Group of n-sphere for n ≥ 2.

Marco Riccardi, Artur Kornilowicz

Formaliz. Math., 2012

Planes and Spheres as Topological Manifolds. Stereographic Projection.

Marco Riccardi

Formaliz. Math., 2012

The Borsuk-Ulam Theorem.

Artur Kornilowicz, Marco Riccardi

Formaliz. Math., 2012

2011

The Definition of Topological Manifolds.

Marco Riccardi

Formaliz. Math., 2011

Taming Zeus by leveraging its own crypto internals.

Marco Riccardi, Roberto Di Pietro, Jorge Aguila Vila

Proceedings of the 2011 eCrime Researchers Summit, 2011

2010

Free Magmas.

Marco Riccardi

Formaliz. Math., 2010

A framework for financial botnet analysis.

Marco Riccardi, David Oro, Jesus Luna, Marco Cremonini, Marc Vilanova

Proceedings of the 2010 eCrime Researchers Summit, 2010

2009

The Perfect Number Theorem and Wilson's Theorem.

Marco Riccardi

Formaliz. Math., 2009

Solution of Cubic and Quartic Equations.

Marco Riccardi

Formaliz. Math., 2009

2008

Ramsey's Theorem.

Marco Riccardi

Formaliz. Math., 2008

Heron's Formula and Ptolemy's Theorem.

Marco Riccardi

Formaliz. Math., 2008

2006

An Embedded Hardware-Software System to Detect and Foresee Road Ice Formation.

Tassilo Meindl, Walter Moniaci, Eros Pasero, Marco Riccardi

Proceedings of the International Joint Conference on Neural Networks, 2006