51.

12 avril 2014

Logiciel

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

CONTEJEAN, Evelyne

52.

30 juin 2017

Logiciel

DIGISCAPE
Middleware de téléprésence

GLADIN, Olivier

53.

01 juin 2005

Logiciel

Django
theta-subsumption test for Relational Learning

SEBAG, Michèle

54.

20 juin 2020

Logiciel

DNADNA
Deep Neural Architectures for DNA

JAY, Flora

55.

01 janv. 2011

Logiciel

EAP Framework
EAP Framework

REYNAUD, Chantal

56.

01 avril 2013

Logiciel

EdiFlow
EdiFlow: workflows intéractifs pour l'analyse de données

MANOLESCU-GOUJOT, Ioana

57.

01 janv. 2014

Logiciel

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

GOASDOUE, François

58.

18 déc. 2006

Logiciel

FAIL-FCI
Langage d'injection de fautes

TIXEUIL, Sébastien

59.

10 janv. 2014

Logiciel

Flocq Library
Flocq Library

BOLDO, Sylvie

60.

01 janv. 2013

Logiciel

FlowStates Toolkit
Programmer des applications interactives avec des flots de données et des machines à états

APPERT, Caroline

61.

30 oct. 2008

Logiciel

FM
FM: the Fourier-Motzkin library

BASTOUL, Cédric

62.

23 nov. 2010

Brevet

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 janv. 2006

Brevet

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

AL AGHA, Khaldoun

64.

11 déc. 2009

Brevet

FR0958890
Procédé de routage qualitatif dans un réseau de communication multi sauts, équipement de gestion de nœud de réseau

AL AGHA, Khaldoun

65.

28 juin 2011

Brevet

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 sept. 2013

Logiciel

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

67.

05 mars 2014

Logiciel

Functory
place where functional workers are manufacturing programs

FILLIÂTRE, Jean-Christophe

68.

09 janv. 2017

Logiciel

Gappa
Outil Gappa de certification de programmes numériques

MELQUIOND, Guillaume

69.

15 août 2017

Logiciel

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

70.

11 mars 2009

Logiciel

GCC ICI
GCC Interactive Compilation Interface

FURSIN, Grigori

71.

01 janv. 2014

Logiciel

GeneValorization
L'importance des gènes en un clin d'oeil

COHEN-BOULAKIA, Sarah

72.

01 juil. 2008

Logiciel

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine

73.

01 janv. 2014

Logiciel

GenRGenS
Generation of Random Genomic Sequences and Structures

DENISE, Alain

74.

01 janv. 2014

Logiciel

GlideCursor
Intertial cursor

BEAUDOUIN-LAFON, Michel

75.

01 janv. 2013

Logiciel

Glucose
The solver that looks for glue clauses

SIMON, Laurent