Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
101.
04 Feb 2013
Software
SPChecker
SPChecker
COHEN-BOULAKIA, Sarah
102.
01 Feb 2013
Software
SPFlow
Rewriting a non SP workflow into an SP workflow while preserving provenance
COHEN-BOULAKIA, Sarah
103.
01 Jan 2013
Software
SPIN
Scientific Programming InterNet
PETITON, Serge
104.
01 Jan 2013
Software
XPUQ
XML Partitioning for Updates and Queries
BIDOIT, Nicole
105.
01 Jan 2013
Software
jBricks
Java toolkit for interactive visualization platforms
HUOT, Stéphane
106.
01 Jan 2013
Software
Rna3Dmotif
Software for extracting RNA tertiary motifs
DENISE, Alain
107.
01 Jan 2013
Software
BioGuide
Guiding scientists through biological sources
COHEN-BOULAKIA, Sarah
108.
01 Jan 2013
Software
RDFViews
RDFViews
MANOLESCU-GOUJOT, Ioana
109.
01 Jan 2013
Software
Glucose
The solver that looks for glue clauses
SIMON, Laurent
110.
01 Jan 2013
Software
Pff library
Pff library
BOLDO, Sylvie
111.
01 Jan 2013
Software
PVC
Private Virtual Cluster
CAPPELLO, Franck
112.
01 Jan 2013
Software
V-DS
Virtualization environment for large-scale Distributed Systems
CAPPELLO, Franck
113.
01 Jan 2013
Software
XUpTe
XUpTe
COLAZZO, Dario
114.
01 Jan 2013
Software
APMC
Approximate Probabilistic Model Checker
PEYRONNET, Sylvain
115.
01 Jan 2013
Software
Touchstone
Software platform for designing and running controlled experiments
APPERT, Caroline
116.
01 Jan 2013
Software
CiME
CiME: a tool box for automated deduction.
CONTEJEAN, Evelyne
117.
01 Jan 2013
Software
FlowStates Toolkit
Programming Interactive Applications with Data Flow and State Machines
APPERT, Caroline
118.
01 Jan 2013
Software
OpenWP
OpenWP
CAPPELLO, Franck
119.
01 Jan 2013
Software
ViP2P
views in peer-to-peer
MANOLESCU-GOUJOT, Ioana
120.
01 Jan 2013
Software
Scotty
User Interface Programming at Run Time
BEAUDOUIN-LAFON, Michel
121.
01 Jan 2013
Software
Metisse
Windowing System to explore inovative window management techniques
CHAPUIS, Olivier
122.
01 Jan 2013
Software
XupIn
XML query-update independence tester
COLAZZO, Dario
123.
01 Jan 2013
Software
XupOp
XupOp
COLAZZO, Dario
124.
01 Jan 2013
Software
Substance
Programming framework and middleware for developing distributed interactive application
BEAUDOUIN-LAFON, Michel
125.
03 Dec 2012
Software
PoCC
the Polyhedral Compiler Collection
BASTOUL, Cédric
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 5 sur 9]