Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
51.
01 Jan 2014
Software
PAXQuery
massively parallel processing of XQuery queries
CAMACHO RODRIGUEZ, Jesus
52.
01 Jan 2013
Software
V-DS
Virtualization environment for large-scale Distributed Systems
CAPPELLO, Franck
53.
01 Jan 2013
Software
PVC
Private Virtual Cluster
CAPPELLO, Franck
54.
01 Jan 2013
Software
OpenWP
OpenWP
CAPPELLO, Franck
55.
05 May 2008
Software
XtremWeb
Open Source Platform for Desktop Grid Computing
CAPPELLO, Franck
56.
24 Aug 2009
Software
NĂșcleo
Video toolkit
CHAPUIS, Olivier
57.
01 Jan 2012
Software
WMTRACE
Logging and visualizing user's window management activity
CHAPUIS, Olivier
58.
20 Oct 2017
Software
Smarties
The Smarties Input System
CHAPUIS, Olivier
59.
01 Jan 2013
Software
Metisse
Windowing System to explore inovative window management techniques
CHAPUIS, Olivier
60.
01 Jan 2014
Software
CFML
CFML
CHARGUERAUD, Arthur
61.
01 Jan 2010
Software
SomeWhere+
Paraconsistent Peer-to-Peer Consequence Finding algorithm
CHATALIC, Philippe
62.
15 Aug 2017
Software
GARN
Game Algorithms for RNa 3D sampling
COHEN, Johanne
63.
22 Jan 2018
Software
ConQuR-Bio
ConQuR-Bio
COHEN-BOULAKIA, Sarah
64.
01 Feb 2013
Software
SPFlow
Rewriting a non SP workflow into an SP workflow while preserving provenance
COHEN-BOULAKIA, Sarah
65.
01 Jan 2013
Software
BioGuide
Guiding scientists through biological sources
COHEN-BOULAKIA, Sarah
66.
01 Jan 2014
Software
GeneValorization
Gene List significance at-a-glance
COHEN-BOULAKIA, Sarah
67.
04 Feb 2013
Software
SPChecker
SPChecker
COHEN-BOULAKIA, Sarah
68.
01 Jan 2013
Software
XupIn
XML query-update independence tester
COLAZZO, Dario
69.
01 Jan 2012
Software
XPIOT
XPIOT
COLAZZO, Dario
70.
01 Jan 2013
Software
XUpTe
XUpTe
COLAZZO, Dario
71.
01 Jan 2013
Software
XupOp
XupOp
COLAZZO, Dario
72.
01 Jan 2014
Software
CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
CONCHON, Sylvain
73.
01 Jan 2014
Software
Alt-Ergo
The Alt-Ergo theorem prover
CONCHON, Sylvain
74.
01 Jan 2013
Software
CiME
CiME: a tool box for automated deduction.
CONTEJEAN, Evelyne
75.
01 Jan 2014
Software
Coccinelle
Coccinelle
CONTEJEAN, Evelyne
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 3 sur 9]