176.

16 Feb 2008

Software

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

177.

07 Nov 2013

Software

Clay
Clay

BASTOUL, Cédric

178.

03 Dec 2012

Software

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

179.

02 Aug 2009

Software

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

180.

01 Jan 1970

Software

Pactole
Coq formalisation a mobile sensors networks.

BALABONSKI, Thibaut

181.

01 Jul 2015

Software

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

182.

01 Apr 2015

Software

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

BABOULIN, Marc

183.

01 Nov 2017

Software

MAGMA
Contribution to numerical linear algebra libraries

BABOULIN, Marc

184.

01 Jan 2007

Software

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

185.

01 Jan 2013

Software

FlowStates Toolkit
Programming Interactive Applications with Data Flow and State Machines

APPERT, Caroline

186.

18 Feb 2014

Software

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

APPERT, Caroline

187.

24 May 2018

Software

TouchTokens
Low-cost Solution for Tangible Interfaces

APPERT, Caroline

188.

01 Jan 2013

Software

Touchstone
Software platform for designing and running controlled experiments

APPERT, Caroline

189.

27 Jan 2015

Software

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

190.

13 May 2013

Software

WXD
Text editor

AMAR, Patrick

191.

01 Jan 2018

Software

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

192.

01 Jan 2014

Software

HSIM
Hyperstructure Simulator

AMAR, Patrick

193.

24 Nov 2014

Software

Voeux
Teaching service management system

AMAR, Patrick

194.

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

195.

01 Jan 2010

Software

Qolyester
implementation from scratch of the OLSR protocol

AL AGHA, Khaldoun

196.

01 Jan 2006

Patent

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

AL AGHA, Khaldoun

197.

11 Dec 2009

Patent

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

AL AGHA, Khaldoun

198.

01 Jan 2017

Software

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

AIT-SADOUNE, Idir

199.

01 Jan 2007

Software

OptimAX
Algebraic optimizer for Active XML

ABITEBOUL, Serge

200.

01 Jan 2005

Software

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge