26.

13 May 2013

Software

WXD
Text editor

AMAR, Patrick

27.

01 Jan 2014

Software

HSIM
Hyperstructure Simulator

AMAR, Patrick

28.

01 Jan 2013

Software

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

29.

10 Feb 2012

Software

CDuce
CDuce an XML centric Programmimg Language

BENZAKEN, Véronique

30.

01 Jan 2005

Software

IDéeBD
IDéeBD

DELAËT, Sylvie

31.

01 Jan 2013

Software

PVC
Private Virtual Cluster

CAPPELLO, Franck

32.

15 Apr 2008

Software

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee

FROIDEVAUX, Christine

33.

01 Jan 2013

Software

V-DS
Virtualization environment for large-scale Distributed Systems

CAPPELLO, Franck

34.

01 Jan 2013

Software

APMC
Approximate Probabilistic Model Checker

PEYRONNET, Sylvain

35.

01 Jan 2007

Software

sALLUSTe
Statistical Testing based on Lustre Descriptions

GAUDEL, Marie-Claude

36.

01 Jul 2008

Software

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine

37.

07 Aug 2009

Software

NestedAlign
Pairwise RNA secondary structure comparison

DENISE, Alain

38.

01 Jan 2011

Software

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude

39.

11 Dec 2009

Patent

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

AL AGHA, Khaldoun

40.

01 Sep 2009

Software

CELL-MPI
MPI Framework for the CELL Processor

FALCOU, Joël

41.

13 Nov 2017

Software

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

WOLFF, Burkhart

42.

15 Aug 2017

Software

HOL-OCL
A proof system for UML/OCL

WOLFF, Burkhart

43.

01 Jan 2014

Software

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

44.

16 Jun 2008

Software

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

WOLFF, Burkhart

45.

01 Jan 2014

Software

Mlpost
Mlpost: an Objective Caml interface to Metapost

FILLIÂTRE, Jean-Christophe

46.

23 Sep 2013

Software

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

47.

11 Mar 2015

Software

ZVTM
Zoomable Visual Transformation Machine

PIETRIGA, Emmanuel

48.

11 Mar 2015

Software

ZGRViewer
A GraphViz/DOT Viewer

PIETRIGA, Emmanuel

49.

18 May 2010

Software

JFresnel
A Java library that implements the Fresnel specification

PIETRIGA, Emmanuel

50.

01 May 2007

Software

IsaViz
A visual environment for browsing and authoring RDF models

PIETRIGA, Emmanuel