Publications



919 documents

  • Gustavo Banegas, Benjamin Smith, Jad Zahreddine. Exploiting Load/Store Leakage of Sparse Vectors for Key Recovery in HQC. 2026. ⟨hal-05699389⟩
  • Victor Barizien, Cyril Branciard, Alastair A. Abbott, Jean-Daniel Bancal, Pavel Sekatski. Self-testing Quantum Supermaps. 2026. ⟨hal-05700011⟩
  • Alexandre Clément. A Complete Equational Theory for Real-Clifford+CH Quantum Circuits. 41st Annual Symposium on Logic in Computer Science (LICS 2026), Jul 2026, Lisbon, Portugal. pp.28:1--28:26, ⟨10.4230/LIPIcs.LICS.2026.28⟩. ⟨hal-05487235⟩
  • Remi Di Guardia, Thomas Ehrhard, Claudia Faggian. Quantum Bayesian Networks: Compositionality and Typing via Linear Logic. 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026), Jul 2026, Lisbon, Portugal. ⟨10.4230/LIPIcs.FSCD.2026.16⟩. ⟨hal-05549936v2⟩
  • Kostia Chardonnet, Jules Chouquet, Axel Kerinec. Approximation theory for distant Bang calculus. FSCD 2026 - 11th International Conference on Formal Structures for Computation and Deduction, Jul 2026, Lisbonne, Portugal. ⟨hal-05518907v3⟩
  • Colin Blake. Simpler Presentations for Many Fragments of Quantum Circuits. 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026), Jul 2026, LISBONNE, Portugal. pp.6:1-6:20, ⟨10.4230/LIPIcs.FSCD.2026.6⟩. ⟨hal-05502157v2⟩
  • Amilson R. Fritsch, Hector Letellier, Leonardo Lima da Silva, Pierre Azam, Vanderlei Salvador Bagnato, et al.. In Situ Coherence Measurements of Scattered Light in Magnetically Trapped Cold Atomic Clouds: Probe-Driven Atomic Dynamics. 2026. ⟨hal-05692464⟩
  • Gustavo Banegas, Vredendaal Christine Van, Kim Youngbeom, Seo Seog Chung. Low-Stack HAETAE for Memory-Constrained Microcontrollers. 2026. ⟨hal-05580456v3⟩
  • Baptiste Claudon, Pablo Rodenas-Ruiz, Jean-Philip Piquemal, Pierre Monmarché. Quantum Circuits for the Metropolis-Hastings Algorithm. Journal of Physics A: Mathematical and Theoretical, 2026, 59, pp.305304. ⟨10.1088/1751-8121/ae8983⟩. ⟨hal-05113563v2⟩
  • Wafa Makhlouf, Bruno Senjean, Emmanuel Fromager. Generalized local potential functional embedding theory of localized orbitals. Electronic Structure, 2026, 8 (3), pp.035001. ⟨10.1088/2516-1075/ae8066⟩. ⟨hal-05757091⟩