Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
151.
20 Jul 2014
Software
TemporalOCL
Temporal OCL Plugin for Eclipse
TAHA, Safouan
152.
16 Aug 2014
Software
Quaff
Quaff: Dataflow EDSL for Parallel Programming
FALCOU, Joël
153.
22 Sep 2014
Software
Causalex
Causality Graph Explorer
PAULEVE, Loïc
154.
03 Oct 2014
Software
NT2
The Numerical Template Toolbox
FALCOU, Joël
155.
24 Nov 2014
Software
Voeux
Teaching service management system
AMAR, Patrick
156.
04 Dec 2014
Software
Why3
The Why3 platform
FILLIÂTRE, Jean-Christophe
157.
01 Jan 2015
Software
PigReuse
2 platform for specifying and exploiting warehouses of RDF data
CAMACHO RODRIGUEZ, Jesus
158.
27 Jan 2015
Software
Orphea
Pseudo-knot RNA sequence finder
AMAR, Patrick
159.
11 Mar 2015
Software
ZVTM
Zoomable Visual Transformation Machine
PIETRIGA, Emmanuel
160.
11 Mar 2015
Software
ZGRViewer
A GraphViz/DOT Viewer
PIETRIGA, Emmanuel
161.
01 Apr 2015
Software
SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations
BABOULIN, Marc
162.
01 Jun 2015
Software
UnityCluster
Distributed Unity3D application middleware
FLEURY, Cédric
163.
01 Jul 2015
Software
RBT solver
Random Butterfly Transformations
BABOULIN, Marc
164.
10 Jul 2015
Software
WildOS
Middleware for interactive rooms
BEAUDOUIN-LAFON, Michel
165.
26 Oct 2015
Software
Coq-Combi
Algebraic combinatorics in Coq
HIVERT, Florent
166.
01 Mar 2016
Software
VICKEY
Mining Conditional Keys on Knowledge Bases
PERNELLE-MANSCOUR, Nathalie
167.
01 Mar 2016
Software
SMTCoq
Coq plugin that checks proof witnesses coming from external SAT and SMT solvers
KELLER, Chantal
168.
01 Sep 2016
Software
CQAPri
Consistent Query Answering with Priorities
BOURGAUX, Camille
169.
01 Jan 2017
Software
OntoEvent-B
A Generator of Event-B contexts from Ontologies
AIT-SADOUNE, Idir
170.
09 Jan 2017
Software
Gappa
Gappa, a tool for certifying numerical applications
MELQUIOND, Guillaume
171.
31 Jan 2017
Software
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes
SAFAR, Brigitte
172.
30 Jun 2017
Software
DIGISCAPE
Telepresence middleware
GLADIN, Olivier
173.
15 Aug 2017
Software
HOL-OCL
A proof system for UML/OCL
WOLFF, Burkhart
174.
15 Aug 2017
Software
GARN
Game Algorithms for RNa 3D sampling
COHEN, Johanne
175.
07 Sep 2017
Software
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 7 sur 9]