76.

01 Jan 2014

Software

GridObservatory
Grid Observatory

GERMAIN, Cécile

77.

01 Nov 2009

Software

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

SCHOENAUER, Marc

78.

07 Jan 2008

Software

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

79.

15 Aug 2017

Software

HOL-OCL
A proof system for UML/OCL

WOLFF, Burkhart

80.

13 Nov 2017

Software

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

WOLFF, Burkhart

81.

11 Jan 2018

Software

HP-Combi
High Performance Combinatorics

HIVERT, Florent

82.

01 Jan 2014

Software

HSIM
Hyperstructure Simulator

AMAR, Patrick

83.

01 Jan 2005

Software

IDéeBD
IDéeBD

DELAËT, Sylvie

84.

01 Jan 2018

Software

io.datascience
io.datascience

GERMAIN, Cécile

85.

18 Dec 2017

Software

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

JOURDAN, Jacques-Henri

86.

01 Dec 2013

Software

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

87.

01 May 2007

Software

IsaViz
A visual environment for browsing and authoring RDF models

PIETRIGA, Emmanuel

88.

01 Jan 2013

Software

jBricks
Java toolkit for interactive visualization platforms

HUOT, Stéphane

89.

18 May 2010

Software

JFresnel
A Java library that implements the Fresnel specification

PIETRIGA, Emmanuel

90.

01 Jan 2006

Software

KadoP
XML indexing and querying in P2P

MANOLESCU-GOUJOT, Ioana

91.

30 Sep 2011

Software

KD2R
OWL2 key discovery on RDF datasets

PERNELLE-MANSCOUR, Nathalie

92.

24 Nov 2011

Software

Krakatoa
Krakatoa Tool for Java Program Verification

MARCHÉ, Claude

93.

16 Jun 2008

Software

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

WOLFF, Burkhart

94.

16 Feb 2008

Software

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

95.

15 Dec 2017

Software

LiCoRNA
aLignment of Complex RNAs

DENISE, Alain

96.

01 Jan 2011

Software

LiquidXML
LiquidXML

MANOLESCU-GOUJOT, Ioana

97.

01 Jan 2011

Software

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

SAÏS, Fatiha

98.

15 May 2018

Software

LODAtlas
Browsing Linked Data Catalogs with LODAtlas

PIETRIGA, Emmanuel

99.

01 Apr 2006

Software

Lucid Synchrone
Lucid Synchrone

POUZET, Marc

100.

01 Nov 2017

Software

MAGMA
Contribution to numerical linear algebra libraries

BABOULIN, Marc