51.

30 Sep 2011

Software

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

THIAM, Mouhamadou

52.

15 Apr 2008

Software

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee

FROIDEVAUX, Christine

53.

01 Jan 2013

Software

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

54.

31 Jan 2017

Software

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAFAR, Brigitte

55.

01 Jan 2007

Software

sALLUSTe
Statistical Testing based on Lustre Descriptions

GAUDEL, Marie-Claude

56.

01 Jan 2014

Software

SAKey
Scalable Tool For Almost Key Discovery in RDF Data

PERNELLE-MANSCOUR, Nathalie

57.

01 Dec 2017

Software

SageMath
A free open-source mathematics software system

THIÉRY, Nicolas

58.

01 Dec 2017

Software

Sage-Combinat
To improve the open source mathematical system Sage

THIÉRY, Nicolas

59.

01 Jan 2011

Software

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude

60.

01 Jan 2013

Software

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

61.

09 Mar 2018

Software

RiseClipse
MDE for IEC standards

MARCADET, Dominique

62.

25 Jul 2012

Software

REISA
Controlled Knowledge Base Enrichment from Web documents

PERNELLE-MANSCOUR, Nathalie

63.

08 Jan 2014

Software

ReactiveML
The ReactiveML language

MANDEL, Louis

64.

01 Jan 2013

Software

RDFViews
RDFViews

MANOLESCU-GOUJOT, Ioana

65.

01 Jul 2015

Software

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

66.

16 Aug 2014

Software

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

67.

01 Jan 2010

Software

Qolyester
implementation from scratch of the OLSR protocol

AL AGHA, Khaldoun

68.

01 Jan 2013

Software

PVC
Private Virtual Cluster

CAPPELLO, Franck

69.

01 Jan 2007

Software

Program
Program : Programming with Dependent Types in Coq

PAULIN-MOHRING, Christine

70.

01 Jan 2010

Software

Polyhedral Transformation in Open64
Polyhedral Transformation in Open64

TEMAM, Olivier

71.

25 Nov 2012

Software

POI-HELPER
An extraction service of data from social networking sites

REYNAUD, Chantal

72.

03 Dec 2012

Software

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

73.

02 Aug 2009

Software

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

74.

22 Mar 2018

Software

Pint
Static analyzer for dynamics of Automata Networks

PAULEVE, Loïc

75.

01 Jan 2015

Software

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus