Marco Riccardi

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 0

Top Topics

Individual Objects

Smooth Manifold

Annual Conference

Central Catadioptric Cameras

Top Venues

Formaliz. Math.

Comput. Networks

Publications

Marco Riccardi
Exponential Objects. Formaliz. Math. 23 (4) (2015)
Marco Riccardi
Categorical Pullbacks. Formaliz. Math. 23 (1) (2015)
Marco Riccardi
Object-Free Definition of Categories. Formaliz. Math. 21 (3) (2013)
Marco Riccardi, Roberto Di Pietro, Marta Palanques, Jorge Aguila Vila
Titans' revenge: Detecting Zeus via its own flaws. Comput. Networks 57 (2) (2013)
Artur Kornilowicz, Marco Riccardi
The Borsuk-Ulam Theorem. Formaliz. Math. 20 (2) (2012)
Marco Riccardi
Planes and Spheres as Topological Manifolds. Stereographic Projection. Formaliz. Math. 20 (1) (2012)
Marco Riccardi, Artur Kornilowicz
Fundamental Group of n-sphere for n ≥ 2. Formaliz. Math. 20 (2) (2012)
Marco Riccardi
The Definition of Topological Manifolds. Formaliz. Math. 19 (1) (2011)
Marco Riccardi, Roberto Di Pietro, Jorge Aguila Vila
Taming Zeus by leveraging its own crypto internals. eCrime Researchers Summit (2011)
Marco Riccardi
Free Magmas. Formaliz. Math. 18 (1-4) (2010)
Marco Riccardi, David Oro, Jesus Luna, Marco Cremonini, Marc Vilanova
A framework for financial botnet analysis. eCrime (2010)
Marco Riccardi
Solution of Cubic and Quartic Equations. Formaliz. Math. 17 (1-4) (2009)
Marco Riccardi
The Perfect Number Theorem and Wilson's Theorem. Formaliz. Math. 17 (1-4) (2009)
Marco Riccardi
Heron's Formula and Ptolemy's Theorem. Formaliz. Math. 16 (1-4) (2008)
Marco Riccardi
Ramsey's Theorem. Formaliz. Math. 16 (1-4) (2008)
Tassilo Meindl, Walter Moniaci, Eros Pasero, Marco Riccardi
An Embedded Hardware-Software System to Detect and Foresee Road Ice Formation. IJCNN (2006)