76.

01 janv. 2014

Logiciel

GridObservatory
Grid Observatory

GERMAIN, Cécile

77.

01 nov. 2009

Logiciel

GUIDE
A Graphical User Interface for EA C++ library developpment

SCHOENAUER, Marc

78.

07 janv. 2008

Logiciel

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

79.

15 août 2017

Logiciel

HOL-OCL
Un systeme de preuve pour UML/OCL

WOLFF, Burkhart

80.

13 nov. 2017

Logiciel

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

WOLFF, Burkhart

81.

11 janv. 2018

Logiciel

HP-Combi
High Performance Combinatorics

HIVERT, Florent

82.

01 janv. 2014

Logiciel

HSIM
Hyperstructure Simulator

AMAR, Patrick

83.

01 janv. 2005

Logiciel

IDéeBD
Introduction Didactique aux Bases de Données

DELAËT, Sylvie

84.

01 janv. 2018

Logiciel

io.datascience
Input Output Data Science

GERMAIN, Cécile

85.

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

86.

01 déc. 2013

Logiciel

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

87.

01 mai 2007

Logiciel

IsaViz
A visual environment for browsing and authoring RDF models

PIETRIGA, Emmanuel

88.

01 janv. 2013

Logiciel

jBricks
Toolkit Java pour plateformes de visualisation interactives

HUOT, Stéphane

89.

18 mai 2010

Logiciel

JFresnel
A Java library that implements the Fresnel specification

PIETRIGA, Emmanuel

90.

01 janv. 2006

Logiciel

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

MANOLESCU-GOUJOT, Ioana

91.

30 sept. 2011

Logiciel

KD2R
OWL2 key discovery on RDF datasets

PERNELLE-MANSCOUR, Nathalie

92.

24 nov. 2011

Logiciel

Krakatoa
Outil Krakatoa de vérification de programmes Java

MARCHÉ, Claude

93.

16 juin 2008

Logiciel

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

WOLFF, Burkhart

94.

16 févr. 2008

Logiciel

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

95.

15 déc. 2017

Logiciel

LiCoRNA
aLignment of Complex RNAs

DENISE, Alain

96.

01 janv. 2011

Logiciel

LiquidXML
LiquidXML

MANOLESCU-GOUJOT, Ioana

97.

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

98.

15 mai 2018

Logiciel

LODAtlas
Browsing Linked Data Catalogs with LODAtlas

PIETRIGA, Emmanuel

99.

01 avril 2006

Logiciel

Lucid Synchrone
Lucid Synchrone

POUZET, Marc

100.

01 nov. 2017

Logiciel

MAGMA
Contribution to numerical linear algebra libraries

BABOULIN, Marc