51.

16 juin 2008

Logiciel

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

WOLFF, Burkhart

52.

01 janv. 2014

Logiciel

Mlpost
Mlpost: une interface Objective Caml pour Metapost

FILLIÂTRE, Jean-Christophe

53.

23 sept. 2013

Logiciel

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

54.

11 mars 2015

Logiciel

ZVTM
Zoomable Visual Transformation Machine

PIETRIGA, Emmanuel

55.

11 mars 2015

Logiciel

ZGRViewer
A GraphViz/DOT Viewer

PIETRIGA, Emmanuel

56.

18 mai 2010

Logiciel

JFresnel
A Java library that implements the Fresnel specification

PIETRIGA, Emmanuel

57.

01 mai 2007

Logiciel

IsaViz
A visual environment for browsing and authoring RDF models

PIETRIGA, Emmanuel

58.

09 janv. 2017

Logiciel

Gappa
Outil Gappa de certification de programmes numériques

MELQUIOND, Guillaume

59.

17 févr. 2018

Logiciel

Coq
L'assistant de preuve Coq

MELQUIOND, Guillaume

60.

01 janv. 2011

Logiciel

TaxoMap Alignment
Un outil d'alignement de taxonomies

REYNAUD, Chantal

61.

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

62.

26 mars 2006

Logiciel

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

SAÏS, Fatiha

63.

01 janv. 2010

Logiciel

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

CHATALIC, Philippe

64.

09 juil. 2008

Logiciel

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

ABITEBOUL, Serge

65.

01 janv. 2007

Logiciel

OptimAX
Optimiseur algébrique pour Active XML

ABITEBOUL, Serge

66.

01 janv. 2007

Logiciel

ULoad
Gestionnaire de vues XML

ABITEBOUL, Serge

67.

01 janv. 2006

Logiciel

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

MANOLESCU-GOUJOT, Ioana

68.

01 janv. 2005

Logiciel

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge

69.

07 janv. 2008

Logiciel

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

70.

12 avril 2012

Logiciel

Clan
Chunky Loop Analyzer

BASTOUL, Cédric

71.

15 sept. 2017

Logiciel

Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles

MELQUIOND, Guillaume

72.

20 janv. 2014

Logiciel

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

73.

03 mai 2018

Logiciel

BOLDR
Query Intermediate Representation Library

NGUYEN, Kim

74.

01 janv. 2010

Logiciel

Unisim
UNISIM: UNIted SIMulation environment

TEMAM, Olivier

75.

16 févr. 2008

Logiciel

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric