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. 2010
Logiciel
BPEL2CPN
BPEL2CPN
DAGUE, Philippe
127.
01 janv. 2013
Logiciel
CiME
CiME: une boîte à outils pour la démonstration automatique.
CONTEJEAN, Evelyne
128.
01 janv. 2014
Logiciel
Coccinelle
Coccinelle
CONTEJEAN, Evelyne
129.
12 avril 2014
Logiciel
Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification
CONTEJEAN, Evelyne
130.
01 janv. 2014
Logiciel
CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
CONCHON, Sylvain
131.
01 janv. 2014
Logiciel
Alt-Ergo
Démonstrateur automatique Alt-Ergo
CONCHON, Sylvain
132.
01 janv. 2013
Logiciel
XupIn
XML query-update independence tester
COLAZZO, Dario
133.
01 janv. 2012
Logiciel
XPIOT
XPIOT
COLAZZO, Dario
134.
01 janv. 2013
Logiciel
XUpTe
XUpTe
COLAZZO, Dario
135.
01 janv. 2013
Logiciel
XupOp
XupOp
COLAZZO, Dario
136.
22 janv. 2018
Logiciel
ConQuR-Bio
ConQuR-Bio
COHEN-BOULAKIA, Sarah
137.
01 févr. 2013
Logiciel
SPFlow
Rewriting a non SP workflow into an SP workflow while preserving provenance
COHEN-BOULAKIA, Sarah
138.
01 janv. 2013
Logiciel
BioGuide
Guiding scientists through biological sources
COHEN-BOULAKIA, Sarah
139.
01 janv. 2014
Logiciel
GeneValorization
L'importance des gènes en un clin d'oeil
COHEN-BOULAKIA, Sarah
140.
04 févr. 2013
Logiciel
SPChecker
SPChecker
COHEN-BOULAKIA, Sarah
141.
15 août 2017
Logiciel
GARN
Game Algorithms for RNa 3D sampling
COHEN, Johanne
142.
01 janv. 2010
Logiciel
SomeWhere+
Calcul paraconsistant de conséquents en mode pair à pair
CHATALIC, Philippe
143.
01 janv. 2014
Logiciel
CFML
Program Verification for ML through Characteristic Formula
CHARGUERAUD, Arthur
144.
24 août 2009
Logiciel
Núcleo
Boîte à outils núcleo
CHAPUIS, Olivier
145.
01 janv. 2012
Logiciel
WMTRACE
Logging and visualizing user's window management activity
CHAPUIS, Olivier
146.
20 oct. 2017
Logiciel
Smarties
The Smarties Input System
CHAPUIS, Olivier
147.
01 janv. 2013
Logiciel
Metisse
Metisse: système de fenêtrage pour l\'exploration de nouveaux environnements graphiques interactifs
CHAPUIS, Olivier
148.
01 janv. 2013
Logiciel
V-DS
Virtualization environment for large-scale Distributed Systems
CAPPELLO, Franck
149.
01 janv. 2013
Logiciel
PVC
Cluster virtuel Privé
CAPPELLO, Franck
150.
01 janv. 2013
Logiciel
OpenWP
OpenWP
CAPPELLO, Franck
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 6 sur 9]