Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
176.
31 Jan 2017
Software
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes
SAFAR, Brigitte
177.
01 Jan 2011
Software
AlignViz
AlignViz
SAFAR, Brigitte
178.
01 Jan 2011
Software
LN2R-LT
A Logical method and a Numerical method for Reference Reconciliation
SAÏS, Fatiha
179.
26 Mar 2006
Software
XTAB2SML
Tool for ontology driven semantic annotation of data tables.
SAÏS, Fatiha
180.
01 Nov 2009
Software
GUIDE
A Graphical User Interface for EA C++ library developpment
SCHOENAUER, Marc
181.
01 Jun 2005
Software
Django
theta-subsumption test for Relational Learning
SEBAG, Michèle
182.
07 Jan 2008
Software
GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability
SIMON, Laurent
183.
01 Jan 2013
Software
Glucose
The solver that looks for glue clauses
SIMON, Laurent
184.
20 Jul 2014
Software
TemporalOCL
Temporal OCL Plugin for Eclipse
TAHA, Safouan
185.
01 Jan 2010
Software
Polyhedral Transformation in Open64
Polyhedral Transformation in Open64
TEMAM, Olivier
186.
01 Jan 2010
Software
CAPSULE
CAPSULE
TEMAM, Olivier
187.
01 Jan 2010
Software
Unisim
UNISIM: UNIted SIMulation environment
TEMAM, Olivier
188.
01 Jan 2014
Software
MoGo
Computer-Go program
TEYTAUD, Olivier
189.
01 Jan 2010
Software
Mash-WP6
A stochastic dynamic programming framework
TEYTAUD, Olivier
190.
01 Jan 2014
Software
Metis
Metis
TEYTAUD, Olivier
191.
01 Jan 2010
Software
Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library
TEYTAUD, Olivier
192.
30 Sep 2011
Software
SHIRI-Annot
ncremental Ontology-based Extraction and Alignment in Semi-Structured Documents
THIAM, Mouhamadou
193.
01 Dec 2017
Software
Sage-Combinat
To improve the open source mathematical system Sage
THIÉRY, Nicolas
194.
01 Dec 2017
Software
SageMath
A free open-source mathematics software system
THIÉRY, Nicolas
195.
18 Dec 2006
Software
FAIL-FCI
Fault Injection Language - Fail Cluster Implementation
TIXEUIL, Sébastien
196.
05 Dec 2005
Software
AuGuSTe
Statistical Testing of C Programs
VOISIN, Frédéric
197.
06 Jun 2012
Software
aSHIIP
A random topology generator of interdomain
WEISSER, Marc-Antoine
198.
01 Dec 2013
Software
Isabelle/HOL
Isabelle/HOL
WENZEL, Markus
199.
13 Nov 2017
Software
HOL-TestGen
A generator of test-data from HOL specifications
WOLFF, Burkhart
200.
16 Jun 2008
Software
Le Système HOL-Z
The HOL-Z System
WOLFF, Burkhart
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 8 sur 9]