101.

29 Mar 2018

Software

MapMosaic
Dynamic Layer Compositing for Interactive Geovisualization

PIETRIGA, Emmanuel

102.

01 Jan 2010

Software

Mash-WP6
A stochastic dynamic programming framework

TEYTAUD, Olivier

103.

01 Aug 2009

Software

MESAM
MESAM

REYNAUD, Chantal

104.

15 Oct 2012

Software

Metaphore
Metaphore

FALCOU, Joël

105.

01 Jan 2014

Software

Metis
Metis

TEYTAUD, Olivier

106.

01 Jan 2013

Software

Metisse
Windowing System to explore inovative window management techniques

CHAPUIS, Olivier

107.

01 Jan 2014

Software

Mlpost
Mlpost: an Objective Caml interface to Metapost

FILLIÂTRE, Jean-Christophe

108.

17 Jul 2014

Software

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric

109.

01 Jan 2014

Software

MoGo
Computer-Go program

TEYTAUD, Olivier

110.

01 May 2007

Software

MPICH-V
Message Passing Interface For Volatile Resources

HERAULT, Thomas

111.

01 Jan 2014

Software

MultiBoost
MultiBoost

KÉGL, Balázs

112.

01 Jan 2014

Software

myNRC2.0
Smart memory allocator

LACASSAGNE, Lionel

113.

01 Jan 2014

Software

Nautilus Analyzer
Nautilus

HERSCHEL, Mélanie

114.

07 Aug 2009

Software

NestedAlign
Pairwise RNA secondary structure comparison

DENISE, Alain

115.

03 Oct 2014

Software

NT2
The Numerical Template Toolbox

FALCOU, Joël

116.

24 Aug 2009

Software

Núcleo
Video toolkit

CHAPUIS, Olivier

117.

04 Feb 2014

Software

ocamlgraph
Ocaml graph library

FILLIÂTRE, Jean-Christophe

118.

01 Jun 2000

Software

OntoClass & OntoQuery
Query engine for mediators based on query rewriting using views

GOASDOUE, François

119.

01 Jan 2017

Software

OntoEvent-B
A Generator of Event-B contexts from Ontologies

AIT-SADOUNE, Idir

120.

10 Feb 2014

Software

OpenScop
OpenScop

BASTOUL, Cédric

121.

01 Jan 2013

Software

OpenWP
OpenWP

CAPPELLO, Franck

122.

01 Jan 2007

Software

OptimAX
Algebraic optimizer for Active XML

ABITEBOUL, Serge

123.

27 Jan 2015

Software

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

124.

01 Jan 1970

Software

Pactole
Coq formalisation a mobile sensors networks.

BALABONSKI, Thibaut

125.

01 Jan 2012

Software

Parallel Solvers
for Solving Linear Systems of Equations

GRIGORI, Laura