Publications


864 documents

  • Victor Martinez, Omar Fawzi, Daniel Stilck França. Sampling (noisy) quantum circuits through randomized rounding. Quantum, 2025, 10, pp.2068. ⟨10.22331/q-2026-04-15-2068⟩. ⟨hal-05562621⟩
  • R. Eid, S. Tiengo, M. Lévy, T. Bourdel. Saturating interaction in coherently coupled two-component Bose-Einstein condensates. Physical Review A, 2025, 112 (6), pp.063322. ⟨10.1103/3pgn-3mqy⟩. ⟨hal-05190202v1⟩
  • Giulio Biagioni, Britton Hofer, Nathan Bonvalet, Damien Bloch, Antoine Browaeys, et al.. Narrowline cooling of dysprosium atoms in an optical tweezer array. Physical Review A, 2025, 112 (1), pp.013316. ⟨10.1103/k4vn-y7mb⟩. ⟨hal-05348433⟩
  • Léon Carde, Ronan Gautier, Nicolas Didier, Alexandru Petrescu, Joachim Cohen, et al.. Non-perturbative switching rates in bistable open quantum systems: from driven Kerr oscillators to dissipative cat qubits. Physical Review Letters, 2025, 136 (10), pp.100402. ⟨10.1103/q981-pd5j⟩. ⟨hal-05364670⟩
  • Cyril Mori, Vladimir Milchakov, Francesca d'Esposito, Lucas Ruela, Shelender Kumar, et al.. High-power readout of a transmon qubit using a nonlinear coupling. 2025. ⟨hal-05184093⟩
  • Louis Pagot, Joel Gomes Baptista, Léo Rol, Niranjan Myneni, Franck Correia, et al.. Quantum optimal control for sensitive atomic gravimetry. Advances in Quantum Control - Techniques, Applications, and Challenges, Jul 2025, Dresde, Germany. ⟨hal-05477419⟩
  • Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, et al.. Charon: An Analysis Framework for Rust. CAV 2025 - International Conference on Computer Aided Verification, Jul 2025, Zagreb, Croatia. pp.377-391, ⟨10.1007/978-3-031-98685-7_18⟩. ⟨hal-05175922⟩
  • Magali Bardet, Charles Brion, Philippe Gaborit, Mercedes Haiech, Romaric Neveu. The Matrix Subcode Equivalence problem and its application to signature with MPC-in-the-Head. 2025. ⟨hal-05169190⟩
  • Magali Bardet, Alban Gilard. Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem. 2025. ⟨hal-04950980v2⟩
  • Kostia Chardonnet, Alexis Saurin, Benoît Valiron. A Curry-Howard Correspondence for Linear, Reversible Computation. Logical Methods in Computer Science, 2025, 21 (3), ⟨10.46298/lmcs-21(3:4)2025⟩. ⟨hal-03747425v2⟩

Documents récupérés de l'archive ouverte HAL logo