Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
176.
01 Jul 2008
Software
GenoQuery
Querying genomic data warehouse
FROIDEVAUX, Christine
177.
16 Jun 2008
Software
Le Système HOL-Z
The HOL-Z System
WOLFF, Burkhart
178.
05 May 2008
Software
XtremWeb
Open Source Platform for Desktop Grid Computing
CAPPELLO, Franck
179.
15 Apr 2008
Software
FROIDEVAUX, Christine
180.
16 Feb 2008
Software
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
181.
07 Jan 2008
Software
GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability
SIMON, Laurent
182.
14 Jul 2007
Software
SIMBAD
Simbad, A mobile robot simulator for Autonomous and Evolutionary Robotics
BREDECHE, Nicolas
183.
01 May 2007
Software
MPICH-V
Message Passing Interface For Volatile Resources
HERAULT, Thomas
184.
01 May 2007
Software
IsaViz
A visual environment for browsing and authoring RDF models
PIETRIGA, Emmanuel
185.
01 Jan 2007
Software
OptimAX
Algebraic optimizer for Active XML
ABITEBOUL, Serge
186.
01 Jan 2007
Software
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
187.
01 Jan 2007
Software
ULoad
Management of XML views
ABITEBOUL, Serge
188.
01 Jan 2007
Software
Program
Program : Programming with Dependent Types in Coq
PAULIN-MOHRING, Christine
189.
01 Jan 2007
Software
sALLUSTe
Statistical Testing based on Lustre Descriptions
GAUDEL, Marie-Claude
190.
18 Dec 2006
Software
FAIL-FCI
Fault Injection Language - Fail Cluster Implementation
TIXEUIL, Sébastien
191.
01 Apr 2006
Software
Lucid Synchrone
Lucid Synchrone
POUZET, Marc
192.
26 Mar 2006
Software
XTAB2SML
Tool for ontology driven semantic annotation of data tables.
SAÏS, Fatiha
193.
01 Jan 2006
Software
KadoP
XML indexing and querying in P2P
MANOLESCU-GOUJOT, Ioana
194.
01 Jan 2006
Patent
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
195.
05 Dec 2005
Software
AuGuSTe
Statistical Testing of C Programs
VOISIN, Frédéric
196.
01 Jun 2005
Software
Django
theta-subsumption test for Relational Learning
SEBAG, Michèle
197.
01 Jan 2005
Software
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
198.
01 Jan 2005
Software
IDéeBD
IDéeBD
DELAËT, Sylvie
199.
17 Sep 2004
Software
Caduceus
Caduceus Tool for C Program Verification
FILLIÂTRE, Jean-Christophe
200.
20 Jan 2001
Patent
Traffic unification in wild networks
Traffic unification in wild networks
MARTIN, Steven
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 8 sur 9]