Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
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
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 8 sur 9]