51.

30 sept. 2011

Logiciel

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

THIAM, Mouhamadou

52.

15 avril 2008

Logiciel

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee: Detecting and visualising Sequential Nuggets of Knowledge

FROIDEVAUX, Christine

53.

01 janv. 2013

Logiciel

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

54.

31 janv. 2017

Logiciel

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAFAR, Brigitte

55.

01 janv. 2007

Logiciel

sALLUSTe
Test Statistique de programmes Lustre

GAUDEL, Marie-Claude

56.

01 janv. 2014

Logiciel

SAKey
Outil efficace de découverte automatique de presque-clés dans les données RDF

PERNELLE-MANSCOUR, Nathalie

57.

01 déc. 2017

Logiciel

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

THIÉRY, Nicolas

58.

01 déc. 2017

Logiciel

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

THIÉRY, Nicolas

59.

01 janv. 2011

Logiciel

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude

60.

01 janv. 2013

Logiciel

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

61.

09 mars 2018

Logiciel

RiseClipse
IDM pour les standards de l'IEC

MARCADET, Dominique

62.

25 juil. 2012

Logiciel

REISA
Controlled Knowledge Base Enrichment from Web documents

PERNELLE-MANSCOUR, Nathalie

63.

08 janv. 2014

Logiciel

ReactiveML
le langage ReactiveML

MANDEL, Louis

64.

01 janv. 2013

Logiciel

RDFViews
RDFViews

MANOLESCU-GOUJOT, Ioana

65.

01 juil. 2015

Logiciel

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

66.

16 août 2014

Logiciel

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

67.

01 janv. 2010

Logiciel

Qolyester
Implémentation du protocole OLSR (Optimized Link State Routing Protocol)

AL AGHA, Khaldoun

68.

01 janv. 2013

Logiciel

PVC
Cluster virtuel Privé

CAPPELLO, Franck

69.

01 janv. 2007

Logiciel

Program
Program : un langage de programmation avec types dépendants dans Coq

PAULIN-MOHRING, Christine

70.

01 janv. 2010

logiciel

Polyhedral Transformation in Open64
Polyhedral Transformation in Open64

TEMAM, Olivier

71.

25 nov. 2012

Logiciel

POI-HELPER
Un service d'extraction de données issues de réseaux sociaux

REYNAUD, Chantal

72.

03 déc. 2012

Logiciel

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

73.

02 août 2009

Logiciel

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

74.

22 mars 2018

Logiciel

Pint
Static analyzer for dynamics of Automata Networks

PAULEVE, Loïc

75.

01 janv. 2015

Logiciel

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus