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
126.
01 janv. 2014
Logiciel
VARNA
Visualisation Applet for RNA
DENISE, Alain
127.
01 janv. 2014
Logiciel
FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists
GOASDOUE, François
128.
01 janv. 2014
Logiciel
WaRG
Warehousing RDF Graphs
ROATIS, Ioana-Alexandra
129.
01 janv. 2014
Logiciel
CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
CONCHON, Sylvain
130.
01 janv. 2014
Logiciel
SAKey
Outil efficace de découverte automatique de presque-clés dans les données RDF
PERNELLE-MANSCOUR, Nathalie
131.
01 janv. 2014
Logiciel
Cartaj
Classification Of RNA threeway Junctions
DENISE, Alain
132.
01 janv. 2014
Logiciel
GridObservatory
Grid Observatory
GERMAIN, Cécile
133.
01 janv. 2014
Logiciel
Alt-Ergo
Démonstrateur automatique Alt-Ergo
CONCHON, Sylvain
134.
01 janv. 2014
Logiciel
Nautilus Analyzer
Nautilus Analyzer
HERSCHEL, Mélanie
135.
01 janv. 2014
Logiciel
COCO
Comparing Continuous Optimizers
HANSEN, Nikolaus
136.
01 janv. 2014
Logiciel
bibtex2html
Traducteur BibTeX vers HTML
FILLIÂTRE, Jean-Christophe
137.
01 janv. 2014
Logiciel
ALEA
ALEA : A library for reasoning on random algorithms in Coq
PAULIN-MOHRING, Christine
138.
01 janv. 2014
Logiciel
GeneValorization
L'importance des gènes en un clin d'oeil
COHEN-BOULAKIA, Sarah
139.
01 janv. 2014
Logiciel
Coccinelle
Coccinelle
CONTEJEAN, Evelyne
140.
01 janv. 2014
Logiciel
CFML
Program Verification for ML through Characteristic Formula
CHARGUERAUD, Arthur
141.
01 janv. 2014
Logiciel
cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization
FURSIN, Grigori
142.
08 janv. 2014
Logiciel
ReactiveML
le langage ReactiveML
MANDEL, Louis
143.
10 janv. 2014
Logiciel
Flocq Library
Flocq Library
BOLDO, Sylvie
144.
20 janv. 2014
Logiciel
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
145.
04 févr. 2014
Logiciel
ocamlgraph
bibliothèque de graphes pour Ocaml
FILLIÂTRE, Jean-Christophe
146.
10 févr. 2014
Logiciel
OpenScop
OpenScop
BASTOUL, Cédric
147.
18 févr. 2014
Logiciel
SwingStates
Une extension de Java Swing basée sur les machines à états
APPERT, Caroline
148.
05 mars 2014
Logiciel
Functory
place where functional workers are manufacturing programs
FILLIÂTRE, Jean-Christophe
149.
12 avril 2014
Logiciel
Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification
CONTEJEAN, Evelyne
150.
17 juil. 2014
Logiciel
ModHelX
ModHel'X - A framework for heterogeneous modeling
BOULANGER, Frédéric
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 6 sur 9]