176.

10 févr. 2014

Logiciel

OpenScop
OpenScop

BASTOUL, Cédric

177.

16 févr. 2008

Logiciel

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

178.

03 déc. 2012

Logiciel

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

179.

02 août 2009

Logiciel

Piplib
Parametric Integer Programming Library

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.

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.

01 janv. 2018

Logiciel

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

190.

13 mai 2013

Logiciel

WXD
Editeur de textes

AMAR, Patrick

191.

24 nov. 2014

Logiciel

Voeux
Gestion des services d'enseignement

AMAR, Patrick

192.

27 janv. 2015

Logiciel

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

193.

01 janv. 2014

Logiciel

HSIM
Hyperstructure Simulator

AMAR, Patrick

194.

01 janv. 2010

Logiciel

Qolyester
Implémentation du protocole OLSR (Optimized Link State Routing Protocol)

AL AGHA, Khaldoun

195.

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

196.

01 janv. 2006

Brevet

FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes

AL AGHA, Khaldoun

197.

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

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

OptimAX
Optimiseur algébrique pour Active XML

ABITEBOUL, Serge

200.

01 janv. 2005

Logiciel

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge