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
151.
24 août 2009
Logiciel
Núcleo
Boîte à outils núcleo
CHAPUIS, Olivier
152.
07 août 2009
Logiciel
NestedAlign
Pairwise RNA secondary structure comparison
DENISE, Alain
153.
02 août 2009
Logiciel
Piplib
Parametric Integer Programming Library
BASTOUL, Cédric
154.
01 août 2009
Logiciel
MESAM
MESAM
REYNAUD, Chantal
155.
24 avril 2009
Logiciel
TARGET
Adaptative ontology-based Web search framework
REYNAUD, Chantal
156.
11 mars 2009
Logiciel
GCC ICI
GCC Interactive Compilation Interface
FURSIN, Grigori
157.
30 oct. 2008
Logiciel
FM
FM: the Fourier-Motzkin library
BASTOUL, Cédric
158.
09 juil. 2008
Logiciel
Active XML
Spécification déclarative d'applications Web
ABITEBOUL, Serge
159.
01 juil. 2008
Logiciel
GenoQuery
Querying genomic data warehouse
FROIDEVAUX, Christine
160.
16 juin 2008
Logiciel
Le Système HOL-Z
Un système de preuve pour la Méthode Z
WOLFF, Burkhart
161.
05 mai 2008
Logiciel
XtremWeb
plateforme de calcul global pair à pair
CAPPELLO, Franck
162.
15 avril 2008
Logiciel
Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee: Detecting and visualising Sequential Nuggets of Knowledge
FROIDEVAUX, Christine
163.
16 févr. 2008
Logiciel
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
164.
07 janv. 2008
Logiciel
GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability
SIMON, Laurent
165.
14 juil. 2007
Logiciel
SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics
BREDECHE, Nicolas
166.
01 mai 2007
Logiciel
IsaViz
A visual environment for browsing and authoring RDF models
PIETRIGA, Emmanuel
167.
01 mai 2007
Logiciel
MPICH-V
Interface àpassage de messages pour les ressources volatiles
HERAULT, Thomas
168.
01 janv. 2007
Logiciel
Program
Program : un langage de programmation avec types dépendants dans Coq
PAULIN-MOHRING, Christine
169.
01 janv. 2007
Logiciel
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
170.
01 janv. 2007
Logiciel
OptimAX
Optimiseur algébrique pour Active XML
ABITEBOUL, Serge
171.
01 janv. 2007
Logiciel
sALLUSTe
Test Statistique de programmes Lustre
GAUDEL, Marie-Claude
172.
01 janv. 2007
Logiciel
ULoad
Gestionnaire de vues XML
ABITEBOUL, Serge
173.
18 déc. 2006
Logiciel
FAIL-FCI
Langage d'injection de fautes
TIXEUIL, Sébastien
174.
15 août 2006
Logiciel
HOL-OCL
Un systeme de preuve pour UML/OCL
WOLFF, Burkhart
175.
01 avril 2006
Logiciel
Lucid Synchrone
Lucid Synchrone
POUZET, Marc
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - Suivant [Page 7 sur 8]