27 citations · 52 across the 3 of their papers we have counts for
3 papers
cond-mat.quant-gas2021★ 25 cited
Spatial Bloch oscillations of a quantum gas in a "beat-note" superlattice
L. Masi, T. Petrucciani, G. Ferioli +4
We report the experimental realization of a new kind of optical lattice for ultra-cold atoms where arbitrarily large separation between the sites can be achieved without renouncing…
quant-ph2020
Sensitivity bounds of a spatial Bloch-oscillations Atom Interferometer
I. Nałȩcz, L. Masi, G. Ferioli +3
We study the ultimate bounds on the sensitivity of a Bloch-oscillation atom interferometer where the external force is estimated from the measurement of the on-site atomic density.…
cs.PL2016★ 27 cited
Set-Theoretic Types for Polymorphic Variants
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unifica…