Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
1.
09 Jul 2008
Software
Active XML
Declarative specification of Web applications
ABITEBOUL, Serge
2.
01 Jan 2007
Software
OptimAX
Algebraic optimizer for Active XML
ABITEBOUL, Serge
3.
01 Jan 2005
Software
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
4.
01 Jan 2007
Software
ULoad
Management of XML views
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.
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
8.
01 Jan 2010
Software
Qolyester
implementation from scratch of the OLSR protocol
AL AGHA, Khaldoun
9.
01 Jan 2006
Patent
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
10.
24 Nov 2014
Software
Voeux
Teaching service management system
AMAR, Patrick
11.
01 Jan 2018
Software
Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system
AMAR, Patrick
12.
01 Jan 2014
Software
HSIM
Hyperstructure Simulator
AMAR, Patrick
13.
27 Jan 2015
Software
Orphea
Pseudo-knot RNA sequence finder
AMAR, Patrick
14.
13 May 2013
Software
WXD
Text editor
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.
18 Feb 2014
Software
SwingStates
An extension to the Java Swing toolkit based on state machines
APPERT, Caroline
18.
24 May 2018
Software
TouchTokens
Low-cost Solution for Tangible Interfaces
APPERT, Caroline
19.
01 Jan 2007
Software
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
20.
01 Nov 2017
Software
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
21.
01 Jul 2015
Software
RBT solver
Random Butterfly Transformations
BABOULIN, Marc
22.
01 Apr 2015
Software
SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations
BABOULIN, Marc
23.
01 Jan 1970
Software
Pactole
Coq formalisation a mobile sensors networks.
BALABONSKI, Thibaut
24.
03 Dec 2012
Software
PoCC
the Polyhedral Compiler Collection
BASTOUL, Cédric
25.
02 Aug 2009
Software
Piplib
Parametric Integer Programming Library
BASTOUL, Cédric
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 1 sur 9]