Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
1.
31 Jan 2017
Software
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes
SAFAR, Brigitte
2.
23 Jan 2017
Software
Sage-Combinat
To improve the open source mathematical system Sage
THIÉRY, Nicolas
3.
15 Dec 2016
Software
Pint
Static analyzer for dynamics of Automata Networks
PAULEVE, Loïc
4.
20 Oct 2016
Software
Sage
A free open-source mathematics software system
THIÉRY, Nicolas
5.
11 Mar 2015
Software
ZGRViewer
A GraphViz/DOT Viewer
PIETRIGA, Emmanuel
6.
11 Mar 2015
Software
ZVTM
Zoomable Visual Transformation Machine
PIETRIGA, Emmanuel
7.
03 Feb 2015
Software
Smarties
The Smarties Input System
CHAPUIS, Olivier
8.
04 Dec 2014
Software
Why3
The Why3 platform
FILLIÂTRE, Jean-Christophe
9.
24 Nov 2014
Software
Voeux
Teaching service management system
AMAR, Patrick
10.
28 Oct 2014
Software
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
11.
03 Oct 2014
Software
NT2
The Numerical Template Toolbox
FALCOU, Joël
12.
22 Sep 2014
Software
Causalex
Causality Graph Explorer
PAULEVE, Loïc
13.
01 Sep 2014
Software
CQAPri
Consistent Query Answering with Priorities
BOURGAUX, Camille
14.
16 Aug 2014
Software
Quaff
Quaff: Dataflow EDSL for Parallel Programming
FALCOU, Joël
15.
17 Jul 2014
Software
ModHelX
ModHel'X - A framework for heterogeneous modeling
BOULANGER, Frédéric
16.
13 Jun 2014
Software
ConQuR-Bio
ConQuR-Bio
COHEN-BOULAKIA, Sarah
17.
12 Apr 2014
Software
Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification
CONTEJEAN, Evelyne
18.
06 Mar 2014
Software
SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations
BABOULIN, Marc
19.
06 Mar 2014
Software
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
20.
05 Mar 2014
Software
Functory
place where functional workers are manufacturing programs
FILLIÂTRE, Jean-Christophe
21.
18 Feb 2014
Software
SwingStates
An extension to the Java Swing toolkit based on state machines
APPERT, Caroline
22.
10 Feb 2014
Software
OpenScop
OpenScop
BASTOUL, Cédric
23.
04 Feb 2014
Software
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
24.
04 Feb 2014
Software
ocamlgraph
Ocaml graph library
FILLIÂTRE, Jean-Christophe
25.
20 Jan 2014
Software
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
1 - 2 - 3 - 4 - 5 - 6 - 7 - Suivant [Page 1 sur 7]