176.

01 Jan 2011

Software

AlignViz
AlignViz

SAFAR, Brigitte

177.

31 Jan 2017

Software

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAFAR, Brigitte

178.

01 Jan 2011

Software

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

SAÏS, Fatiha

179.

26 Mar 2006

Software

XTAB2SML
Tool for ontology driven semantic annotation of data tables.

SAÏS, Fatiha

180.

01 Nov 2009

Software

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

SCHOENAUER, Marc

181.

01 Jun 2005

Software

Django
theta-subsumption test for Relational Learning

SEBAG, Michèle

182.

01 Jan 2013

Software

Glucose
The solver that looks for glue clauses

SIMON, Laurent

183.

07 Jan 2008

Software

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

184.

20 Jul 2014

Software

TemporalOCL
Temporal OCL Plugin for Eclipse

TAHA, Safouan

185.

01 Jan 2010

Software

Unisim
UNISIM: UNIted SIMulation environment

TEMAM, Olivier

186.

01 Jan 2010

Software

Polyhedral Transformation in Open64
Polyhedral Transformation in Open64

TEMAM, Olivier

187.

01 Jan 2010

Software

CAPSULE
CAPSULE

TEMAM, Olivier

188.

01 Jan 2010

Software

Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library

TEYTAUD, Olivier

189.

01 Jan 2014

Software

MoGo
Computer-Go program

TEYTAUD, Olivier

190.

01 Jan 2010

Software

Mash-WP6
A stochastic dynamic programming framework

TEYTAUD, Olivier

191.

01 Jan 2014

Software

Metis
Metis

TEYTAUD, Olivier

192.

30 Sep 2011

Software

SHIRI-Annot
ncremental Ontology-based Extraction and Alignment in Semi-Structured Documents

THIAM, Mouhamadou

193.

01 Dec 2017

Software

Sage-Combinat
To improve the open source mathematical system Sage

THIÉRY, Nicolas

194.

01 Dec 2017

Software

SageMath
A free open-source mathematics software system

THIÉRY, Nicolas

195.

18 Dec 2006

Software

FAIL-FCI
Fault Injection Language - Fail Cluster Implementation

TIXEUIL, Sébastien

196.

05 Dec 2005

Software

AuGuSTe
Statistical Testing of C Programs

VOISIN, Frédéric

197.

06 Jun 2012

Software

aSHIIP
A random topology generator of interdomain

WEISSER, Marc-Antoine

198.

01 Dec 2013

Software

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

199.

16 Jun 2008

Software

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

WOLFF, Burkhart

200.

15 Aug 2017

Software

HOL-OCL
A proof system for UML/OCL

WOLFF, Burkhart