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
51.
16 août 2014
Logiciel
Quaff
Quaff: Dataflow EDSL for Parallel Programming
FALCOU, Joël
52.
20 juil. 2014
Logiciel
TemporalOCL
Temporal OCL Plugin for Eclipse
TAHA, Safouan
53.
17 juil. 2014
Logiciel
ModHelX
ModHel'X - A framework for heterogeneous modeling
BOULANGER, Frédéric
54.
12 avril 2014
Logiciel
Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification
CONTEJEAN, Evelyne
55.
05 mars 2014
Logiciel
Functory
place where functional workers are manufacturing programs
FILLIÂTRE, Jean-Christophe
56.
18 févr. 2014
Logiciel
SwingStates
Une extension de Java Swing basée sur les machines à états
APPERT, Caroline
57.
10 févr. 2014
Logiciel
OpenScop
OpenScop
BASTOUL, Cédric
58.
04 févr. 2014
Logiciel
ocamlgraph
bibliothèque de graphes pour Ocaml
FILLIÂTRE, Jean-Christophe
59.
20 janv. 2014
Logiciel
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
60.
10 janv. 2014
Logiciel
Flocq Library
Flocq Library
BOLDO, Sylvie
61.
08 janv. 2014
Logiciel
ReactiveML
le langage ReactiveML
MANDEL, Louis
62.
01 janv. 2014
Logiciel
cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization
FURSIN, Grigori
63.
01 janv. 2014
Logiciel
MoGo
Computer-Go program
TEYTAUD, Olivier
64.
01 janv. 2014
Logiciel
GeneValorization
L'importance des gènes en un clin d'oeil
COHEN-BOULAKIA, Sarah
65.
01 janv. 2014
Logiciel
HSIM
Hyperstructure Simulator
AMAR, Patrick
66.
01 janv. 2014
Logiciel
VARNA
Visualisation Applet for RNA
DENISE, Alain
67.
01 janv. 2014
Logiciel
GenRGenS
Generation of Random Genomic Sequences and Structures
DENISE, Alain
68.
01 janv. 2014
Logiciel
SAKey
Outil efficace de découverte automatique de presque-clés dans les données RDF
PERNELLE-MANSCOUR, Nathalie
69.
01 janv. 2014
Logiciel
GlideCursor
Intertial cursor
BEAUDOUIN-LAFON, Michel
70.
01 janv. 2014
Logiciel
Coccinelle
Coccinelle
CONTEJEAN, Evelyne
71.
01 janv. 2014
Logiciel
Cartaj
Classification Of RNA threeway Junctions
DENISE, Alain
72.
01 janv. 2014
Logiciel
COCO
Comparing Continuous Optimizers
HANSEN, Nikolaus
73.
01 janv. 2014
Logiciel
GridObservatory
Grid Observatory
GERMAIN, Cécile
74.
01 janv. 2014
Logiciel
Mlpost
Mlpost: une interface Objective Caml pour Metapost
FILLIÂTRE, Jean-Christophe
75.
01 janv. 2014
Logiciel
CliqueSquare
CliqueSquare
ZAMPETAKIS, Stamatis
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 3 sur 9]