Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
1.
01 Jan 2005
Software
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
2.
01 Jan 2007
Software
ULoad
Management of XML views
ABITEBOUL, Serge
3.
09 Jul 2008
Software
Active XML
Declarative specification of Web applications
ABITEBOUL, Serge
4.
01 Jan 2007
Software
OptimAX
Algebraic optimizer for Active XML
ABITEBOUL, Serge
5.
01 Jan 2017
Software
OntoEvent-B
A Generator of Event-B contexts from Ontologies
AIT-SADOUNE, Idir
6.
01 Jan 2006
Patent
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
7.
11 Dec 2009
Patent
FR0958890
A method for quality-based routing in a multi-hop network
AL AGHA, Khaldoun
8.
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
9.
01 Jan 2010
Software
Qolyester
implementation from scratch of the OLSR protocol
AL AGHA, Khaldoun
10.
13 May 2013
Software
WXD
Text editor
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.
24 Nov 2014
Software
Voeux
Teaching service management system
AMAR, Patrick
14.
27 Jan 2015
Software
Orphea
Pseudo-knot RNA sequence finder
AMAR, Patrick
15.
18 Feb 2014
Software
SwingStates
An extension to the Java Swing toolkit based on state machines
APPERT, Caroline
16.
24 May 2018
Software
TouchTokens
Low-cost Solution for Tangible Interfaces
APPERT, Caroline
17.
01 Jan 2013
Software
Touchstone
Software platform for designing and running controlled experiments
APPERT, Caroline
18.
01 Jan 2013
Software
FlowStates Toolkit
Programming Interactive Applications with Data Flow and State Machines
APPERT, Caroline
19.
01 Jan 2007
Software
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
20.
01 Apr 2015
Software
SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations
BABOULIN, Marc
21.
01 Nov 2017
Software
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
22.
01 Jul 2015
Software
RBT solver
Random Butterfly Transformations
BABOULIN, Marc
23.
01 Jan 1970
Software
Pactole
Coq formalisation a mobile sensors networks.
BALABONSKI, Thibaut
24.
12 Apr 2012
Software
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
25.
10 Feb 2014
Software
OpenScop
OpenScop
BASTOUL, Cédric
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 1 sur 9]