Publications


817 documents

  • 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⟩
  • Emmanuel Hainry, Romain Péchoux, Mário Alberto Machado da Silva. Branch Sequentialization in Quantum Polytime. FSCD 2025, Jul 2025, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2025.22⟩. ⟨hal-04823282v4⟩
  • Alejandro Díaz-Caro. Towards a Computational Quantum Logic. 21st Conference on Computability in Europe, CiE 2025, Jul 2025, Lisbon, Portugal. pp.34-46, ⟨10.1007/978-3-031-95908-0_3⟩. ⟨hal-05129482⟩
  • Alastair A. Abbott, Mehdi Mhalla, Pierre Pocreau. Classical and Quantum Query Complexity of Boolean Functions under Indefinite Causal Order. QPL 2025 - 22nd International Conference on Quantum Physics and Logic, Jul 2025, Varna, Bulgaria. pp.270-300, ⟨10.4204/EPTCS.426.11⟩. ⟨hal-05217422⟩

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