1.

25 janv. 2012

Logiciel

Voeux
Gestion des services d'enseignement

AMAR, M. Patrick

2.

22 janv. 2012

Logiciel

Clan
Chunky Loop Analyzer

BASTOUL, M. Cédric

3.

10 janv. 2012

Logiciel

OpenScop
OpenScop

BASTOUL, M. Cédric

4.

09 janv. 2012

Logiciel

WXD
Editeur de textes

AMAR, M. Patrick

5.

16 déc. 2011

Logiciel

HSIM
HSIM: Hyperstructure Simulator

AMAR, M. Patrick

6.

12 déc. 2011

Logiciel

CLooG
Chunky Loop Generator

BASTOUL, M. Cédric

7.

02 déc. 2011

Logiciel

Alt-Ergo
Démonstrateur automatique Alt-Ergo

CONCHON, M. Sylvain

8.

31 oct. 2011

Logiciel

BSP++
The C++ Bulk Synchronous Parallelism Library

FALCOU, M. Joël

9.

01 oct. 2011

Logiciel

Isabelle/HOL
Isabelle/HOL

WENZEL, M. Markus

10.

01 août 2011

Logiciel

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, M. Joël

11.

01 juin 2011

Logiciel

NT2
The Numerical Template Toolbox

FALCOU, M. Joël

12.

01 janv. 2011

Logiciel

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Mme Sarah

13.

01 janv. 2011

Logiciel

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

COHEN-BOULAKIA, Mme Sarah

14.

10 déc. 2010

Brevet

NPI 09 58 890
Procédé de routage qualitatif dans un réseau de communication multi sauts, équipement de gestion de nœud de réseau

AL AGHA, M. Khaldoun

15.

23 nov. 2010

Brevet

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

FALCOU, M. Joël

16.

02 avril 2010

Logiciel

HOL-TestGen
Un generateur pour des donnees de test sur base de HOL

WOLFF, M. Burkhart

17.

24 mars 2010

Logiciel

ocamlgraph
bibliothèque de graphes pour Ocaml

FILLIÂTRE, M. Jean-Christophe

18.

23 mars 2010

Logiciel

bibtex2html
Traducteur BibTeX vers HTML

FILLIÂTRE, M. Jean-Christophe

19.

11 févr. 2010

Logiciel

BitDew
middleware OpenSource pour les grilles de données de bureau

FEDAK, M. Gilles

20.

02 févr. 2010

Logiciel

MoGo
Computer-Go program

TEYTAUD, M. Olivier

21.

30 janv. 2010

Logiciel

ReactiveML
le langage ReactiveML

MANDEL, M. Louis

22.

01 janv. 2010

Logiciel

TaxoMap
Un outil d'alignement de taxonomies

REYNAUD, Mme Chantal

23.

01 janv. 2010

Logiciel

Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles

MELQUIOND, M. Guillaume

24.

01 janv. 2010

Logiciel

LN2R
Une méthode Logique et une méthode Numérique pour la Réconciliation de Références

SAÏS, Mlle Fatiha

25.

01 janv. 2010

logiciel

AnnoVip
AnnoVip

MANOLESCU-GOUJOT, Mme Ioana