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
76.
01 janv. 2014
Logiciel
Coccinelle
Coccinelle
CONTEJEAN, Evelyne
77.
01 janv. 2010
Logiciel
BPEL2CPN
BPEL2CPN
DAGUE, Philippe
78.
01 janv. 2005
Logiciel
IDéeBD
Introduction Didactique aux Bases de Données
DELAËT, Sylvie
79.
01 janv. 2013
Logiciel
Rna3Dmotif
Software for extracting RNA tertiary motifs
DENISE, Alain
80.
01 janv. 2014
Logiciel
GenRGenS
Generation of Random Genomic Sequences and Structures
DENISE, Alain
81.
01 janv. 2014
Logiciel
Cartaj
Classification Of RNA threeway Junctions
DENISE, Alain
82.
23 mars 2018
Logiciel
CaRNAval
Database of RNA Recurrent Interaction Networks
DENISE, Alain
83.
15 déc. 2017
Logiciel
LiCoRNA
aLignment of Complex RNAs
DENISE, Alain
84.
01 janv. 2014
Logiciel
VARNA
Visualisation Applet for RNA
DENISE, Alain
85.
07 août 2009
Logiciel
NestedAlign
Pairwise RNA secondary structure comparison
DENISE, Alain
86.
16 août 2014
Logiciel
Quaff
Quaff: Dataflow EDSL for Parallel Programming
FALCOU, Joël
87.
31 oct. 2011
Logiciel
BSP++
The C++ Bulk Synchronous Parallelism Library
FALCOU, Joël
88.
23 nov. 2010
Brevet
FR 2967800 - Cell-MPI brevet
Procédé de synchronisation et de transfert de données entre des processeurs reliés par des canaux DMA
FALCOU, Joël
89.
01 sept. 2009
Logiciel
CELL-MPI
Cadriciel MPI pour le processeur CELL
FALCOU, Joël
90.
15 oct. 2012
Logiciel
Metaphore
Metaphore
FALCOU, Joël
91.
03 oct. 2014
Logiciel
NT2
The Numerical Template Toolbox
FALCOU, Joël
92.
15 nov. 2012
Logiciel
BitDew
middleware OpenSource pour les grilles de données de bureau
FEDAK, Gilles
93.
04 déc. 2014
Logiciel
Why3
La plateforme Why3
FILLIÂTRE, Jean-Christophe
94.
01 janv. 2014
Logiciel
Mlpost
Mlpost: une interface Objective Caml pour Metapost
FILLIÂTRE, Jean-Christophe
95.
17 sept. 2004
Logiciel
Caduceus
Outil Caduceus de vérification de programmes C
FILLIÂTRE, Jean-Christophe
96.
05 mars 2014
Logiciel
Functory
place where functional workers are manufacturing programs
FILLIÂTRE, Jean-Christophe
97.
04 févr. 2014
Logiciel
ocamlgraph
bibliothèque de graphes pour Ocaml
FILLIÂTRE, Jean-Christophe
98.
01 janv. 2014
Logiciel
bibtex2html
Traducteur BibTeX vers HTML
FILLIÂTRE, Jean-Christophe
99.
01 juin 2015
Logiciel
UnityCluster
Middleware pour applications Unity3D réparties
FLEURY, Cédric
100.
01 juil. 2008
Logiciel
GenoQuery
Querying genomic data warehouse
FROIDEVAUX, Christine
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 4 sur 9]