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
101.
01 févr. 2013
Logiciel
SPFlow
Rewriting a non SP workflow into an SP workflow while preserving provenance
COHEN-BOULAKIA, Sarah
102.
04 févr. 2013
Logiciel
SPChecker
SPChecker
COHEN-BOULAKIA, Sarah
103.
01 avril 2013
Logiciel
EdiFlow
EdiFlow: workflows intéractifs pour l'analyse de données
MANOLESCU-GOUJOT, Ioana
104.
13 mai 2013
Logiciel
WXD
Editeur de textes
AMAR, Patrick
105.
15 mai 2013
Logiciel
YML
Large-Scale Workflow Computing
PETITON, Serge
106.
26 juil. 2013
Logiciel
XRP
The XR platform
GOASDOUE, François
107.
06 sept. 2013
Logiciel
WILD Input Server
Configurateur d'entrées
HUOT, Stéphane
108.
15 sept. 2013
Logiciel
ACM-ES
Surrogate models for CMA-ES
LOSHCHILOV, Ilya
109.
23 sept. 2013
Logiciel
Frama-C
Framework for Modular Analysis of C
MARCHÉ, Claude
110.
11 oct. 2013
Logiciel
CLooG
Chunky Loop Generator
BASTOUL, Cédric
111.
07 nov. 2013
Logiciel
Clay
Clay
BASTOUL, Cédric
112.
01 déc. 2013
Logiciel
Isabelle/HOL
Isabelle/HOL
WENZEL, Markus
113.
01 janv. 2014
Logiciel
MoGo
Computer-Go program
TEYTAUD, Olivier
114.
01 janv. 2014
Logiciel
MultiBoost
MultiBoost
KÉGL, Balázs
115.
01 janv. 2014
Logiciel
myNRC2.0
Smart memory allocator
LACASSAGNE, Lionel
116.
01 janv. 2014
Logiciel
covTrack
Robust and realtime multitarget covariance tracking
LACASSAGNE, Lionel
117.
01 janv. 2014
Logiciel
GenRGenS
Generation of Random Genomic Sequences and Structures
DENISE, Alain
118.
01 janv. 2014
Logiciel
CliqueSquare
CliqueSquare
ZAMPETAKIS, Stamatis
119.
01 janv. 2014
Logiciel
Metis
Metis
TEYTAUD, Olivier
120.
01 janv. 2014
Logiciel
AMADA
Web Data Repositories in the Amazon Cloud
CAMACHO RODRIGUEZ, Jesus
121.
01 janv. 2014
Logiciel
GlideCursor
Intertial cursor
BEAUDOUIN-LAFON, Michel
122.
01 janv. 2014
Logiciel
Mlpost
Mlpost: une interface Objective Caml pour Metapost
FILLIÂTRE, Jean-Christophe
123.
01 janv. 2014
Logiciel
CMA-ES
Covariance Matrix Evolution Strategy
HANSEN, Nikolaus
124.
01 janv. 2014
Logiciel
PAXQuery
massively parallel processing of XQuery queries
CAMACHO RODRIGUEZ, Jesus
125.
01 janv. 2014
Logiciel
HSIM
Hyperstructure Simulator
AMAR, Patrick
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 5 sur 9]