176.

10 Feb 2014

Software

OpenScop
OpenScop

BASTOUL, Cédric

177.

16 Feb 2008

Software

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

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

01 Jan 2013

Software

Touchstone
Software platform for designing and running controlled experiments

APPERT, Caroline

186.

24 May 2018

Software

TouchTokens
Low-cost Solution for Tangible Interfaces

APPERT, Caroline

187.

01 Jan 2013

Software

FlowStates Toolkit
Programming Interactive Applications with Data Flow and State Machines

APPERT, Caroline

188.

18 Feb 2014

Software

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

APPERT, Caroline

189.

01 Jan 2018

Software

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

190.

13 May 2013

Software

WXD
Text editor

AMAR, Patrick

191.

24 Nov 2014

Software

Voeux
Teaching service management system

AMAR, Patrick

192.

27 Jan 2015

Software

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

193.

01 Jan 2014

Software

HSIM
Hyperstructure Simulator

AMAR, Patrick

194.

01 Jan 2010

Software

Qolyester
implementation from scratch of the OLSR protocol

AL AGHA, Khaldoun

195.

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

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