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 cs.CRShow all

1 paper · 1 filter

cs.CR2024★ 2 cited

Collaborative and parametric insurance on the Ethereum blockchain

Pierre-Olivier Goffard, Stéphane Loisel

This paper introduces a blockchain-based insurance scheme that integrates parametric and collaborative elements. A pool of investors, referred to as surplus providers, locks funds…