Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
76.
12 Apr 2014
Software
Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification
CONTEJEAN, Evelyne
77.
01 Jan 2010
Software
BPEL2CPN
BPEL2CPN
DAGUE, Philippe
78.
01 Jan 2005
Software
IDéeBD
IDéeBD
DELAËT, Sylvie
79.
01 Jan 2014
Software
VARNA
Visualisation Applet for RNA
DENISE, Alain
80.
07 Aug 2009
Software
NestedAlign
Pairwise RNA secondary structure comparison
DENISE, Alain
81.
01 Jan 2013
Software
Rna3Dmotif
Software for extracting RNA tertiary motifs
DENISE, Alain
82.
01 Jan 2014
Software
Cartaj
Classification Of RNA threeway Junctions
DENISE, Alain
83.
01 Jan 2014
Software
GenRGenS
Generation of Random Genomic Sequences and Structures
DENISE, Alain
84.
23 Mar 2018
Software
CaRNAval
Database of RNA Recurrent Interaction Networks
DENISE, Alain
85.
15 Dec 2017
Software
LiCoRNA
aLignment of Complex RNAs
DENISE, Alain
86.
16 Aug 2014
Software
Quaff
Quaff: Dataflow EDSL for Parallel Programming
FALCOU, Joël
87.
31 Oct 2011
Software
BSP++
The C++ Bulk Synchronous Parallelism Library
FALCOU, Joël
88.
23 Nov 2010
Patent
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 Sep 2009
Software
CELL-MPI
MPI Framework for the CELL Processor
FALCOU, Joël
90.
15 Oct 2012
Software
Metaphore
Metaphore
FALCOU, Joël
91.
03 Oct 2014
Software
NT2
The Numerical Template Toolbox
FALCOU, Joël
92.
15 Nov 2012
Software
BitDew
Middleware for Large Scale Data Management and Distribution
FEDAK, Gilles
93.
17 Sep 2004
Software
Caduceus
Caduceus Tool for C Program Verification
FILLIÂTRE, Jean-Christophe
94.
05 Mar 2014
Software
Functory
place where functional workers are manufacturing programs
FILLIÂTRE, Jean-Christophe
95.
04 Feb 2014
Software
ocamlgraph
Ocaml graph library
FILLIÂTRE, Jean-Christophe
96.
01 Jan 2014
Software
bibtex2html
Bibtex to HTML
FILLIÂTRE, Jean-Christophe
97.
04 Dec 2014
Software
Why3
The Why3 platform
FILLIÂTRE, Jean-Christophe
98.
01 Jan 2014
Software
Mlpost
Mlpost: an Objective Caml interface to Metapost
FILLIÂTRE, Jean-Christophe
99.
01 Jun 2015
Software
UnityCluster
Distributed Unity3D application middleware
FLEURY, Cédric
100.
15 Apr 2008
Software
FROIDEVAUX, Christine
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 4 sur 9]