Laboratoire d'Intégration des Systèmes et des Technologies

most citedEquivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

2 citations

researchers with a paper here

Christophe Chareton2 · h 7
A. Andoche1 · h 3
Abigail Gillespie1 · h 2
A. Ferrière1 · h 4
A. Hall1 · h 3
A. Laarman1 · h 3
A. Lennarz1 · h 19
Alex Gomez-Villa1 · h 10
A. Marino1 · h 3
A. Samanta1 · h 6
Aur'elien Benoit-L'evy1 · h 2
Aymen Bouguerra1 · h 2

collaborating institutions

Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR9 papers
Centre National de la Recherche ScientifiqueFR5 papers
Université Paris-SaclayFR4 papers
CEA GrenobleFR3 papers
Université Grenoble AlpesFR3 papers
Institut de Recherche en Informatique et Systèmes AléatoiresFR2 papers
Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR2 papers
Université de RennesFR2 papers
Centre Inria de l'Université de LorraineFR1 paper
Centro Científico Tecnológico - La PlataAR1 paper
Colorado School of MinesUS1 paper
Columbia UniversityUS1 paper

Showing physics.ins-detShow all

1 paper · 1 filter

physics.ins-det2026★ 1 cited

Aluminum-Based Superconducting Tunnel Junction Sensors for Nuclear Recoil Spectroscopy

Spencer L. Fretwell, Connor Bray, Inwook Kim +31

The BeEST experiment is searching for sub-MeV sterile neutrinos by measuring nuclear recoil energies from the decay of $^{7}$ Be implanted into superconducting tunnel junction (STJ) s…