51.

12 Apr 2014

Software

Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification

CONTEJEAN, Evelyne

52.

30 Jun 2017

Software

DIGISCAPE
Telepresence middleware

GLADIN, Olivier

53.

01 Jun 2005

Software

Django
theta-subsumption test for Relational Learning

SEBAG, Michèle

54.

20 Jun 2020

Software

DNADNA
Deep Neural Architectures for DNA

JAY, Flora

55.

01 Jan 2011

Software

EAP Framework
EAP Framework

REYNAUD, Chantal

56.

01 Apr 2013

Software

EdiFlow
EdiFlow: interactive workflows for data analytics

MANOLESCU-GOUJOT, Ioana

57.

01 Jan 2014

Software

FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists

GOASDOUE, François

58.

18 Dec 2006

Software

FAIL-FCI
Fault Injection Language - Fail Cluster Implementation

TIXEUIL, Sébastien

59.

10 Jan 2014

Software

Flocq Library
Flocq Library

BOLDO, Sylvie

60.

01 Jan 2013

Software

FlowStates Toolkit
Programming Interactive Applications with Data Flow and State Machines

APPERT, Caroline

61.

30 Oct 2008

Software

FM
FM: the Fourier-Motzkin library

BASTOUL, Cédric

62.

23 Nov 2010

Patent

FR 2967800 - Cell-MPI brevet
Procédé de synchronisation et de transfert de données entre des processeurs reliés par des canaux DMA

FALCOU, Joël

63.

01 Jan 2006

Patent

FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes

AL AGHA, Khaldoun

64.

11 Dec 2009

Patent

FR0958890
A method for quality-based routing in a multi-hop network

AL AGHA, Khaldoun

65.

28 Jun 2011

Patent

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé

AL AGHA, Khaldoun

66.

23 Sep 2013

Software

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

67.

05 Mar 2014

Software

Functory
place where functional workers are manufacturing programs

FILLIÂTRE, Jean-Christophe

68.

09 Jan 2017

Software

Gappa
Gappa, a tool for certifying numerical applications

MELQUIOND, Guillaume

69.

15 Aug 2017

Software

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

70.

11 Mar 2009

Software

GCC ICI
GCC Interactive Compilation Interface

FURSIN, Grigori

71.

01 Jan 2014

Software

GeneValorization
Gene List significance at-a-glance

COHEN-BOULAKIA, Sarah

72.

01 Jul 2008

Software

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine

73.

01 Jan 2014

Software

GenRGenS
Generation of Random Genomic Sequences and Structures

DENISE, Alain

74.

01 Jan 2014

Software

GlideCursor
Inertial cursor

BEAUDOUIN-LAFON, Michel

75.

01 Jan 2013

Software

Glucose
The solver that looks for glue clauses

SIMON, Laurent