26.

11 oct. 2013

Logiciel

CLooG
Chunky Loop Generator

BASTOUL, Cédric

27.

01 janv. 2010

Logiciel

Qolyester
Implémentation du protocole OLSR (Optimized Link State Routing Protocol)

AL AGHA, Khaldoun

28.

01 janv. 2014

Logiciel

GenRGenS
Generation of Random Genomic Sequences and Structures

DENISE, Alain

29.

01 janv. 2014

Logiciel

VARNA
Visualisation Applet for RNA

DENISE, Alain

30.

13 mai 2013

Logiciel

WXD
Editeur de textes

AMAR, Patrick

31.

01 janv. 2014

Logiciel

HSIM
Hyperstructure Simulator

AMAR, Patrick

32.

01 janv. 2013

Logiciel

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

33.

10 févr. 2012

Logiciel

CDuce
CDuce an XML centric Functional Programmimg Language

BENZAKEN, Véronique

34.

01 janv. 2005

Logiciel

IDéeBD
Introduction Didactique aux Bases de Données

DELAËT, Sylvie

35.

05 mai 2008

Logiciel

XtremWeb
plateforme de calcul global pair à pair

CAPPELLO, Franck

36.

15 nov. 2012

Logiciel

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

FEDAK, Gilles

37.

01 janv. 2013

Logiciel

PVC
Cluster virtuel Privé

CAPPELLO, Franck

38.

01 mai 2007

Logiciel

MPICH-V
Interface àpassage de messages pour les ressources volatiles

HERAULT, Thomas

39.

18 déc. 2006

Logiciel

FAIL-FCI
Langage d'injection de fautes

TIXEUIL, Sébastien

40.

15 avril 2008

Logiciel

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee: Detecting and visualising Sequential Nuggets of Knowledge

FROIDEVAUX, Christine

41.

01 janv. 2013

Logiciel

V-DS
Virtualization environment for large-scale Distributed Systems

CAPPELLO, Franck

42.

01 janv. 2013

Logiciel

APMC
Approximate Probabilistic Model Checker

PEYRONNET, Sylvain

43.

01 janv. 2007

Logiciel

sALLUSTe
Test Statistique de programmes Lustre

GAUDEL, Marie-Claude

44.

01 juil. 2008

Logiciel

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine

45.

07 août 2009

Logiciel

NestedAlign
Pairwise RNA secondary structure comparison

DENISE, Alain

46.

01 janv. 2011

Logiciel

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude

47.

01 sept. 2009

Logiciel

CELL-MPI
Cadriciel MPI pour le processeur CELL

FALCOU, Joël

48.

13 nov. 2017

Logiciel

HOL-TestGen
Générateur de tests à partir de spécifications HOL

WOLFF, Burkhart

49.

15 août 2017

Logiciel

HOL-OCL
Un systeme de preuve pour UML/OCL

WOLFF, Burkhart

50.

01 janv. 2014

Logiciel

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus