101.

01 janv. 2010

Logiciel

Mash-WP6
Goal planning framework

TEYTAUD, Olivier

102.

29 mars 2018

Logiciel

MapMosaic
Dynamic Layer Compositing for Interactive Geovisualization

PIETRIGA, Emmanuel

103.

01 nov. 2017

Logiciel

MAGMA
Contribution to numerical linear algebra libraries

BABOULIN, Marc

104.

01 avril 2006

Logiciel

Lucid Synchrone
Lucid Synchrone

POUZET, Marc

105.

15 mai 2018

Logiciel

LODAtlas
Browsing Linked Data Catalogs with LODAtlas

PIETRIGA, Emmanuel

106.

01 janv. 2011

Logiciel

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

SAÏS, Fatiha

107.

01 janv. 2011

Logiciel

LiquidXML
LiquidXML

MANOLESCU-GOUJOT, Ioana

108.

15 déc. 2017

Logiciel

LiCoRNA
aLignment of Complex RNAs

DENISE, Alain

109.

16 févr. 2008

Logiciel

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

110.

16 juin 2008

Logiciel

Le Système HOL-Z
Un système de preuve pour la Méthode Z

WOLFF, Burkhart

111.

24 nov. 2011

Logiciel

Krakatoa
Outil Krakatoa de vérification de programmes Java

MARCHÉ, Claude

112.

30 sept. 2011

Logiciel

KD2R
OWL2 key discovery on RDF datasets

PERNELLE-MANSCOUR, Nathalie

113.

01 janv. 2006

Logiciel

KadoP
Système d'indexation et d'interrogation XML en P2P

MANOLESCU-GOUJOT, Ioana

114.

18 mai 2010

Logiciel

JFresnel
A Java library that implements the Fresnel specification

PIETRIGA, Emmanuel

115.

01 janv. 2013

Logiciel

jBricks
Toolkit Java pour plateformes de visualisation interactives

HUOT, Stéphane

116.

01 mai 2007

Logiciel

IsaViz
A visual environment for browsing and authoring RDF models

PIETRIGA, Emmanuel

117.

01 déc. 2013

Logiciel

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

118.

18 déc. 2017

Logiciel

Iris
Une logique de séparation d'ordre supérieur implémentée dasn l'assistant de preuve Coq

JOURDAN, Jacques-Henri

119.

01 janv. 2018

Logiciel

io.datascience
Input Output Data Science

GERMAIN, Cécile

120.

01 janv. 2005

Logiciel

IDéeBD
Introduction Didactique aux Bases de Données

DELAËT, Sylvie

121.

01 janv. 2014

Logiciel

HSIM
Hyperstructure Simulator

AMAR, Patrick

122.

11 janv. 2018

Logiciel

HP-Combi
High Performance Combinatorics

HIVERT, Florent

123.

13 nov. 2017

Logiciel

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

WOLFF, Burkhart

124.

15 août 2017

Logiciel

HOL-OCL
Un systeme de preuve pour UML/OCL

WOLFF, Burkhart

125.

07 janv. 2008

Logiciel

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent