51.

09 Jan 2017

Software

Gappa
Gappa, a tool for certifying numerical applications

MELQUIOND, Guillaume

52.

17 Feb 2018

Software

Coq
The Coq proof assistant

MELQUIOND, Guillaume

53.

01 Jan 2011

Software

TaxoMap Alignment
A prototype to automate semantic mappings between taxonomies

REYNAUD, Chantal

54.

01 Jan 2011

Software

LN2R-LT
A Logical method and a Numerical method for Reference Reconciliation

SAÏS, Fatiha

55.

26 Mar 2006

Software

XTAB2SML
Tool for ontology driven semantic annotation of data tables.

SAÏS, Fatiha

56.

01 Jan 2010

Software

SomeWhere+
Paraconsistent Peer-to-Peer Consequence Finding algorithm

CHATALIC, Philippe

57.

09 Jul 2008

Software

Active XML
Declarative specification of Web applications

ABITEBOUL, Serge

58.

01 Jan 2007

Software

OptimAX
Algebraic optimizer for Active XML

ABITEBOUL, Serge

59.

01 Jan 2007

Software

ULoad
Management of XML views

ABITEBOUL, Serge

60.

01 Jan 2006

Software

KadoP
XML indexing and querying in P2P

MANOLESCU-GOUJOT, Ioana

61.

01 Jan 2005

Software

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge

62.

07 Jan 2008

Software

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

63.

12 Apr 2012

Software

Clan
Chunky Loop Analyzer

BASTOUL, Cédric

64.

15 Sep 2017

Software

Coq.Interval
The Coq.Interval library for automatically proving bounds of real-valued expressions

MELQUIOND, Guillaume

65.

20 Jan 2014

Software

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

66.

03 May 2018

Software

BOLDR
Query Intermediate Representation Library

NGUYEN, Kim

67.

16 Feb 2008

Software

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

68.

30 Oct 2008

Software

FM
FM: the Fourier-Motzkin library

BASTOUL, Cédric

69.

11 Mar 2009

Software

GCC ICI
GCC Interactive Compilation Interface

FURSIN, Grigori

70.

01 Jan 2013

Software

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

71.

03 Dec 2012

Software

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

72.

03 Oct 2012

Software

Coq.FP2
Coq.FP2

BOLDO, Sylvie

73.

01 Jan 2014

Software

ALEA
ALEA : A library for reasoning on random algorithms in Coq

PAULIN-MOHRING, Christine

74.

01 Jan 2014

Software

Coccinelle
Coccinelle

CONTEJEAN, Evelyne

75.

10 Feb 2014

Software

OpenScop
OpenScop

BASTOUL, Cédric