Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
26.
07 Nov 2013
Software
Clay
Clay
BASTOUL, Cédric
27.
16 Feb 2008
Software
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
28.
03 Dec 2012
Software
PoCC
the Polyhedral Compiler Collection
BASTOUL, Cédric
29.
02 Aug 2009
Software
Piplib
Parametric Integer Programming Library
BASTOUL, Cédric
30.
30 Oct 2008
Software
FM
FM: the Fourier-Motzkin library
BASTOUL, Cédric
31.
11 Oct 2013
Software
CLooG
Chunky Loop Generator
BASTOUL, Cédric
32.
20 Jan 2014
Software
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
33.
01 Jan 2013
Software
Substance
Programming framework and middleware for developing distributed interactive application
BEAUDOUIN-LAFON, Michel
34.
01 Jan 2013
Software
Scotty
User Interface Programming at Run Time
BEAUDOUIN-LAFON, Michel
35.
10 Jul 2015
Software
WildOS
Middleware for interactive rooms
BEAUDOUIN-LAFON, Michel
36.
01 Jan 2014
Software
GlideCursor
Inertial cursor
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.
10 Jan 2014
Software
Flocq Library
Flocq Library
BOLDO, Sylvie
41.
07 Sep 2017
Software
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
42.
03 Oct 2012
Software
Coq.FP2
Coq.FP2
BOLDO, Sylvie
43.
20 Apr 2018
Software
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
44.
17 Jul 2014
Software
ModHelX
ModHel'X - A framework for heterogeneous modeling
BOULANGER, Frédéric
45.
22 Sep 2017
Patent
Synchro CORAC
Synchronization mechanism for critical systems
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 2015
Software
PigReuse
2 platform for specifying and exploiting warehouses of RDF data
CAMACHO RODRIGUEZ, Jesus
50.
01 Jan 2014
Software
PAXQuery
massively parallel processing of XQuery queries
CAMACHO RODRIGUEZ, Jesus
Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 2 sur 9]