1.

01 Jan 2007

Software

OptimAX
Algebraic optimizer for Active XML

ABITEBOUL, Serge

2.

01 Jan 2005

Software

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge

3.

01 Jan 2007

Software

ULoad
Management of XML views

ABITEBOUL, Serge

4.

09 Jul 2008

Software

Active XML
Declarative specification of Web applications

ABITEBOUL, Serge

5.

01 Jan 2017

Software

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

AIT-SADOUNE, Idir

6.

11 Dec 2009

Patent

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

AL AGHA, Khaldoun

7.

01 Jan 2010

Software

Qolyester
implementation from scratch of the OLSR protocol

AL AGHA, Khaldoun

8.

01 Jan 2006

Patent

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

AL AGHA, Khaldoun

9.

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

10.

27 Jan 2015

Software

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

11.

01 Jan 2014

Software

HSIM
Hyperstructure Simulator

AMAR, Patrick

12.

13 May 2013

Software

WXD
Text editor

AMAR, Patrick

13.

01 Jan 2018

Software

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

14.

24 Nov 2014

Software

Voeux
Teaching service management system

AMAR, Patrick

15.

01 Jan 2013

Software

Touchstone
Software platform for designing and running controlled experiments

APPERT, Caroline

16.

01 Jan 2013

Software

FlowStates Toolkit
Programming Interactive Applications with Data Flow and State Machines

APPERT, Caroline

17.

24 May 2018

Software

TouchTokens
Low-cost Solution for Tangible Interfaces

APPERT, Caroline

18.

18 Feb 2014

Software

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

APPERT, Caroline

19.

01 Jan 2007

Software

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

20.

01 Jul 2015

Software

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

21.

01 Apr 2015

Software

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

BABOULIN, Marc

22.

01 Nov 2017

Software

MAGMA
Contribution to numerical linear algebra libraries

BABOULIN, Marc

23.

01 Jan 1970

Software

Pactole
Coq formalisation a mobile sensors networks.

BALABONSKI, Thibaut

24.

02 Aug 2009

Software

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

25.

30 Oct 2008

Software

FM
FM: the Fourier-Motzkin library

BASTOUL, Cédric