176.

20 janv. 2014

Logiciel

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

177.

11 oct. 2013

Logiciel

CLooG
Chunky Loop Generator

BASTOUL, Cédric

178.

12 avril 2012

Logiciel

Clan
Chunky Loop Analyzer

BASTOUL, Cédric

179.

10 févr. 2014

Logiciel

OpenScop
OpenScop

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 juil. 2015

Logiciel

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

182.

01 avril 2015

Logiciel

SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations

BABOULIN, Marc

183.

01 nov. 2017

Logiciel

MAGMA
Contribution to numerical linear algebra libraries

BABOULIN, Marc

184.

01 janv. 2007

Logiciel

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

185.

01 janv. 2013

Logiciel

Touchstone
Plateforme de conception et d\'exécution d\'expérimentations contrôlées

APPERT, Caroline

186.

24 mai 2018

Logiciel

TouchTokens
Low-cost Solution for Tangible Interfaces

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.

27 janv. 2015

Logiciel

Orphea
Pseudo-knot RNA sequence finder

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.

13 mai 2013

Logiciel

WXD
Editeur de textes

AMAR, Patrick

193.

24 nov. 2014

Logiciel

Voeux
Gestion des services d'enseignement

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.

01 janv. 2007

Logiciel

ULoad
Gestionnaire de vues XML

ABITEBOUL, Serge

200.

09 juil. 2008

Logiciel

Active XML
Spécification déclarative d'applications Web

ABITEBOUL, Serge