Marco Riccardi

17 papers B 1Misc 1Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2024 Misc conf
Global Control in a Superconducting Quantum Computer.
QCE
Marco Riccardi, Roberto Menta, Francesco Cioni, Riccardo Aiudi, Marco Polini, Vittorio Giovannetti
2015 J jnl
Categorical Pullbacks.
Formaliz. Math.
Marco Riccardi
2015 J jnl
Exponential Objects.
Formaliz. Math.
Marco Riccardi
2013 J jnl
Object-Free Definition of Categories.
Formaliz. Math.
Marco Riccardi
2013 J jnl
Titans' revenge: Detecting Zeus via its own flaws.
Comput. Networks
Marco Riccardi, Roberto Di Pietro, Marta Palanques, Jorge Aguila Vila
2012 J jnl
Fundamental Group of n-sphere for n ≥ 2.
Formaliz. Math.
Marco Riccardi, Artur Kornilowicz
2012 J jnl
Planes and Spheres as Topological Manifolds. Stereographic Projection.
Formaliz. Math.
Marco Riccardi
2012 J jnl
The Borsuk-Ulam Theorem.
Formaliz. Math.
Artur Kornilowicz, Marco Riccardi
2011 — conf
Taming Zeus by leveraging its own crypto internals.
eCrime Researchers Summit
Marco Riccardi, Roberto Di Pietro, Jorge Aguila Vila
2011 J jnl
The Definition of Topological Manifolds.
Formaliz. Math.
Marco Riccardi
2010 — conf
A framework for financial botnet analysis.
eCrime
Marco Riccardi, David Oro, Jesus Luna, Marco Cremonini, Marc Vilanova
2010 J jnl
Free Magmas.
Formaliz. Math.
Marco Riccardi
2009 J jnl
Solution of Cubic and Quartic Equations.
Formaliz. Math.
Marco Riccardi
2009 J jnl
The Perfect Number Theorem and Wilson's Theorem.
Formaliz. Math.
Marco Riccardi
2008 J jnl
Heron's Formula and Ptolemy's Theorem.
Formaliz. Math.
Marco Riccardi
2008 J jnl
Ramsey's Theorem.
Formaliz. Math.
Marco Riccardi
2006 B conf
An Embedded Hardware-Software System to Detect and Foresee Road Ice Formation.
IJCNN
Tassilo Meindl, Walter Moniaci, Eros Pasero, Marco Riccardi