51.

01 juil. 2008

Logiciel

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine

52.

07 août 2009

Logiciel

NestedAlign
Pairwise RNA secondary structure comparison

DENISE, Alain

53.

01 janv. 2011

Logiciel

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude

54.

01 sept. 2009

Logiciel

CELL-MPI
Cadriciel MPI pour le processeur CELL

FALCOU, Joël

55.

13 nov. 2017

Logiciel

HOL-TestGen
Générateur de tests à partir de spécifications HOL

WOLFF, Burkhart

56.

15 août 2017

Logiciel

HOL-OCL
Un systeme de preuve pour UML/OCL

WOLFF, Burkhart

57.

01 janv. 2014

Logiciel

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

58.

16 juin 2008

Logiciel

Le Système HOL-Z
Un système de preuve pour la Méthode Z

WOLFF, Burkhart

59.

01 janv. 2014

Logiciel

Mlpost
Mlpost: une interface Objective Caml pour Metapost

FILLIÂTRE, Jean-Christophe

60.

23 sept. 2013

Logiciel

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

61.

11 mars 2015

Logiciel

ZVTM
Zoomable Visual Transformation Machine

PIETRIGA, Emmanuel

62.

11 mars 2015

Logiciel

ZGRViewer
A GraphViz/DOT Viewer

PIETRIGA, Emmanuel

63.

18 mai 2010

Logiciel

JFresnel
A Java library that implements the Fresnel specification

PIETRIGA, Emmanuel

64.

01 mai 2007

Logiciel

IsaViz
A visual environment for browsing and authoring RDF models

PIETRIGA, Emmanuel

65.

09 janv. 2017

Logiciel

Gappa
Outil Gappa de certification de programmes numériques

MELQUIOND, Guillaume

66.

17 févr. 2018

Logiciel

Coq
L'assistant de preuve Coq

MELQUIOND, Guillaume

67.

01 janv. 2011

Logiciel

TaxoMap Alignment
Un outil d'alignement de taxonomies

REYNAUD, Chantal

68.

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

69.

26 mars 2006

Logiciel

XTAB2SML
Outil d'annotation sémantique de tableaux guidée par une ontologie

SAÏS, Fatiha

70.

01 janv. 2010

Logiciel

SomeWhere+
Calcul paraconsistant de conséquents en mode pair à pair

CHATALIC, Philippe

71.

09 juil. 2008

Logiciel

Active XML
Spécification déclarative d'applications Web

ABITEBOUL, Serge

72.

01 janv. 2007

Logiciel

OptimAX
Optimiseur algébrique pour Active XML

ABITEBOUL, Serge

73.

01 janv. 2007

Logiciel

ULoad
Gestionnaire de vues XML

ABITEBOUL, Serge

74.

01 janv. 2006

Logiciel

KadoP
Système d'indexation et d'interrogation XML en P2P

MANOLESCU-GOUJOT, Ioana

75.

01 janv. 2005

Logiciel

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge