Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
76.
01 Jan 2014
Software
GeneValorization
Gene List significance at-a-glance
COHEN-BOULAKIA, Sarah
77.
01 Jan 2014
Software
cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization
FURSIN, Grigori
78.
01 Jan 2014
Software
CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
CONCHON, Sylvain
79.
01 Jan 2014
Software
CFML
CFML
CHARGUERAUD, Arthur
80.
01 Jan 2014
Software
MultiBoost
MultiBoost
KÉGL, Balázs
81.
01 Jan 2014
Software
Metis
Metis
TEYTAUD, Olivier
82.
01 Jan 2014
Software
AMADA
AMADA
CAMACHO RODRIGUEZ, Jesus
83.
01 Jan 2014
Software
FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists
GOASDOUE, François
84.
01 Jan 2014
Software
WaRG
Warehousing RDF Graphs
ROATIS, Ioana-Alexandra
85.
01 Jan 2014
Software
GlideCursor
Inertial cursor
BEAUDOUIN-LAFON, Michel
86.
01 Jan 2014
Software
myNRC2.0
Smart memory allocator
LACASSAGNE, Lionel
87.
01 Jan 2014
Software
covTrack
Robust and realtime multitarget covariance tracking
LACASSAGNE, Lionel
88.
01 Jan 2014
Software
PAXQuery
massively parallel processing of XQuery queries
CAMACHO RODRIGUEZ, Jesus
89.
01 Jan 2014
Software
CliqueSquare
CliqueSquare
ZAMPETAKIS, Stamatis
90.
01 Jan 2014
Software
SAKey
Scalable Tool For Almost Key Discovery in RDF Data
PERNELLE-MANSCOUR, Nathalie
91.
01 Dec 2013
Software
Isabelle/HOL
Isabelle/HOL
WENZEL, Markus
92.
07 Nov 2013
Software
Clay
Clay
BASTOUL, Cédric
93.
11 Oct 2013
Software
CLooG
Chunky Loop Generator
BASTOUL, Cédric
94.
23 Sep 2013
Software
Frama-C
Framework for Modular Analysis of C
MARCHÉ, Claude
95.
15 Sep 2013
Software
ACM-ES
Surrogate models for CMA-ES
LOSHCHILOV, Ilya
96.
06 Sep 2013
Software
WILD Input Server
Multi-device input configuration
HUOT, Stéphane
97.
26 Jul 2013
Software
XRP
The XR platform
GOASDOUE, François
98.
15 May 2013
Software
YML
Large-Scale Workflow Computing
PETITON, Serge
99.
13 May 2013
Software
WXD
Text editor
AMAR, Patrick
100.
01 Apr 2013
Software
EdiFlow
EdiFlow: interactive workflows for data analytics
MANOLESCU-GOUJOT, Ioana
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 4 sur 9]