51.

07 Aug 2009

Software

NestedAlign
Pairwise RNA secondary structure comparison

DENISE, Alain

52.

01 Jan 2011

Software

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude

53.

11 Dec 2009

Patent

FR0958890
A method for quality-based routing in a multi-hop network

AL AGHA, Khaldoun

54.

01 Sep 2009

Software

CELL-MPI
MPI Framework for the CELL Processor

FALCOU, Joël

55.

13 Nov 2017

Software

HOL-TestGen
A generator of test-data from HOL specifications

WOLFF, Burkhart

56.

15 Aug 2017

Software

HOL-OCL
A proof system for UML/OCL

WOLFF, Burkhart

57.

01 Jan 2014

Software

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

58.

16 Jun 2008

Software

Le Système HOL-Z
The HOL-Z System

WOLFF, Burkhart

59.

01 Jan 2014

Software

Mlpost
Mlpost: an Objective Caml interface to Metapost

FILLIÂTRE, Jean-Christophe

60.

23 Sep 2013

Software

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

61.

11 Mar 2015

Software

ZVTM
Zoomable Visual Transformation Machine

PIETRIGA, Emmanuel

62.

11 Mar 2015

Software

ZGRViewer
A GraphViz/DOT Viewer

PIETRIGA, Emmanuel

63.

18 May 2010

Software

JFresnel
A Java library that implements the Fresnel specification

PIETRIGA, Emmanuel

64.

01 May 2007

Software

IsaViz
A visual environment for browsing and authoring RDF models

PIETRIGA, Emmanuel

65.

09 Jan 2017

Software

Gappa
Gappa, a tool for certifying numerical applications

MELQUIOND, Guillaume

66.

17 Feb 2018

Software

Coq
The Coq proof assistant

MELQUIOND, Guillaume

67.

01 Jan 2011

Software

TaxoMap Alignment
A prototype to automate semantic mappings between taxonomies

REYNAUD, Chantal

68.

01 Jan 2011

Software

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

SAÏS, Fatiha

69.

26 Mar 2006

Software

XTAB2SML
Tool for ontology driven semantic annotation of data tables.

SAÏS, Fatiha

70.

01 Jan 2010

Software

SomeWhere+
Paraconsistent Peer-to-Peer Consequence Finding algorithm

CHATALIC, Philippe

71.

09 Jul 2008

Software

Active XML
Declarative specification of Web applications

ABITEBOUL, Serge

72.

01 Jan 2007

Software

OptimAX
Algebraic optimizer for Active XML

ABITEBOUL, Serge

73.

01 Jan 2007

Software

ULoad
Management of XML views

ABITEBOUL, Serge

74.

01 Jan 2006

Software

KadoP
XML indexing and querying in P2P

MANOLESCU-GOUJOT, Ioana

75.

01 Jan 2005

Software

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge