Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
76.
01 Mar 2016
Software
SMTCoq
Coq plugin that checks proof witnesses coming from external SAT and SMT solvers
KELLER, Chantal
77.
01 Jan 2014
Software
MultiBoost
MultiBoost
KÉGL, Balázs
78.
18 Dec 2017
Software
Iris
A Higher-Order Concurrent Separation Logic Framework implemented and verified in the proof assistant Coq.
JOURDAN, Jacques-Henri
79.
20 Jun 2020
Software
DNADNA
Deep Neural Architectures for DNA
JAY, Flora
80.
01 Jan 2013
Software
jBricks
Java toolkit for interactive visualization platforms
HUOT, Stéphane
81.
06 Sep 2013
Software
WILD Input Server
Multi-device input configuration
HUOT, Stéphane
82.
26 Oct 2015
Software
Coq-Combi
Algebraic combinatorics in Coq
HIVERT, Florent
83.
11 Jan 2018
Software
HP-Combi
High Performance Combinatorics
HIVERT, Florent
84.
01 Jan 2014
Software
HERSCHEL, Mélanie
85.
01 May 2007
Software
MPICH-V
Message Passing Interface For Volatile Resources
HERAULT, Thomas
86.
01 Jan 2014
Software
CMA-ES
Covariance Matrix Evolution Strategy
HANSEN, Nikolaus
87.
01 Jan 2014
Software
COCO
Comparing Continuous Optimizers
HANSEN, Nikolaus
88.
01 Jan 2021
Software
Codalab
Codalab
GUYON, Isabelle
89.
01 Jan 2012
Software
CALU
for multicore architectures
GRIGORI, Laura
90.
01 Jan 2012
Software
Parallel Solvers
for Solving Linear Systems of Equations
GRIGORI, Laura
91.
01 Jan 2014
Software
FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists
GOASDOUE, François
92.
01 Jun 2000
Software
OntoClass & OntoQuery
Query engine for mediators based on query rewriting using views
GOASDOUE, François
93.
26 Jul 2013
Software
XRP
The XR platform
GOASDOUE, François
94.
01 Jan 2010
Software
SomeWhere
Peer-to-Peer Consequence Finding
GOASDOUE, François
95.
30 Jun 2017
Software
DIGISCAPE
Telepresence middleware
GLADIN, Olivier
96.
01 Jan 2014
Software
GridObservatory
Grid Observatory
GERMAIN, Cécile
97.
01 Jan 2018
Software
io.datascience
io.datascience
GERMAIN, Cécile
98.
01 Jan 2007
Software
sALLUSTe
Statistical Testing based on Lustre Descriptions
GAUDEL, Marie-Claude
99.
01 Jan 2011
Software
RUKIA
Random Uniform walK In Automata
GAUDEL, Marie-Claude
100.
11 Mar 2009
Software
GCC ICI
GCC Interactive Compilation Interface
FURSIN, Grigori
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 4 sur 9]