Publications


817 documents

  • Pierre Clairambault, Simon Forest. The Cartesian Closed Bicategory of Thin Spans of Groupoids. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175754⟩. ⟨hal-04244640⟩
  • Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron. A Complete Equational Theory for Quantum Circuits. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175801⟩. ⟨hal-03926757⟩
  • Sander Gribling, Sven Polak, Lucas Slot. A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization. ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jun 2023, Tromsø, Norway. pp.280-288, ⟨10.1145/3597066.3597075⟩. ⟨hal-04533765⟩
  • Jean-Pierre Tillich. Recent algebraic attacks on the McEliece cryptosystem. International Conference on Finite Fields and Their Applications 2023 (Fq15), Sihem Mesnager, Jun 2023, Aubervilliers, France. ⟨hal-04276638⟩
  • Axel Muller, Metod Saniga, Alain Giorgetti, Henri de Boutray, Frédéric Holweck. Disclosing Quantum Contextuality: A Geometric Approach to N-Qubit Configurations. Slovenian Conference on Graph Theory, Jun 2023, Kranjska Gora, Slovenia. ⟨hal-04390495⟩
  • Antoine Hilberer, Loïc Toraille, Cassandra Dailledouze, Marie-Pierre Adam, Liam Hanlon, et al.. Enabling quantum sensing under extreme pressure: Nitrogen-vacancy magnetometry up to 130 GPa. Physical Review B, 2023, 107, ⟨10.1103/physrevb.107.l220102⟩. ⟨hal-04442089⟩
  • Lila Fontes, Sophie Laplante, Mathieu Laurière, Alexandre Nolin. The Communication Complexity of Functions with Large Outputs. Structural Information and Communication Complexity (SIROCCO 2023), Jun 2023, Alcala de Henares, Spain. pp.427-458, ⟨10.1007/978-3-031-32733-9_19⟩. ⟨hal-04533689⟩
  • Sven Jandura, Jeff D. Thompson, Guido Pupillo. Optimizing Rydberg Gates for Logical-Qubit Performance. PRX Quantum, 2023, 4 (2), pp.020336. ⟨10.1103/PRXQuantum.4.020336⟩. ⟨hal-04905005⟩
  • Axel Muller. Décider la contextualité de configurations quantiques avec un solveur SAT. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2023, Rennes, France. ⟨hal-04390478⟩
  • Axel Muller, Metod Saniga, Alain Giorgetti, Henri de Boutray, Frédéric Holweck. Revealing contextuality of quantum configurations with a SAT solver. Journées du Groupement de Recherche « Génie de la Programmation et du Logiciel », Jun 2023, Rennes, France. ⟨hal-04695329⟩

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