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
176.
11 oct. 2013
Logiciel
CLooG
Chunky Loop Generator
BASTOUL, Cédric
177.
12 avril 2012
Logiciel
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
178.
10 févr. 2014
Logiciel
OpenScop
OpenScop
BASTOUL, Cédric
179.
16 févr. 2008
Logiciel
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
180.
01 janv. 1970
Logiciel
Pactole
Formalisation en Coq de modèles et d'algorithmes d'essaims de robots mobiles.
BALABONSKI, Thibaut
181.
01 avril 2015
Logiciel
SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations
BABOULIN, Marc
182.
01 nov. 2017
Logiciel
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
183.
01 juil. 2015
Logiciel
RBT solver
Random Butterfly Transformations
BABOULIN, Marc
184.
01 janv. 2007
Logiciel
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
185.
24 mai 2018
Logiciel
TouchTokens
Low-cost Solution for Tangible Interfaces
APPERT, Caroline
186.
01 janv. 2013
Logiciel
Touchstone
Plateforme de conception et d\'exécution d\'expérimentations contrôlées
APPERT, Caroline
187.
01 janv. 2013
Logiciel
FlowStates Toolkit
Programmer des applications interactives avec des flots de données et des machines à états
APPERT, Caroline
188.
18 févr. 2014
Logiciel
SwingStates
Une extension de Java Swing basée sur les machines à états
APPERT, Caroline
189.
24 nov. 2014
Logiciel
Voeux
Gestion des services d'enseignement
AMAR, Patrick
190.
01 janv. 2014
Logiciel
HSIM
Hyperstructure Simulator
AMAR, Patrick
191.
01 janv. 2018
Logiciel
Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system
AMAR, Patrick
192.
27 janv. 2015
Logiciel
Orphea
Pseudo-knot RNA sequence finder
AMAR, Patrick
193.
13 mai 2013
Logiciel
WXD
Editeur de textes
AMAR, Patrick
194.
01 janv. 2006
Brevet
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
195.
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
196.
01 janv. 2010
Logiciel
Qolyester
Implémentation du protocole OLSR (Optimized Link State Routing Protocol)
AL AGHA, Khaldoun
197.
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
198.
01 janv. 2017
Logiciel
OntoEvent-B
Générateur de contextes Event-B à partir des ontologies
AIT-SADOUNE, Idir
199.
09 juil. 2008
Logiciel
Active XML
Spécification déclarative d'applications Web
ABITEBOUL, Serge
200.
01 janv. 2007
Logiciel
OptimAX
Optimiseur algébrique pour Active XML
ABITEBOUL, Serge
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 8 sur 9]