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
myNRC2.0
Smart memory allocator
LACASSAGNE, Lionel
77.
01 Jan 2014
Software
CMA-ES
Covariance Matrix Evolution Strategy
HANSEN, Nikolaus
78.
01 Jan 2014
Software
covTrack
Robust and realtime multitarget covariance tracking
LACASSAGNE, Lionel
79.
01 Jan 2014
Software
Alt-Ergo
The Alt-Ergo theorem prover
CONCHON, Sylvain
80.
01 Jan 2014
Software
bibtex2html
Bibtex to HTML
FILLIÂTRE, Jean-Christophe
81.
01 Jan 2014
Software
WaRG
Warehousing RDF Graphs
ROATIS, Ioana-Alexandra
82.
01 Jan 2014
Software
FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists
GOASDOUE, François
83.
01 Jan 2014
Software
AMADA
AMADA
CAMACHO RODRIGUEZ, Jesus
84.
01 Jan 2014
Software
Metis
Metis
TEYTAUD, Olivier
85.
01 Jan 2014
Software
CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
CONCHON, Sylvain
86.
01 Jan 2014
Software
HERSCHEL, Mélanie
87.
01 Jan 2014
Software
ALEA
ALEA : A library for reasoning on random algorithms in Coq
PAULIN-MOHRING, Christine
88.
01 Jan 2014
Software
PAXQuery
massively parallel processing of XQuery queries
CAMACHO RODRIGUEZ, Jesus
89.
01 Jan 2014
Software
CFML
CFML
CHARGUERAUD, Arthur
90.
01 Jan 2014
Software
MultiBoost
MultiBoost
KÉGL, Balázs
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]