Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciels et brevets
#
Date
Type
Nom et Titre
Responsable
26.
20 janv. 2014
Logiciel
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
27.
11 oct. 2013
Logiciel
CLooG
Chunky Loop Generator
BASTOUL, Cédric
28.
12 avril 2012
Logiciel
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
29.
10 févr. 2014
Logiciel
OpenScop
OpenScop
BASTOUL, Cédric
30.
16 févr. 2008
Logiciel
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
31.
03 déc. 2012
Logiciel
PoCC
the Polyhedral Compiler Collection
BASTOUL, Cédric
32.
02 août 2009
Logiciel
Piplib
Parametric Integer Programming Library
BASTOUL, Cédric
33.
01 janv. 2013
Logiciel
Substance
Programming framework and middleware for developing distributed interactive application
BEAUDOUIN-LAFON, Michel
34.
10 juil. 2015
Logiciel
WildOS
Middleware pour salles interactives
BEAUDOUIN-LAFON, Michel
35.
01 janv. 2014
Logiciel
GlideCursor
Intertial cursor
BEAUDOUIN-LAFON, Michel
36.
01 janv. 2013
Logiciel
Scotty
User Interface Programming at Run Time
BEAUDOUIN-LAFON, Michel
37.
10 févr. 2012
Logiciel
CDuce
CDuce an XML centric Functional Programmimg Language
BENZAKEN, Véronique
38.
01 janv. 2013
Logiciel
XPUQ
XML Partitioning for Updates and Queries
BIDOIT, Nicole
39.
01 janv. 2013
Logiciel
Pff library
Pff library
BOLDO, Sylvie
40.
03 oct. 2012
Logiciel
Coq.FP2
Coq.FP2
BOLDO, Sylvie
41.
10 janv. 2014
Logiciel
Flocq Library
Flocq Library
BOLDO, Sylvie
42.
07 sept. 2017
Logiciel
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
43.
20 avril 2018
Logiciel
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
44.
17 juil. 2014
Logiciel
ModHelX
ModHel'X - A framework for heterogeneous modeling
BOULANGER, Frédéric
45.
22 sept. 2017
Brevet
Synchro CORAC
Procédé de synchronisation pour systèmes critiques
BOULANGER, Frédéric
46.
01 sept. 2016
Logiciel
CQAPri
Consistent Query Answering with Priorities
BOURGAUX, Camille
47.
14 juil. 2007
Logiciel
SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics
BREDECHE, Nicolas
48.
02 déc. 2019
Logiciel
CARTOLABE
CARTOLABE
CAILLOU, Philippe
49.
01 janv. 2015
Logiciel
PigReuse
2 platform for specifying and exploiting warehouses of RDF data
CAMACHO RODRIGUEZ, Jesus
50.
01 janv. 2014
Logiciel
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]