Skip to Main content Skip to Navigation


hal-03136256v1  Patents
Jean-Christophe FilliâtreAndrei PaskevichGuillaume MelquiondClaude MarchéFrançois Bobot. Why3 version 1.0
France, N° de brevet: IDDN.FR.001.420003.000.S.P.2019.000.20600. 2018
hal-01668254v1  Patents
Ludovic PerretJean-Charles Faugère. Mise en Oeuvre Optimisée du HFE
France, N° de brevet: WO 2017001809 A1. 2017
hal-01375661v1  Patents
Marwa ChafiiJacques PalicotRémi Gribonval. Dispositif de communication à modulation temps-fréquence adaptative
France, N° de brevet: Numéro de demande : 1656806 ; Numéro de soumission : 1000356937. 2016
hal-01294028v1  Patents
Slim OuniGuillaume Gris. Dispositif de traitement d’image
France, N° de brevet: 15 52058 2016
hal-01254770v1  Patents
Nicolas AnciauxLuc BouganimPhilippe PucheralShaoyi YinQuentin Lefebvre et al.  Logiciel PlugDB-engine version 4
France, N° de brevet: Enregistrement APP nr.IDDN.FR.001.280004.000.S.C.2008.0000.10000. 2015
hal-01176942v1  Patents
Nicolas AnciauxLuc BouganimPhilippe Pucheral. Plans Hardware du Token PlugDB
France, N° de brevet: Enregistrement APP no.IDDN.FR.001.090013.000.S.P.2015.000.20600. 2015