Center for New American Media

output

20132025

most citedDedukti: a Logical Framework based on the

λ

Π

-Calculus Modulo Theory

6 citations

researchers with a paper here

Catherine Dubois2 profiles2 · h 15
David Delahaye2 · h 15
M. Caponigro2 · h 17
N. Boussaid2 · h 16
T. Chambrion2 · h 15
A. Amouretti1 · h 5
A. Assaf1 · h 11
A. Descamps1 · h 12
A. Forte1 · h 3
A. Latouche1 · h 30
A. Mora1 · h 3
A. Pelka1 · h 5

collaborating institutions

Conservatoire National des Arts et MétiersFR7 papers
Centre d'études et de recherche en informatique et communicationsFR6 papers
Centre de Recherche en InformatiqueFR2 papers
École Nationale Supérieure d’Informatique pour l’Industrie et l’EntrepriseFR2 papers
Institut Élie Cartan de LorraineFR2 papers
Institut national de recherche en sciences et technologies du numériqueFR2 papers
Brain Mapping FoundationUS1 paper
Cancer et génome: Bioinformatique, biostatistiques et épidémiologie des systèmes complexes1 paper
Center for Advanced Systems UnderstandingDE1 paper
Centre Inria de SaclayFR1 paper
Département mathématiques, informatique, sciences de la donnée et technologies du numériqueFR1 paper
École Nationale Supérieure des Mines de ParisFR1 paper

Showing physics.plasm-phShow all

1 paper · 1 filter

physics.plasm-ph2025★ 2 cited

A Momentum-Resolved X-ray Thomson Scattering Benchmark of Electronic-Response Models in Warm Dense Aluminium

Dmitrii S. Bespalov, Ulf Zastrau, Zhandos A. Moldabekov +58

The robust diagnosis of conditions generated in warm dense matter (WDM) experiments remains a persistent challenge. Here we describe the measurement of shock-compressed aluminium a…