Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
26.
22 Sep 2017
Patent
Synchro CORAC
Synchronization mechanism for critical systems
BOULANGER, Frédéric
27.
15 Sep 2017
Software
Coq.Interval
The Coq.Interval library for automatically proving bounds of real-valued expressions
MELQUIOND, Guillaume
28.
07 Sep 2017
Software
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
29.
15 Aug 2017
Software
GARN
Game Algorithms for RNa 3D sampling
COHEN, Johanne
30.
15 Aug 2017
Software
HOL-OCL
A proof system for UML/OCL
WOLFF, Burkhart
31.
30 Jun 2017
Software
DIGISCAPE
Telepresence middleware
GLADIN, Olivier
32.
31 Jan 2017
Software
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes
SAFAR, Brigitte
33.
09 Jan 2017
Software
Gappa
Gappa, a tool for certifying numerical applications
MELQUIOND, Guillaume
34.
01 Jan 2017
Software
OntoEvent-B
A Generator of Event-B contexts from Ontologies
AIT-SADOUNE, Idir
35.
01 Sep 2016
Software
CQAPri
Consistent Query Answering with Priorities
BOURGAUX, Camille
36.
01 Mar 2016
Software
VICKEY
Mining Conditional Keys on Knowledge Bases
PERNELLE-MANSCOUR, Nathalie
37.
01 Mar 2016
Software
SMTCoq
Coq plugin that checks proof witnesses coming from external SAT and SMT solvers
KELLER, Chantal
38.
26 Oct 2015
Software
Coq-Combi
Algebraic combinatorics in Coq
HIVERT, Florent
39.
10 Jul 2015
Software
WildOS
Middleware for interactive rooms
BEAUDOUIN-LAFON, Michel
40.
01 Jul 2015
Software
RBT solver
Random Butterfly Transformations
BABOULIN, Marc
41.
01 Jun 2015
Software
UnityCluster
Distributed Unity3D application middleware
FLEURY, Cédric
42.
01 Apr 2015
Software
SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations
BABOULIN, Marc
43.
11 Mar 2015
Software
ZVTM
Zoomable Visual Transformation Machine
PIETRIGA, Emmanuel
44.
11 Mar 2015
Software
ZGRViewer
A GraphViz/DOT Viewer
PIETRIGA, Emmanuel
45.
27 Jan 2015
Software
Orphea
Pseudo-knot RNA sequence finder
AMAR, Patrick
46.
01 Jan 2015
Software
PigReuse
2 platform for specifying and exploiting warehouses of RDF data
CAMACHO RODRIGUEZ, Jesus
47.
04 Dec 2014
Software
Why3
The Why3 platform
FILLIÂTRE, Jean-Christophe
48.
24 Nov 2014
Software
Voeux
Teaching service management system
AMAR, Patrick
49.
03 Oct 2014
Software
NT2
The Numerical Template Toolbox
FALCOU, Joël
50.
22 Sep 2014
Software
Causalex
Causality Graph Explorer
PAULEVE, Loïc
Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 2 sur 9]