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
76.
01 janv. 2014
Logiciel
HSIM
Hyperstructure Simulator
AMAR, Patrick
77.
01 janv. 2014
Logiciel
VARNA
Visualisation Applet for RNA
DENISE, Alain
78.
01 janv. 2014
Logiciel
Alt-Ergo
Démonstrateur automatique Alt-Ergo
CONCHON, Sylvain
79.
01 janv. 2014
Logiciel
GenRGenS
Generation of Random Genomic Sequences and Structures
DENISE, Alain
80.
01 janv. 2014
Logiciel
FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists
GOASDOUE, François
81.
01 janv. 2014
Logiciel
AMADA
Web Data Repositories in the Amazon Cloud
CAMACHO RODRIGUEZ, Jesus
82.
01 janv. 2014
Logiciel
Metis
Metis
TEYTAUD, Olivier
83.
01 janv. 2014
Logiciel
MultiBoost
MultiBoost
KÉGL, Balázs
84.
01 janv. 2014
Logiciel
cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization
FURSIN, Grigori
85.
01 janv. 2014
Logiciel
CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
CONCHON, Sylvain
86.
01 janv. 2014
Logiciel
Nautilus Analyzer
Nautilus Analyzer
HERSCHEL, Mélanie
87.
01 janv. 2014
Logiciel
Mlpost
Mlpost: une interface Objective Caml pour Metapost
FILLIÂTRE, Jean-Christophe
88.
01 janv. 2014
Logiciel
CFML
Program Verification for ML through Characteristic Formula
CHARGUERAUD, Arthur
89.
01 janv. 2014
Logiciel
Cartaj
Classification Of RNA threeway Junctions
DENISE, Alain
90.
01 déc. 2013
Logiciel
Isabelle/HOL
Isabelle/HOL
WENZEL, Markus
91.
07 nov. 2013
Logiciel
Clay
Clay
BASTOUL, Cédric
92.
11 oct. 2013
Logiciel
CLooG
Chunky Loop Generator
BASTOUL, Cédric
93.
23 sept. 2013
Logiciel
Frama-C
Framework for Modular Analysis of C
MARCHÉ, Claude
94.
15 sept. 2013
Logiciel
ACM-ES
Surrogate models for CMA-ES
LOSHCHILOV, Ilya
95.
06 sept. 2013
Logiciel
WILD Input Server
Configurateur d'entrées
HUOT, Stéphane
96.
26 juil. 2013
Logiciel
XRP
The XR platform
GOASDOUE, François
97.
15 mai 2013
Logiciel
YML
Large-Scale Workflow Computing
PETITON, Serge
98.
13 mai 2013
Logiciel
WXD
Editeur de textes
AMAR, Patrick
99.
01 avril 2013
Logiciel
EdiFlow
EdiFlow: workflows intéractifs pour l'analyse de données
MANOLESCU-GOUJOT, Ioana
100.
04 févr. 2013
Logiciel
SPChecker
SPChecker
COHEN-BOULAKIA, Sarah
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 4 sur 9]