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 1970
Software
Pactole
Coq formalisation a mobile sensors networks.
BALABONSKI, Thibaut
2.
01 Jun 2000
Software
OntoClass & OntoQuery
Query engine for mediators based on query rewriting using views
GOASDOUE, François
3.
20 Jan 2001
Patent
Traffic unification in wild networks
Traffic unification in wild networks
MARTIN, Steven
4.
17 Sep 2004
Software
Caduceus
Caduceus Tool for C Program Verification
FILLIÂTRE, Jean-Christophe
5.
01 Jan 2005
Software
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
6.
01 Jan 2005
Software
IDéeBD
IDéeBD
DELAËT, Sylvie
7.
01 Jun 2005
Software
Django
theta-subsumption test for Relational Learning
SEBAG, Michèle
8.
05 Dec 2005
Software
AuGuSTe
Statistical Testing of C Programs
VOISIN, Frédéric
9.
01 Jan 2006
Software
KadoP
XML indexing and querying in P2P
MANOLESCU-GOUJOT, Ioana
10.
01 Jan 2006
Patent
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
11.
26 Mar 2006
Software
XTAB2SML
Tool for ontology driven semantic annotation of data tables.
SAÏS, Fatiha
12.
01 Apr 2006
Software
Lucid Synchrone
Lucid Synchrone
POUZET, Marc
13.
18 Dec 2006
Software
FAIL-FCI
Fault Injection Language - Fail Cluster Implementation
TIXEUIL, Sébastien
14.
01 Jan 2007
Software
Program
Program : Programming with Dependent Types in Coq
PAULIN-MOHRING, Christine
15.
01 Jan 2007
Software
sALLUSTe
Statistical Testing based on Lustre Descriptions
GAUDEL, Marie-Claude
16.
01 Jan 2007
Software
OptimAX
Algebraic optimizer for Active XML
ABITEBOUL, Serge
17.
01 Jan 2007
Software
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
18.
01 Jan 2007
Software
ULoad
Management of XML views
ABITEBOUL, Serge
19.
01 May 2007
Software
MPICH-V
Message Passing Interface For Volatile Resources
HERAULT, Thomas
20.
01 May 2007
Software
IsaViz
A visual environment for browsing and authoring RDF models
PIETRIGA, Emmanuel
21.
14 Jul 2007
Software
SIMBAD
Simbad, A mobile robot simulator for Autonomous and Evolutionary Robotics
BREDECHE, Nicolas
22.
07 Jan 2008
Software
GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability
SIMON, Laurent
23.
16 Feb 2008
Software
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
24.
15 Apr 2008
Software
FROIDEVAUX, Christine
25.
05 May 2008
Software
XtremWeb
Open Source Platform for Desktop Grid Computing
CAPPELLO, Franck
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 1 sur 9]