101.

29 mars 2018

Logiciel

MapMosaic
Dynamic Layer Compositing for Interactive Geovisualization

PIETRIGA, Emmanuel

102.

01 janv. 2010

Logiciel

Mash-WP6
Goal planning framework

TEYTAUD, Olivier

103.

01 août 2009

Logiciel

MESAM
MESAM

REYNAUD, Chantal

104.

15 oct. 2012

Logiciel

Metaphore
Metaphore

FALCOU, Joël

105.

01 janv. 2014

Logiciel

Metis
Metis

TEYTAUD, Olivier

106.

01 janv. 2013

Logiciel

Metisse
Metisse: système de fenêtrage pour l\'exploration de nouveaux environnements graphiques interactifs

CHAPUIS, Olivier

107.

01 janv. 2014

Logiciel

Mlpost
Mlpost: une interface Objective Caml pour Metapost

FILLIÂTRE, Jean-Christophe

108.

17 juil. 2014

Logiciel

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric

109.

01 janv. 2014

Logiciel

MoGo
Computer-Go program

TEYTAUD, Olivier

110.

01 mai 2007

Logiciel

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

HERAULT, Thomas

111.

01 janv. 2014

Logiciel

MultiBoost
MultiBoost

KÉGL, Balázs

112.

01 janv. 2014

Logiciel

myNRC2.0
Smart memory allocator

LACASSAGNE, Lionel

113.

01 janv. 2014

Logiciel

Nautilus Analyzer
Nautilus Analyzer

HERSCHEL, Mélanie

114.

07 août 2009

Logiciel

NestedAlign
Pairwise RNA secondary structure comparison

DENISE, Alain

115.

03 oct. 2014

Logiciel

NT2
The Numerical Template Toolbox

FALCOU, Joël

116.

24 août 2009

Logiciel

Núcleo
Boîte à outils núcleo

CHAPUIS, Olivier

117.

04 févr. 2014

Logiciel

ocamlgraph
bibliothèque de graphes pour Ocaml

FILLIÂTRE, Jean-Christophe

118.

01 juin 2000

Logiciel

OntoClass & OntoQuery
Moteur de réécriture de requêtes en termes de vues pour la mise en oeuvre de médiateurs

GOASDOUE, François

119.

01 janv. 2017

Logiciel

OntoEvent-B
Générateur de contextes Event-B à partir des ontologies

AIT-SADOUNE, Idir

120.

10 févr. 2014

Logiciel

OpenScop
OpenScop

BASTOUL, Cédric

121.

01 janv. 2013

Logiciel

OpenWP
OpenWP

CAPPELLO, Franck

122.

01 janv. 2007

Logiciel

OptimAX
Optimiseur algébrique pour Active XML

ABITEBOUL, Serge

123.

27 janv. 2015

Logiciel

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

124.

01 janv. 1970

Logiciel

Pactole
Formalisation en Coq de modèles et d'algorithmes d'essaims de robots mobiles.

BALABONSKI, Thibaut

125.

01 janv. 2012

Logiciel

Parallel Solvers
for Solving Linear Systems of Equations

GRIGORI, Laura