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
MoGo
Computer-Go program
TEYTAUD, Olivier
78.
01 janv. 2014
Logiciel
VARNA
Visualisation Applet for RNA
DENISE, Alain
79.
01 janv. 2014
Logiciel
Mlpost
Mlpost: une interface Objective Caml pour Metapost
FILLIÂTRE, Jean-Christophe
80.
01 janv. 2014
Logiciel
GlideCursor
Intertial cursor
BEAUDOUIN-LAFON, Michel
81.
01 janv. 2014
Logiciel
Alt-Ergo
Démonstrateur automatique Alt-Ergo
CONCHON, Sylvain
82.
01 janv. 2014
Logiciel
CFML
Program Verification for ML through Characteristic Formula
CHARGUERAUD, Arthur
83.
01 janv. 2014
Logiciel
MultiBoost
MultiBoost
KÉGL, Balázs
84.
01 janv. 2014
Logiciel
Metis
Metis
TEYTAUD, Olivier
85.
01 janv. 2014
Logiciel
AMADA
Web Data Repositories in the Amazon Cloud
CAMACHO RODRIGUEZ, Jesus
86.
01 janv. 2014
Logiciel
FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists
GOASDOUE, François
87.
01 janv. 2014
Logiciel
WaRG
Warehousing RDF Graphs
ROATIS, Ioana-Alexandra
88.
01 janv. 2014
Logiciel
Nautilus Analyzer
Nautilus Analyzer
HERSCHEL, Mélanie
89.
01 janv. 2014
Logiciel
bibtex2html
Traducteur BibTeX vers HTML
FILLIÂTRE, Jean-Christophe
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]