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
Nautilus Analyzer
Nautilus Analyzer
HERSCHEL, Mélanie
114.
01 janv. 2014
Logiciel
bibtex2html
Traducteur BibTeX vers HTML
FILLIÂTRE, Jean-Christophe
115.
01 janv. 2014
Logiciel
Alt-Ergo
Démonstrateur automatique Alt-Ergo
CONCHON, Sylvain
116.
01 janv. 2014
Logiciel
MoGo
Computer-Go program
TEYTAUD, Olivier
117.
01 janv. 2014
Logiciel
GenRGenS
Generation of Random Genomic Sequences and Structures
DENISE, Alain
118.
01 janv. 2014
Logiciel
VARNA
Visualisation Applet for RNA
DENISE, Alain
119.
01 janv. 2014
Logiciel
HSIM
Hyperstructure Simulator
AMAR, Patrick
120.
01 janv. 2014
Logiciel
CMA-ES
Covariance Matrix Evolution Strategy
HANSEN, Nikolaus
121.
01 janv. 2014
Logiciel
Mlpost
Mlpost: une interface Objective Caml pour Metapost
FILLIÂTRE, Jean-Christophe
122.
01 janv. 2014
Logiciel
ALEA
ALEA : A library for reasoning on random algorithms in Coq
PAULIN-MOHRING, Christine
123.
01 janv. 2014
Logiciel
Coccinelle
Coccinelle
CONTEJEAN, Evelyne
124.
01 janv. 2014
Logiciel
GridObservatory
Grid Observatory
GERMAIN, Cécile
125.
01 janv. 2014
Logiciel
COCO
Comparing Continuous Optimizers
HANSEN, Nikolaus
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 5 sur 9]