176.

02 Aug 2009

Software

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

177.

30 Oct 2008

Software

FM
FM: the Fourier-Motzkin library

BASTOUL, Cédric

178.

11 Oct 2013

Software

CLooG
Chunky Loop Generator

BASTOUL, Cédric

179.

20 Jan 2014

Software

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

180.

01 Jan 1970

Software

Pactole
Coq formalisation a mobile sensors networks.

BALABONSKI, Thibaut

181.

01 Apr 2015

Software

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

BABOULIN, Marc

182.

01 Nov 2017

Software

MAGMA
Contribution to numerical linear algebra libraries

BABOULIN, Marc

183.

01 Jul 2015

Software

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

184.

01 Jan 2007

Software

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

185.

18 Feb 2014

Software

SwingStates
An extension to the Java Swing toolkit based on state machines

APPERT, Caroline

186.

24 May 2018

Software

TouchTokens
Low-cost Solution for Tangible Interfaces

APPERT, Caroline

187.

01 Jan 2013

Software

Touchstone
Software platform for designing and running controlled experiments

APPERT, Caroline

188.

01 Jan 2013

Software

FlowStates Toolkit
Programming Interactive Applications with Data Flow and State Machines

APPERT, Caroline

189.

13 May 2013

Software

WXD
Text editor

AMAR, Patrick

190.

01 Jan 2018

Software

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

191.

01 Jan 2014

Software

HSIM
Hyperstructure Simulator

AMAR, Patrick

192.

24 Nov 2014

Software

Voeux
Teaching service management system

AMAR, Patrick

193.

27 Jan 2015

Software

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

194.

01 Jan 2006

Patent

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

AL AGHA, Khaldoun

195.

11 Dec 2009

Patent

FR0958890
A method for quality-based routing in a multi-hop network

AL AGHA, Khaldoun

196.

28 Jun 2011

Patent

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

197.

01 Jan 2010

Software

Qolyester
implementation from scratch of the OLSR protocol

AL AGHA, Khaldoun

198.

01 Jan 2017

Software

OntoEvent-B
A Generator of Event-B contexts from Ontologies

AIT-SADOUNE, Idir

199.

01 Jan 2005

Software

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge

200.

01 Jan 2007

Software

ULoad
Management of XML views

ABITEBOUL, Serge