126.

01 Jan 2014

Software

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

127.

01 Jan 2013

Software

Pff library
Pff library

BOLDO, Sylvie

128.

01 Jan 2015

Software

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

129.

22 Mar 2018

Software

Pint
Static analyzer for dynamics of Automata Networks

PAULEVE, Loïc

130.

02 Aug 2009

Software

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

131.

03 Dec 2012

Software

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

132.

25 Nov 2012

Software

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

REYNAUD, Chantal

133.

01 Jan 2010

Software

Polyhedral Transformation in Open64
Polyhedral Transformation in Open64

TEMAM, Olivier

134.

01 Jan 2007

Software

Program
Program : Programming with Dependent Types in Coq

PAULIN-MOHRING, Christine

135.

01 Jan 2013

Software

PVC
Private Virtual Cluster

CAPPELLO, Franck

136.

01 Jan 2010

Software

Qolyester
implementation from scratch of the OLSR protocol

AL AGHA, Khaldoun

137.

16 Aug 2014

Software

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

138.

01 Jul 2015

Software

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

139.

01 Jan 2013

Software

RDFViews
RDFViews

MANOLESCU-GOUJOT, Ioana

140.

08 Jan 2014

Software

ReactiveML
The ReactiveML language

MANDEL, Louis

141.

25 Jul 2012

Software

REISA
Controlled Knowledge Base Enrichment from Web documents

PERNELLE-MANSCOUR, Nathalie

142.

09 Mar 2018

Software

RiseClipse
MDE for IEC standards

MARCADET, Dominique

143.

01 Jan 2013

Software

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

144.

01 Jan 2011

Software

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude

145.

01 Dec 2017

Software

Sage-Combinat
To improve the open source mathematical system Sage

THIÉRY, Nicolas

146.

01 Dec 2017

Software

SageMath
A free open-source mathematics software system

THIÉRY, Nicolas

147.

01 Jan 2014

Software

SAKey
Scalable Tool For Almost Key Discovery in RDF Data

PERNELLE-MANSCOUR, Nathalie

148.

01 Jan 2007

Software

sALLUSTe
Statistical Testing based on Lustre Descriptions

GAUDEL, Marie-Claude

149.

31 Jan 2017

Software

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAFAR, Brigitte

150.

01 Jan 2013

Software

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel