Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
26.
02 Aug 2009
Software
Piplib
Parametric Integer Programming Library
BASTOUL, Cédric
27.
30 Oct 2008
Software
FM
FM: the Fourier-Motzkin library
BASTOUL, Cédric
28.
20 Jan 2014
Software
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
29.
11 Oct 2013
Software
CLooG
Chunky Loop Generator
BASTOUL, Cédric
30.
12 Apr 2012
Software
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
31.
10 Feb 2014
Software
OpenScop
OpenScop
BASTOUL, Cédric
32.
16 Feb 2008
Software
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
33.
01 Jan 2013
Software
Scotty
User Interface Programming at Run Time
BEAUDOUIN-LAFON, Michel
34.
01 Jan 2013
Software
Substance
Programming framework and middleware for developing distributed interactive application
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.
03 Oct 2012
Software
Coq.FP2
Coq.FP2
BOLDO, Sylvie
41.
07 Sep 2017
Software
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
42.
10 Jan 2014
Software
Flocq Library
Flocq Library
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]