Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
151.
01 Jan 2013
Software
V-DS
Virtualization environment for large-scale Distributed Systems
CAPPELLO, Franck
152.
01 Jan 2014
Software
PAXQuery
massively parallel processing of XQuery queries
CAMACHO RODRIGUEZ, Jesus
153.
01 Jan 2014
Software
AMADA
AMADA
CAMACHO RODRIGUEZ, Jesus
154.
01 Jan 2015
Software
PigReuse
2 platform for specifying and exploiting warehouses of RDF data
CAMACHO RODRIGUEZ, Jesus
155.
02 Dec 2019
Software
CARTOLABE
CARTOLABE
CAILLOU, Philippe
156.
14 Jul 2007
Software
SIMBAD
Simbad, A mobile robot simulator for Autonomous and Evolutionary Robotics
BREDECHE, Nicolas
157.
01 Sep 2016
Software
CQAPri
Consistent Query Answering with Priorities
BOURGAUX, Camille
158.
17 Jul 2014
Software
ModHelX
ModHel'X - A framework for heterogeneous modeling
BOULANGER, Frédéric
159.
22 Sep 2017
Patent
Synchro CORAC
Synchronization mechanism for critical systems
BOULANGER, Frédéric
160.
20 Apr 2018
Software
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
161.
10 Jan 2014
Software
Flocq Library
Flocq Library
BOLDO, Sylvie
162.
07 Sep 2017
Software
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
163.
01 Jan 2013
Software
Pff library
Pff library
BOLDO, Sylvie
164.
03 Oct 2012
Software
Coq.FP2
Coq.FP2
BOLDO, Sylvie
165.
01 Jan 2013
Software
XPUQ
XML Partitioning for Updates and Queries
BIDOIT, Nicole
166.
10 Feb 2012
Software
CDuce
CDuce an XML centric Programmimg Language
BENZAKEN, Véronique
167.
01 Jan 2013
Software
Substance
Programming framework and middleware for developing distributed interactive application
BEAUDOUIN-LAFON, Michel
168.
10 Jul 2015
Software
WildOS
Middleware for interactive rooms
BEAUDOUIN-LAFON, Michel
169.
01 Jan 2014
Software
GlideCursor
Inertial cursor
BEAUDOUIN-LAFON, Michel
170.
01 Jan 2013
Software
Scotty
User Interface Programming at Run Time
BEAUDOUIN-LAFON, Michel
171.
12 Apr 2012
Software
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
172.
10 Feb 2014
Software
OpenScop
OpenScop
BASTOUL, Cédric
173.
16 Feb 2008
Software
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
174.
03 Dec 2012
Software
PoCC
the Polyhedral Compiler Collection
BASTOUL, Cédric
175.
02 Aug 2009
Software
Piplib
Parametric Integer Programming Library
BASTOUL, Cédric
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 7 sur 9]