1.

10 Feb 2012

Software

CDuce
CDuce an XML centric Programmimg Language

BENZAKEN, Mme Véronique

2.

06 Feb 2012

Software

bibtex2html
Bibtex to HTML

FILLIÂTRE, M. Jean-Christophe

3.

06 Feb 2012

Software

COCO
Comparing Continuous Optimizers

HANSEN, M. Nikolaus

4.

25 Jan 2012

Software

Voeux
Teaching service management system

AMAR, M. Patrick

5.

22 Jan 2012

Software

Clan
Chunky Loop Analyzer

BASTOUL, M. Cédric

6.

20 Jan 2012

Software

Functory
place where functional workers are manufacturing programs

FILLIÂTRE, M. Jean-Christophe

7.

10 Jan 2012

Software

OpenScop
OpenScop

BASTOUL, M. Cédric

8.

09 Jan 2012

Software

WXD
Text editor

AMAR, M. Patrick

9.

09 Jan 2012

Software

Coq.FP2
Coq.FP2

BOLDO, Mme Sylvie

10.

06 Jan 2012

Software

Gappa
Gappa, a tool for certifying numerical applications

MELQUIOND, M. Guillaume

11.

16 Dec 2011

Software

HSIM
Hyperstructure Simulator

AMAR, M. Patrick

12.

12 Dec 2011

Software

CLooG
Chunky Loop Generator

BASTOUL, M. Cédric

13.

08 Dec 2011

Software

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

MELQUIOND, M. Guillaume

14.

06 Dec 2011

Software

Flocq Library
Flocq Library

BOLDO, Mme Sylvie

15.

02 Dec 2011

Software

Alt-Ergo
The Alt-Ergo theorem prover

CONCHON, M. Sylvain

16.

21 Nov 2011

Software

YML
Large-Scale Workflow Computing

PETITON, M. Serge

17.

31 Oct 2011

Software

BSP++
The C++ Bulk Synchronous Parallelism Library

FALCOU, M. Joël

18.

24 Oct 2011

Software

TouchStone
TouchStone

APPERT, Mlle Caroline

19.

01 Oct 2011

Software

Isabelle/HOL
Isabelle/HOL

WENZEL, M. Markus

20.

30 Sep 2011

Software

KD2R
OWL2 key discovery on RDF datasets

PERNELLE-MANSCOUR, Mme Nathalie

21.

01 Aug 2011

Software

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, M. Joël

22.

01 Jun 2011

Software

NT2
The Numerical Template Toolbox

FALCOU, M. Joël

23.

14 May 2011

Software

Cartaj
Classification Of RNA threeway Junctions

DENISE, M. Alain

24.

01 Jan 2011

Software

TaxoMap
A prototype to automate semantic mappings between taxonomies

REYNAUD, Mme Chantal

25.

01 Jan 2011

Software

TaxoMap Framework
TaxoMap Framework

HAMDI, M. Fayçal