176.

31 janv. 2017

Logiciel

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAFAR, Brigitte

177.

01 janv. 2011

Logiciel

AlignViz
AlignViz

SAFAR, Brigitte

178.

26 mars 2006

Logiciel

XTAB2SML
Outil d'annotation sémantique de tableaux guidée par une ontologie

SAÏS, Fatiha

179.

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

180.

01 nov. 2009

Logiciel

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

SCHOENAUER, Marc

181.

01 juin 2005

Logiciel

Django
theta-subsumption test for Relational Learning

SEBAG, Michèle

182.

07 janv. 2008

Logiciel

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

183.

01 janv. 2013

Logiciel

Glucose
The solver that looks for glue clauses

SIMON, Laurent

184.

20 juil. 2014

Logiciel

TemporalOCL
Temporal OCL Plugin for Eclipse

TAHA, Safouan

185.

01 janv. 2010

logiciel

CAPSULE
CAPSULE

TEMAM, Olivier

186.

01 janv. 2010

Logiciel

Unisim
UNISIM: UNIted SIMulation environment

TEMAM, Olivier

187.

01 janv. 2010

logiciel

Polyhedral Transformation in Open64
Polyhedral Transformation in Open64

TEMAM, Olivier

188.

01 janv. 2010

Logiciel

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

TEYTAUD, Olivier

189.

01 janv. 2014

Logiciel

Metis
Metis

TEYTAUD, Olivier

190.

01 janv. 2014

Logiciel

MoGo
Computer-Go program

TEYTAUD, Olivier

191.

01 janv. 2010

Logiciel

Mash-WP6
Goal planning framework

TEYTAUD, Olivier

192.

30 sept. 2011

Logiciel

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

THIAM, Mouhamadou

193.

01 déc. 2017

Logiciel

Sage-Combinat
Améliorer les fonctionnalités combinatoires de Sage

THIÉRY, Nicolas

194.

01 déc. 2017

Logiciel

SageMath
Un logiciel open-source de mathématiques générales

THIÉRY, Nicolas

195.

18 déc. 2006

Logiciel

FAIL-FCI
Langage d'injection de fautes

TIXEUIL, Sébastien

196.

05 déc. 2005

Logiciel

AuGuSTe
Test statistique de programmes C

VOISIN, Frédéric

197.

06 juin 2012

Logiciel

aSHIIP
A random topology generator of interdomain

WEISSER, Marc-Antoine

198.

01 déc. 2013

Logiciel

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

199.

16 juin 2008

Logiciel

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

WOLFF, Burkhart

200.

15 août 2017

Logiciel

HOL-OCL
Un systeme de preuve pour UML/OCL

WOLFF, Burkhart