76.

01 Jan 2013

Software

CiME
CiME: a tool box for automated deduction.

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.

23 Mar 2018

Software

CaRNAval
Database of RNA Recurrent Interaction Networks

DENISE, Alain

84.

15 Dec 2017

Software

LiCoRNA
aLignment of Complex RNAs

DENISE, Alain

85.

01 Jan 2014

Software

GenRGenS
Generation of Random Genomic Sequences and Structures

DENISE, Alain

86.

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

87.

15 Oct 2012

Software

Metaphore
Metaphore

FALCOU, Joël

88.

01 Sep 2009

Software

CELL-MPI
MPI Framework for the CELL Processor

FALCOU, Joël

89.

03 Oct 2014

Software

NT2
The Numerical Template Toolbox

FALCOU, Joël

90.

16 Aug 2014

Software

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

91.

31 Oct 2011

Software

BSP++
The C++ Bulk Synchronous Parallelism Library

FALCOU, Joël

92.

15 Nov 2012

Software

BitDew
Middleware for Large Scale Data Management and Distribution

FEDAK, Gilles

93.

04 Feb 2014

Software

ocamlgraph
Ocaml graph library

FILLIÂTRE, Jean-Christophe

94.

01 Jan 2014

Software

bibtex2html
Bibtex to HTML

FILLIÂTRE, Jean-Christophe

95.

04 Dec 2014

Software

Why3
The Why3 platform

FILLIÂTRE, Jean-Christophe

96.

01 Jan 2014

Software

Mlpost
Mlpost: an Objective Caml interface to Metapost

FILLIÂTRE, Jean-Christophe

97.

05 Mar 2014

Software

Functory
place where functional workers are manufacturing programs

FILLIÂTRE, Jean-Christophe

98.

17 Sep 2004

Software

Caduceus
Caduceus Tool for C Program Verification

FILLIÂTRE, Jean-Christophe

99.

01 Jun 2015

Software

UnityCluster
Distributed Unity3D application middleware

FLEURY, Cédric

100.

01 Jul 2008

Software

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine