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
1.
25 sept. 2017
Logiciel
Pint
Static analyzer for dynamics of Automata Networks
PAULEVE, Loïc
2.
31 janv. 2017
Logiciel
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes
SAFAR, Brigitte
3.
23 janv. 2017
Logiciel
Sage-Combinat
Améliorer les fonctionnalités combinatoires de Sage
THIÉRY, Nicolas
4.
20 oct. 2016
Logiciel
Sage
Un logiciel open-source de mathématiques générales
THIÉRY, Nicolas
5.
11 mars 2015
Logiciel
ZGRViewer
A GraphViz/DOT Viewer
PIETRIGA, Emmanuel
6.
11 mars 2015
Logiciel
ZVTM
Zoomable Visual Transformation Machine
PIETRIGA, Emmanuel
7.
03 févr. 2015
Logiciel
Smarties
The Smarties Input System
CHAPUIS, Olivier
8.
04 déc. 2014
Logiciel
Why3
La plateforme Why3
FILLIÂTRE, Jean-Christophe
9.
24 nov. 2014
Logiciel
Voeux
Gestion des services d'enseignement
AMAR, Patrick
10.
28 oct. 2014
Logiciel
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
11.
03 oct. 2014
Logiciel
NT2
The Numerical Template Toolbox
FALCOU, Joël
12.
22 sept. 2014
Logiciel
Causalex
Causality Graph Explorer
PAULEVE, Loïc
13.
01 sept. 2014
Logiciel
CQAPri
Consistent Query Answering with Priorities
BOURGAUX, Camille
14.
16 août 2014
Logiciel
Quaff
Quaff: Dataflow EDSL for Parallel Programming
FALCOU, Joël
15.
17 juil. 2014
Logiciel
ModHelX
ModHel'X - A framework for heterogeneous modeling
BOULANGER, Frédéric
16.
13 juin 2014
Logiciel
ConQuR-Bio
ConQuR-Bio
COHEN-BOULAKIA, Sarah
17.
12 avril 2014
Logiciel
Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification
CONTEJEAN, Evelyne
18.
06 mars 2014
Logiciel
SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations
BABOULIN, Marc
19.
06 mars 2014
Logiciel
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
20.
05 mars 2014
Logiciel
Functory
place where functional workers are manufacturing programs
FILLIÂTRE, Jean-Christophe
21.
18 févr. 2014
Logiciel
SwingStates
Une extension de Java Swing basée sur les machines à états
APPERT, Caroline
22.
10 févr. 2014
Logiciel
OpenScop
OpenScop
BASTOUL, Cédric
23.
04 févr. 2014
Logiciel
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
24.
04 févr. 2014
Logiciel
ocamlgraph
bibliothèque de graphes pour Ocaml
FILLIÂTRE, Jean-Christophe
25.
20 janv. 2014
Logiciel
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
1 - 2 - 3 - 4 - 5 - 6 - 7 - Suivant [Page 1 sur 7]