Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
26.
20 Jan 2014
Software
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
27.
11 Oct 2013
Software
CLooG
Chunky Loop Generator
BASTOUL, Cédric
28.
07 Nov 2013
Software
Clay
Clay
BASTOUL, Cédric
29.
12 Apr 2012
Software
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
30.
10 Feb 2014
Software
OpenScop
OpenScop
BASTOUL, Cédric
31.
16 Feb 2008
Software
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
32.
03 Dec 2012
Software
PoCC
the Polyhedral Compiler Collection
BASTOUL, Cédric
33.
01 Jan 2013
Software
Scotty
User Interface Programming at Run Time
BEAUDOUIN-LAFON, Michel
34.
10 Jul 2015
Software
WildOS
Middleware for interactive rooms
BEAUDOUIN-LAFON, Michel
35.
01 Jan 2014
Software
GlideCursor
Inertial cursor
BEAUDOUIN-LAFON, Michel
36.
01 Jan 2013
Software
Substance
Programming framework and middleware for developing distributed interactive application
BEAUDOUIN-LAFON, Michel
37.
10 Feb 2012
Software
CDuce
CDuce an XML centric Programmimg Language
BENZAKEN, Véronique
38.
01 Jan 2013
Software
XPUQ
XML Partitioning for Updates and Queries
BIDOIT, Nicole
39.
01 Jan 2013
Software
Pff library
Pff library
BOLDO, Sylvie
40.
03 Oct 2012
Software
Coq.FP2
Coq.FP2
BOLDO, Sylvie
41.
10 Jan 2014
Software
Flocq Library
Flocq Library
BOLDO, Sylvie
42.
07 Sep 2017
Software
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
43.
22 Sep 2017
Patent
Synchro CORAC
Synchronization mechanism for critical systems
BOULANGER, Frédéric
44.
20 Apr 2018
Software
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
45.
17 Jul 2014
Software
ModHelX
ModHel'X - A framework for heterogeneous modeling
BOULANGER, Frédéric
46.
01 Sep 2016
Software
CQAPri
Consistent Query Answering with Priorities
BOURGAUX, Camille
47.
14 Jul 2007
Software
SIMBAD
Simbad, A mobile robot simulator for Autonomous and Evolutionary Robotics
BREDECHE, Nicolas
48.
02 Dec 2019
Software
CARTOLABE
CARTOLABE
CAILLOU, Philippe
49.
01 Jan 2014
Software
PAXQuery
massively parallel processing of XQuery queries
CAMACHO RODRIGUEZ, Jesus
50.
01 Jan 2014
Software
AMADA
AMADA
CAMACHO RODRIGUEZ, Jesus
Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 2 sur 9]