101.

01 Jan 2010

Software

Mash-WP6
A stochastic dynamic programming framework

TEYTAUD, Olivier

102.

29 Mar 2018

Software

MapMosaic
Dynamic Layer Compositing for Interactive Geovisualization

PIETRIGA, Emmanuel

103.

01 Nov 2017

Software

MAGMA
Contribution to numerical linear algebra libraries

BABOULIN, Marc

104.

01 Apr 2006

Software

Lucid Synchrone
Lucid Synchrone

POUZET, Marc

105.

15 May 2018

Software

LODAtlas
Browsing Linked Data Catalogs with LODAtlas

PIETRIGA, Emmanuel

106.

01 Jan 2011

Software

LN2R-LT
A Logical method and a Numerical method for Reference Reconciliation

SAÏS, Fatiha

107.

01 Jan 2011

Software

LiquidXML
LiquidXML

MANOLESCU-GOUJOT, Ioana

108.

15 Dec 2017

Software

LiCoRNA
aLignment of Complex RNAs

DENISE, Alain

109.

16 Feb 2008

Software

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

110.

16 Jun 2008

Software

Le Système HOL-Z
The HOL-Z System

WOLFF, Burkhart

111.

24 Nov 2011

Software

Krakatoa
Krakatoa Tool for Java Program Verification

MARCHÉ, Claude

112.

30 Sep 2011

Software

KD2R
OWL2 key discovery on RDF datasets

PERNELLE-MANSCOUR, Nathalie

113.

01 Jan 2006

Software

KadoP
XML indexing and querying in P2P

MANOLESCU-GOUJOT, Ioana

114.

18 May 2010

Software

JFresnel
A Java library that implements the Fresnel specification

PIETRIGA, Emmanuel

115.

01 Jan 2013

Software

jBricks
Java toolkit for interactive visualization platforms

HUOT, Stéphane

116.

01 May 2007

Software

IsaViz
A visual environment for browsing and authoring RDF models

PIETRIGA, Emmanuel

117.

01 Dec 2013

Software

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

118.

18 Dec 2017

Software

Iris
A Higher-Order Concurrent Separation Logic Framework implemented and verified in the proof assistant Coq.

JOURDAN, Jacques-Henri

119.

01 Jan 2018

Software

io.datascience
io.datascience

GERMAIN, Cécile

120.

01 Jan 2005

Software

IDéeBD
IDéeBD

DELAËT, Sylvie

121.

01 Jan 2014

Software

HSIM
Hyperstructure Simulator

AMAR, Patrick

122.

11 Jan 2018

Software

HP-Combi
High Performance Combinatorics

HIVERT, Florent

123.

13 Nov 2017

Software

HOL-TestGen
A generator of test-data from HOL specifications

WOLFF, Burkhart

124.

15 Aug 2017

Software

HOL-OCL
A proof system for UML/OCL

WOLFF, Burkhart

125.

07 Jan 2008

Software

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent