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
1.
01 janv. 2005
Logiciel
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
2.
01 janv. 2007
Logiciel
ULoad
Gestionnaire de vues XML
ABITEBOUL, Serge
3.
09 juil. 2008
Logiciel
Active XML
Spécification déclarative d'applications Web
ABITEBOUL, Serge
4.
01 janv. 2007
Logiciel
OptimAX
Optimiseur algébrique pour Active XML
ABITEBOUL, Serge
5.
01 janv. 2017
Logiciel
OntoEvent-B
Générateur de contextes Event-B à partir des ontologies
AIT-SADOUNE, Idir
6.
28 juin 2011
Brevet
FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé
AL AGHA, Khaldoun
7.
01 janv. 2006
Brevet
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
8.
11 déc. 2009
Brevet
FR0958890
Procédé de routage qualitatif dans un réseau de communication multi sauts, équipement de gestion de nœud de réseau
AL AGHA, Khaldoun
9.
01 janv. 2010
Logiciel
Qolyester
Implémentation du protocole OLSR (Optimized Link State Routing Protocol)
AL AGHA, Khaldoun
10.
13 mai 2013
Logiciel
WXD
Editeur de textes
AMAR, Patrick
11.
27 janv. 2015
Logiciel
Orphea
Pseudo-knot RNA sequence finder
AMAR, Patrick
12.
24 nov. 2014
Logiciel
Voeux
Gestion des services d'enseignement
AMAR, Patrick
13.
01 janv. 2014
Logiciel
HSIM
Hyperstructure Simulator
AMAR, Patrick
14.
01 janv. 2018
Logiciel
Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system
AMAR, Patrick
15.
18 févr. 2014
Logiciel
SwingStates
Une extension de Java Swing basée sur les machines à états
APPERT, Caroline
16.
01 janv. 2013
Logiciel
Touchstone
Plateforme de conception et d\'exécution d\'expérimentations contrôlées
APPERT, Caroline
17.
01 janv. 2013
Logiciel
FlowStates Toolkit
Programmer des applications interactives avec des flots de données et des machines à états
APPERT, Caroline
18.
01 janv. 2007
Logiciel
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
19.
01 juil. 2015
Logiciel
RBT solver
Random Butterfly Transformations
BABOULIN, Marc
20.
01 avril 2015
Logiciel
SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations
BABOULIN, Marc
21.
01 nov. 2017
Logiciel
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
22.
12 avril 2012
Logiciel
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
23.
10 févr. 2014
Logiciel
OpenScop
OpenScop
BASTOUL, Cédric
24.
16 févr. 2008
Logiciel
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
25.
03 déc. 2012
Logiciel
PoCC
the Polyhedral Compiler Collection
BASTOUL, Cédric
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - Suivant [Page 1 sur 8]