Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
176.
02 Aug 2009
Software
Piplib
Parametric Integer Programming Library
BASTOUL, Cédric
177.
30 Oct 2008
Software
FM
FM: the Fourier-Motzkin library
BASTOUL, Cédric
178.
20 Jan 2014
Software
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
179.
11 Oct 2013
Software
CLooG
Chunky Loop Generator
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.
18 Feb 2014
Software
SwingStates
An extension to the Java Swing toolkit based on state machines
APPERT, Caroline
186.
24 May 2018
Software
TouchTokens
Low-cost Solution for Tangible Interfaces
APPERT, Caroline
187.
01 Jan 2013
Software
Touchstone
Software platform for designing and running controlled experiments
APPERT, Caroline
188.
01 Jan 2013
Software
FlowStates Toolkit
Programming Interactive Applications with Data Flow and State Machines
APPERT, Caroline
189.
13 May 2013
Software
WXD
Text editor
AMAR, Patrick
190.
01 Jan 2018
Software
Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system
AMAR, Patrick
191.
24 Nov 2014
Software
Voeux
Teaching service management system
AMAR, Patrick
192.
01 Jan 2014
Software
HSIM
Hyperstructure Simulator
AMAR, Patrick
193.
27 Jan 2015
Software
Orphea
Pseudo-knot RNA sequence finder
AMAR, Patrick
194.
01 Jan 2006
Patent
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
195.
11 Dec 2009
Patent
FR0958890
A method for quality-based routing in a multi-hop network
AL AGHA, Khaldoun
196.
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
197.
01 Jan 2010
Software
Qolyester
implementation from scratch of the OLSR protocol
AL AGHA, Khaldoun
198.
01 Jan 2017
Software
OntoEvent-B
A Generator of Event-B contexts from Ontologies
AIT-SADOUNE, Idir
199.
01 Jan 2005
Software
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
200.
01 Jan 2007
Software
ULoad
Management of XML views
ABITEBOUL, Serge
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 8 sur 9]