Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciels et brevets
#
Date
Type
Nom et Titre
Responsable
1.
15 sept. 2013
Logiciel
ACM-ES
Surrogate models for CMA-ES
LOSHCHILOV, Ilya
2.
09 juil. 2008
Logiciel
Active XML
Spécification déclarative d'applications Web
ABITEBOUL, Serge
3.
01 janv. 2005
Logiciel
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
4.
01 janv. 2014
Logiciel
ALEA
ALEA : A library for reasoning on random algorithms in Coq
PAULIN-MOHRING, Christine
5.
01 janv. 2011
Logiciel
AlignViz
AlignViz
SAFAR, Brigitte
6.
01 janv. 2014
Logiciel
Alt-Ergo
Démonstrateur automatique Alt-Ergo
CONCHON, Sylvain
7.
01 janv. 2014
Logiciel
AMADA
Web Data Repositories in the Amazon Cloud
CAMACHO RODRIGUEZ, Jesus
8.
01 janv. 2011
Logiciel
AnnoVip
AnnoVip
MANOLESCU-GOUJOT, Ioana
9.
01 janv. 2013
Logiciel
APMC
Approximate Probabilistic Model Checker
PEYRONNET, Sylvain
10.
06 juin 2012
Logiciel
aSHIIP
A random topology generator of interdomain
WEISSER, Marc-Antoine
11.
05 déc. 2005
Logiciel
AuGuSTe
Test statistique de programmes C
VOISIN, Frédéric
12.
01 janv. 2014
Logiciel
bibtex2html
Traducteur BibTeX vers HTML
FILLIÂTRE, Jean-Christophe
13.
01 janv. 2013
Logiciel
BioGuide
Guiding scientists through biological sources
COHEN-BOULAKIA, Sarah
14.
15 nov. 2012
Logiciel
BitDew
middleware OpenSource pour les grilles de données de bureau
FEDAK, Gilles
15.
03 mai 2018
Logiciel
BOLDR
Query Intermediate Representation Library
NGUYEN, Kim
16.
01 janv. 2010
Logiciel
BPEL2CPN
BPEL2CPN
DAGUE, Philippe
17.
31 oct. 2011
Logiciel
BSP++
The C++ Bulk Synchronous Parallelism Library
FALCOU, Joël
18.
17 sept. 2004
Logiciel
Caduceus
Outil Caduceus de vérification de programmes C
FILLIÂTRE, Jean-Christophe
19.
01 janv. 2012
Logiciel
CALU
for multicore architectures
GRIGORI, Laura
20.
20 janv. 2014
Logiciel
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
21.
01 janv. 2010
logiciel
CAPSULE
CAPSULE
TEMAM, Olivier
22.
23 mars 2018
Logiciel
CaRNAval
Database of RNA Recurrent Interaction Networks
DENISE, Alain
23.
01 janv. 2014
Logiciel
Cartaj
Classification Of RNA threeway Junctions
DENISE, Alain
24.
22 sept. 2014
Logiciel
Causalex
Causality Graph Explorer
PAULEVE, Loïc
25.
10 févr. 2012
Logiciel
CDuce
CDuce an XML centric Functional Programmimg Language
BENZAKEN, Véronique
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - Suivant [Page 1 sur 8]