Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
51.
16 Aug 2014
Software
Quaff
Quaff: Dataflow EDSL for Parallel Programming
FALCOU, Joël
52.
20 Jul 2014
Software
TemporalOCL
Temporal OCL Plugin for Eclipse
TAHA, Safouan
53.
17 Jul 2014
Software
ModHelX
ModHel'X - A framework for heterogeneous modeling
BOULANGER, Frédéric
54.
12 Apr 2014
Software
Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification
CONTEJEAN, Evelyne
55.
05 Mar 2014
Software
Functory
place where functional workers are manufacturing programs
FILLIÂTRE, Jean-Christophe
56.
18 Feb 2014
Software
SwingStates
An extension to the Java Swing toolkit based on state machines
APPERT, Caroline
57.
10 Feb 2014
Software
OpenScop
OpenScop
BASTOUL, Cédric
58.
04 Feb 2014
Software
ocamlgraph
Ocaml graph library
FILLIÂTRE, Jean-Christophe
59.
20 Jan 2014
Software
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
60.
10 Jan 2014
Software
Flocq Library
Flocq Library
BOLDO, Sylvie
61.
08 Jan 2014
Software
ReactiveML
The ReactiveML language
MANDEL, Louis
62.
01 Jan 2014
Software
cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization
FURSIN, Grigori
63.
01 Jan 2014
Software
MoGo
Computer-Go program
TEYTAUD, Olivier
64.
01 Jan 2014
Software
GeneValorization
Gene List significance at-a-glance
COHEN-BOULAKIA, Sarah
65.
01 Jan 2014
Software
HSIM
Hyperstructure Simulator
AMAR, Patrick
66.
01 Jan 2014
Software
VARNA
Visualisation Applet for RNA
DENISE, Alain
67.
01 Jan 2014
Software
GenRGenS
Generation of Random Genomic Sequences and Structures
DENISE, Alain
68.
01 Jan 2014
Software
SAKey
Scalable Tool For Almost Key Discovery in RDF Data
PERNELLE-MANSCOUR, Nathalie
69.
01 Jan 2014
Software
GlideCursor
Inertial cursor
BEAUDOUIN-LAFON, Michel
70.
01 Jan 2014
Software
Coccinelle
Coccinelle
CONTEJEAN, Evelyne
71.
01 Jan 2014
Software
Cartaj
Classification Of RNA threeway Junctions
DENISE, Alain
72.
01 Jan 2014
Software
COCO
Comparing Continuous Optimizers
HANSEN, Nikolaus
73.
01 Jan 2014
Software
GridObservatory
Grid Observatory
GERMAIN, Cécile
74.
01 Jan 2014
Software
Mlpost
Mlpost: an Objective Caml interface to Metapost
FILLIÂTRE, Jean-Christophe
75.
01 Jan 2014
Software
CliqueSquare
CliqueSquare
ZAMPETAKIS, Stamatis
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 3 sur 9]