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
176.
31 janv. 2017
Logiciel
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes
SAFAR, Brigitte
177.
01 janv. 2011
Logiciel
AlignViz
AlignViz
SAFAR, Brigitte
178.
01 janv. 2011
Logiciel
LN2R-LT
Une méthode Logique et une méthode Numérique pour la Réconciliation de Références
SAÏS, Fatiha
179.
26 mars 2006
Logiciel
XTAB2SML
Outil d'annotation sémantique de tableaux guidée par une ontologie
SAÏS, Fatiha
180.
01 nov. 2009
Logiciel
GUIDE
A Graphical User Interface for EA C++ library developpment
SCHOENAUER, Marc
181.
01 juin 2005
Logiciel
Django
theta-subsumption test for Relational Learning
SEBAG, Michèle
182.
07 janv. 2008
Logiciel
GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability
SIMON, Laurent
183.
01 janv. 2013
Logiciel
Glucose
The solver that looks for glue clauses
SIMON, Laurent
184.
20 juil. 2014
Logiciel
TemporalOCL
Temporal OCL Plugin for Eclipse
TAHA, Safouan
185.
01 janv. 2010
logiciel
CAPSULE
CAPSULE
TEMAM, Olivier
186.
01 janv. 2010
Logiciel
Unisim
UNISIM: UNIted SIMulation environment
TEMAM, Olivier
187.
01 janv. 2010
logiciel
Polyhedral Transformation in Open64
Polyhedral Transformation in Open64
TEMAM, Olivier
188.
01 janv. 2014
Logiciel
MoGo
Computer-Go program
TEYTAUD, Olivier
189.
01 janv. 2010
Logiciel
Mash-WP6
Goal planning framework
TEYTAUD, Olivier
190.
01 janv. 2014
Logiciel
Metis
Metis
TEYTAUD, Olivier
191.
01 janv. 2010
Logiciel
Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library
TEYTAUD, Olivier
192.
30 sept. 2011
Logiciel
SHIRI-Annot
Incremental Ontology-based Extraction and Alignment in Semi-Structured Documents
THIAM, Mouhamadou
193.
01 déc. 2017
Logiciel
Sage-Combinat
Améliorer les fonctionnalités combinatoires de Sage
THIÉRY, Nicolas
194.
01 déc. 2017
Logiciel
SageMath
Un logiciel open-source de mathématiques générales
THIÉRY, Nicolas
195.
18 déc. 2006
Logiciel
FAIL-FCI
Langage d'injection de fautes
TIXEUIL, Sébastien
196.
05 déc. 2005
Logiciel
AuGuSTe
Test statistique de programmes C
VOISIN, Frédéric
197.
06 juin 2012
Logiciel
aSHIIP
A random topology generator of interdomain
WEISSER, Marc-Antoine
198.
01 déc. 2013
Logiciel
Isabelle/HOL
Isabelle/HOL
WENZEL, Markus
199.
13 nov. 2017
Logiciel
HOL-TestGen
Générateur de tests à partir de spécifications HOL
WOLFF, Burkhart
200.
16 juin 2008
Logiciel
Le Système HOL-Z
Un système de preuve pour la Méthode Z
WOLFF, Burkhart
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 8 sur 9]