Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
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
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 6 sur 9]